Core.Grammar

Documentation

type CoreExpr = Expr Name

A Core expression

data Expr a

AST of the Core language

Constructors

EVar Name

a variable

ENum Int

an Int

EConstr Int Int [Expr a]

a type declaration

EAp (Expr a) (Expr a)

function application

ELet Bool [(a, Expr a)] (Expr a)

let/letrec expression

ECase (Expr a) [Alter a]

case expression

ELam [a] (Expr a)

lambda expression (not yet implemented)

Instances

Eq a => Eq (Expr a)

Methods

(==) :: Expr a -> Expr a -> Bool

(/=) :: Expr a -> Expr a -> Bool

Show a => Show (Expr a)

Methods

showsPrec :: Int -> Expr a -> ShowS

show :: Expr a -> String

showList :: [Expr a] -> ShowS

type Name = String

type CoreAlt = Alter Name

a case alternative

type Alter a = (Int, [a], Expr a)

a case alternative for a given datatype contains the datatype id a list of local variable names the expression that the case evaluates to

type CoreProgram = Program Name

A list of super combinator definitions

type Program a = [ScDefn a]

a list of supercombinator definitions

type CoreScDefn = ScDefn Name

A supercombinator definition

type ScDefn a = (Name, [a], Expr a)

contains the name of the function/global the list of local variable names the expression the supercombinator evaluates to