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 |