diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/T16326_Compile1.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T16326_Compile1.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_compile/T16326_Compile1.hs b/testsuite/tests/dependent/should_compile/T16326_Compile1.hs index 109b18e9f7..789798b370 100644 --- a/testsuite/tests/dependent/should_compile/T16326_Compile1.hs +++ b/testsuite/tests/dependent/should_compile/T16326_Compile1.hs @@ -20,7 +20,9 @@ type DComp a (x :: a) = f (g x) -type family ElimList a +-- Ensure that ElimList has a CUSK, beuas it is +-- is used polymorphically its RHS (c.f. Trac #16344) +type family ElimList (a :: Type) (p :: [a] -> Type) (s :: [a]) (pNil :: p '[]) |