Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / T3013.hs
1 {-# LANGUAGE GADTs #-}
2 -- Trac 3013.
3 -- This isn't strictly a GADT test, but it uses GADT syntax
4
5 module T3013 where
6
7 data T where
8 A, B :: T
9 C :: T
10 D, E :: Int -> T
11
12 f :: T -> T
13 f A = D 3