diff options
Diffstat (limited to 'testsuite/tests/gadt/karl1.hs')
| -rw-r--r-- | testsuite/tests/gadt/karl1.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/karl1.hs b/testsuite/tests/gadt/karl1.hs index b671db7cd3..e201a711f6 100644 --- a/testsuite/tests/gadt/karl1.hs +++ b/testsuite/tests/gadt/karl1.hs @@ -6,7 +6,9 @@ module Expr1 where -data Expr :: * -> * where -- Not a GADT at all +import Data.Kind (Type) + +data Expr :: Type -> Type where -- Not a GADT at all Const :: Show a => a -> Expr a -- Note the Show constraint here Var :: Var a -> Expr a |