testsuite/tests/ghc-regress/gadt/Gadt23_AST.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE GADTs, KindSignatures #-}

module Gadt23_AST where

data Exp_;

data AST :: * -> * -> * where
  Var   :: String -> AST Exp_ tag
  Tag   :: tag    -> AST a tag -> AST a tag