From 127a34f5be8c0075768b932d3609020db7f06b36 Mon Sep 17 00:00:00 2001 From: Matthew Pickering <matthewtpickering@gmail.com> Date: Thu, 18 Jul 2019 17:12:23 +0100 Subject: [PATCH] Add sop-core-0.5.0.0 patch --- patches/sop-core-0.5.0.0.patch | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 patches/sop-core-0.5.0.0.patch diff --git a/patches/sop-core-0.5.0.0.patch b/patches/sop-core-0.5.0.0.patch new file mode 100644 index 00000000..84b17977 --- /dev/null +++ b/patches/sop-core-0.5.0.0.patch @@ -0,0 +1,22 @@ +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 -- GitLab