diff options
Diffstat (limited to 'testsuite/tests/gadt/T14808.hs')
| -rw-r--r-- | testsuite/tests/gadt/T14808.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/T14808.hs b/testsuite/tests/gadt/T14808.hs index 726f502789..da3d5212cd 100644 --- a/testsuite/tests/gadt/T14808.hs +++ b/testsuite/tests/gadt/T14808.hs @@ -10,3 +10,9 @@ data ECC ctx f a where f :: [()] -> ECC () [] () f = ECC @() @[] @() + +data ECC2 f a ctx where + ECC2 :: ctx => f a -> ECC2 f a ctx + +f2 :: [()] -> ECC2 [] () () +f2 = ECC2 @() @[] @() |