Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / gadt8.hs
1 {-# LANGUAGE GADTs, KindSignatures #-}
2
3 -- Test a couple of trivial things:
4 -- explicit layout
5 -- trailing semicolons
6 -- kind signatures
7 module ShouldCompile where
8
9 data Expr :: * -> * where {
10 EInt :: Int -> Expr Int ;
11 EBool :: Bool -> Expr Bool ;
12 EIf :: (Expr Bool) -> (Expr a) -> (Expr a) -> Expr a ;
13 -- Note trailing semicolon, should be ok
14 }
15