Commit 17725f0b authored by Matthew Pickering's avatar Matthew Pickering

Merge branch 'wip/sop-core' into 'master'

Add sop-core-0.5.0.0 patch

See merge request !7
parents 23a079ab 127a34f5
Pipeline #8480 passed with stages
in 57 minutes and 8 seconds
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