Commit 3101e9eb authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

GADTs/TFs: Added T2151 & TF's Simple14 passes

parent 80349a8f
{-# LANGUAGE GADTs #-}
module T2151 where
data Type a where
Func :: Type a -> Type b -> Type (a -> b)
PF :: Type a -> Type (PF a)
data PF a where
ID :: PF (a -> a)
test :: Type a -> a -> a
test (PF (Func _ _)) ID = ID
......@@ -95,3 +95,4 @@ test('T1999a', normal, compile, [''])
test('T2587', normal, compile, [''])
test('T2040', normal, compile, [''])
test('T2151', normal, compile, [''])
......@@ -14,7 +14,7 @@ test('Simple10', normal, compile, [''])
test('Simple11', normal, compile, [''])
test('Simple12', normal, compile, [''])
test('Simple13', expect_fail, compile, [''])
test('Simple14', expect_fail, compile, [''])
test('Simple14', normal, compile, [''])
test('Simple15', normal, compile, [''])
test('Simple16', normal, compile, [''])
test('Simple17', expect_fail, compile, [''])
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment