diff options
Diffstat (limited to 'testdata/language-features/adt/gadt01.lc')
| -rw-r--r-- | testdata/language-features/adt/gadt01.lc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/language-features/adt/gadt01.lc b/testdata/language-features/adt/gadt01.lc index 6c2b0107..b68762ca 100644 --- a/testdata/language-features/adt/gadt01.lc +++ b/testdata/language-features/adt/gadt01.lc | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | 1 | {-# LANGUAGE TraceTypeCheck #-} | |
| 2 | data V :: Nat -> Type -> Type where | 2 | data V :: Nat -> Type -> Type where |
| 3 | V1_ :: a -> V 1 a | 3 | V1_ :: a -> V 1 a |
| 4 | V2_ :: a -> a -> V 2 a | 4 | V2_ :: a -> a -> V 2 a |