diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-02-13 20:13:25 +0100 | 
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-02-13 20:13:25 +0100 | 
| commit | d585e22a91d786614e7b96ac71f1b3eb3469f78c (patch) | |
| tree | cda368fa4f56600ab959d1beb4c0bb85ce1d060a /AST.hs | |
| parent | f43838280ce37c8ce67eda2d36f4021439f0a84c (diff) | |
Reindent
Diffstat (limited to 'AST.hs')
| -rw-r--r-- | AST.hs | 48 | 
1 files changed, 24 insertions, 24 deletions
| @@ -11,42 +11,42 @@ newtype Name = Name String    deriving (Show, Eq)  data Type -    = TApp Type [Type] -    | TTup [Type] -    | TList Type -    | TFun Type Type -    | TCon Name -    | TVar Name +  = TApp Type [Type] +  | TTup [Type] +  | TList Type +  | TFun Type Type +  | TCon Name +  | TVar Name    deriving (Show)  data FunEq t = FunEq Name [Pattern t] (RHS t)    deriving (Show)  data Pattern t -    = PWildcard t -    | PVar t Name -    | PAs t Name (Pattern t) -    | PCon t Name [Pattern t] -    | PList t [Pattern t] -    | PTup t [Pattern t] +  = PWildcard t +  | PVar t Name +  | PAs t Name (Pattern t) +  | PCon t Name [Pattern t] +  | PList t [Pattern t] +  | PTup t [Pattern t]    deriving (Show)  data RHS t -    = Guarded [(Expr t, Expr t)] -    | Plain (Expr t) +  = Guarded [(Expr t, Expr t)] +  | Plain (Expr t)    deriving (Show)  data Expr t -    = ELit t Literal -    | EVar t Name -    | ECon t Name -    | EList t [Expr t] -    | ETup t [Expr t] -    | EApp t (Expr t) [Expr t] -    | EOp t (Expr t) Operator (Expr t) -    | EIf t (Expr t) (Expr t) (Expr t) -    | ECase t (Expr t) [(Pattern t, RHS t)] -    | ELet t [FunDef t] (Expr t) +  = ELit t Literal +  | EVar t Name +  | ECon t Name +  | EList t [Expr t] +  | ETup t [Expr t] +  | EApp t (Expr t) [Expr t] +  | EOp t (Expr t) Operator (Expr t) +  | EIf t (Expr t) (Expr t) (Expr t) +  | ECase t (Expr t) [(Pattern t, RHS t)] +  | ELet t [FunDef t] (Expr t)    deriving (Show)  data Literal = LInt Integer | LFloat Rational | LChar Char | LString String | 
