blob: dbf9e126e37786b74a5cdbcbf33b3259a70c728f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE StandaloneDeriving, DataKinds, KindSignatures, DeriveGeneric, GADTs#-}
module T7422 where
import GHC.Generics
type CellId = Int
type Ident = String
type LabelName = String
data ExprTag = TagAst | TagEval
data Expr (tag :: ExprTag) where
Var :: Ident -> Expr tag
Label :: LabelName -> Expr tag -> Expr tag
deriving instance Generic (Expr a)
|
