blob: 1cad8f65cc20ead8bdb2f09de11aca34a4d9be0d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE GADTs, KindSignatures #-}
-- Test a couple of trivial things:
-- explicit layout
-- trailing semicolons
-- kind signatures
module ShouldCompile where
data Expr :: * -> * where {
EInt :: Int -> Expr Int ;
EBool :: Bool -> Expr Bool ;
EIf :: (Expr Bool) -> (Expr a) -> (Expr a) -> Expr a ;
-- Note trailing semicolon, should be ok
}
|
