src/AST/Expression/Source.hs · elk

on 2d29699 help sign in

31 lines 743 B history raw

1{-# OPTIONS_GHC -Wall #-}

2module AST.Expression.Source where

4import qualified AST.Expression.General as General

5import qualified AST.Pattern as Pattern

6import qualified AST.Type as Type

7import qualified AST.Variable as Var

8import qualified Reporting.Annotation as A

9import qualified Reporting.Region as R

12{-| Expressions created by the parser. These use a split representation of type

13annotations and definitions, which is how they appear in source code and how

14they are parsed.

16type Expr =

17 General.Expr R.Region Def Var.Raw Type.Raw

20type Expr' =

21 General.Expr' R.Region Def Var.Raw Type.Raw

24type Def =

25 A.Located Def'

28data Def'

29 = Definition Pattern.RawPattern Expr

30 | TypeAnnotation String Type.Raw

31 deriving (Show)