Commit 127a34f5 authored by Matthew Pickering's avatar Matthew Pickering

Add sop-core-0.5.0.0 patch

parent 23a079ab
Pipeline #8455 passed with stage
in 60 minutes and 1 second
diff --git a/src/Data/SOP/Sing.hs b/src/Data/SOP/Sing.hs
index c805608..d1bffe6 100644
--- a/src/Data/SOP/Sing.hs
+++ b/src/Data/SOP/Sing.hs
@@ -93,7 +93,7 @@ deriving instance Eq (Shape xs)
deriving instance Ord (Shape xs)
-- | The shape of a type-level list.
-shape :: forall (xs :: [k]). SListI xs => Shape xs
+shape :: forall k (xs :: [k]). SListI xs => Shape xs
shape = case sList :: SList xs of
SNil -> ShapeNil
SCons -> ShapeCons shape
@@ -102,7 +102,7 @@ shape = case sList :: SList xs of
--
-- @since 0.2
--
-lengthSList :: forall (xs :: [k]) proxy. SListI xs => proxy xs -> Int
+lengthSList :: forall k (xs :: [k]) proxy. SListI xs => proxy xs -> Int
lengthSList _ = lengthShape (shape :: Shape xs)
where
lengthShape :: forall xs'. Shape xs' -> Int
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment