diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12785b.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T12785b.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12785b.hs b/testsuite/tests/typecheck/should_fail/T12785b.hs index b827372bf0..951b04c6cd 100644 --- a/testsuite/tests/typecheck/should_fail/T12785b.hs +++ b/testsuite/tests/typecheck/should_fail/T12785b.hs @@ -13,7 +13,7 @@ data HTree n a where Leaf :: HTree (S n) a Branch :: a -> HTree n (HTree (S n) a) -> HTree (S n) a -data STree n :: forall a . (a -> Type) -> HTree n a -> Type where +data STree (n ::Peano) :: forall a . (a -> Type) -> HTree n a -> Type where SPoint :: f a -> STree Z f (Point a) SLeaf :: STree (S n) f Leaf SBranch :: f a -> STree n (STree (S n) f) stru -> STree (S n) f (a `Branch` stru) @@ -33,6 +33,6 @@ hmap f (Point a) = Point (f a) hmap f Leaf = Leaf hmap f (a `Branch` tr) = f a `Branch` hmap (hmap f) tr -type family Payload (n :: Peano) (s :: HTree n x) where +type family Payload (n :: Peano) (s :: HTree n x) :: x where Payload Z (Point a) = a Payload (S n) (a `Branch` stru) = a |