Ticket #7422: baz.hs

File baz.hs, 343 bytes (added by rpglover64, 2 years ago)
Line 
1{-# LANGUAGE StandaloneDeriving, DataKinds, KindSignatures, DeriveGeneric, GADTs#-}
2
3import GHC.Generics
4
5type CellId = Int
6type Ident = String
7type LabelName = String
8
9data ExprTag = TagAst | TagEval
10
11data Expr (tag :: ExprTag) where
12  Var :: Ident -> Expr tag
13  Label :: LabelName -> Expr tag -> Expr tag
14
15deriving instance Generic (Expr a)