Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / Gadt23_AST.hs
1 {-# LANGUAGE GADTs, KindSignatures #-}
2
3 module Gadt23_AST where
4
5 data Exp_;
6
7 data AST :: * -> * -> * where
8 Var :: String -> AST Exp_ tag
9 Tag :: tag -> AST a tag -> AST a tag
10