diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/T12442.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T12442.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_compile/T12442.hs b/testsuite/tests/dependent/should_compile/T12442.hs index c76dfb962e..b4bcdb9d62 100644 --- a/testsuite/tests/dependent/should_compile/T12442.hs +++ b/testsuite/tests/dependent/should_compile/T12442.hs @@ -33,7 +33,8 @@ data EffElem :: (Type ~> Type ~> Type ~> Type) -> Type -> [EFFECT] -> Type where data instance Sing (elem :: EffElem x a xs) where SHere :: Sing Here -type family UpdateResTy b t (xs :: [EFFECT]) (elem :: EffElem e a xs) +type family UpdateResTy (b :: Type) (t :: Type) + (xs :: [EFFECT]) (elem :: EffElem e a xs) (thing :: e @@ a @@ b @@ t) :: [EFFECT] where UpdateResTy b _ (MkEff a e ': xs) Here n = MkEff b e ': xs |