elm-in-elm / compiler / Elm.AST.Canonical

Canonical AST is stripped of useless information, and generally tries to make life a bit more easier for compiler developers.


type alias ProjectFields =
{ modules : Dict Elm.Data.ModuleName.ModuleName (Elm.Data.Module.Module LocatedExpr) }

"What does this compiler stage need to store abotut the whole project?

(See Elm.Data.Project.)

In this case, a dict of all the compiled Elm modules that hold canonical AST expressions.


type alias LocatedExpr =
Elm.Data.Located.Located Expr

The main type of this module. Expression with location metadata.

Note the underlying Expr custom type recurses on this LocatedExpr type, so that the children also each have their location metadata.

If you want expressions without location metadata, look at unwrap.


type Expr
    = Int Basics.Int
    | Float Basics.Float
    | Char Char
    | String String
    | Bool Basics.Bool
    | Var ({ module_ : Elm.Data.ModuleName.ModuleName, name : Elm.Data.VarName.VarName })
    | Argument Elm.Data.VarName.VarName
    | Plus LocatedExpr LocatedExpr
    | Cons LocatedExpr LocatedExpr
    | Lambda ({ argument : Elm.Data.VarName.VarName, body : LocatedExpr })
    | Call ({ fn : LocatedExpr, argument : LocatedExpr })
    | If ({ test : LocatedExpr, then_ : LocatedExpr, else_ : LocatedExpr })
    | Let ({ bindings : Dict Elm.Data.VarName.VarName (Elm.Data.Binding.Binding LocatedExpr), body : LocatedExpr })
    | List (List LocatedExpr)
    | Unit
    | Tuple LocatedExpr LocatedExpr
    | Tuple3 LocatedExpr LocatedExpr LocatedExpr

Differs from Frontend.Expr by:

unwrap : LocatedExpr -> Unwrapped.Expr

Discard the location metadata.

fromUnwrapped : Unwrapped.Expr -> LocatedExpr

Adds dummy locations to the Unwrapped.Expr.