CoreErlang

CoreErlang is a haskell library which consists on a parser and pretty-printer for the intermediate language used by Erlang.

The parser uses the Parsec library and the pretty-printer was modelled after the corresponding module of the haskell-src package. It also exposes a Syntax module which allows easy manipulation of terms.

It is able to parse and pretty print all of Core Erlang. Remaining work includes customizing the pretty printer and refining the syntax interface.

Syntax

module ::= module Atom [fname_i1 , ... , fname_ik] attributes [attr₁, ..., attr_m] fundef₁ ... fundef_n end

attr ::= Atom = const

fundef ::= fname = fun

fname ::= Atom / Integer

const ::= lit | clist | ctuple | cmap

clist ::= [const₁ | const₂]

ctuple ::= {const₁ , ..., const_n}

cmap ::= ~{const₁ => const₂ , ..., const_m => const_n}~

lit ::= Atom | Integer | Float | Char | String | [ ]

fun ::= fun (var₁, ..., var_n) -> exprs

var ::= VariableName

exprs ::= expr | <expr₁ , ..., expr_n>

expr ::= var | fname | lit | fun

​            | [exprs₁ | exprs₂]

​            | {exprs₁, ..., exprs_n}

​            | ~{exprs₁ => exprs₂ , ..., exprs_m => exprs_n}~

​            | let vars = exprs₁ in exprs₂

​            | case exprs of clause₁ · · · clause_n end

​            | letrec fname₁ = fun₁ · · · fname_n = fun_n in exprs

​            | apply exprs₀ (exprs₁, . . ., exprs_n)

​            | call exprs′₁:exprs′₂(exprs₁, . . ., exprs_n)

​            | primop Atom(exprs₁, . . ., exprs_n)

​            | receive clause₁ · · · clause_n after exprs₁ -> exprs₂

​            | try exprs₁ of <var₁, . . .var_n> -> exprs₂

​              catch <var_n+1, . . .var_n+m> -> exprs₃

​            | do exprs₁ exprs₂

​            | catch exprs

vars ::= var | <var₁, ..., var_n>

clause ::= pats when exprs₁ -> exprs₂

pats ::= pat | <pat₁, ..., pat_n>

pat ::= var | lit | var = pat | plist | ptuple | pmap

plist ::= [pat₁ | pat₂]

ptuple ::= {pat₁, ..., pat_n}

pmap ::= ~{pkey₁ := pat₁, ..., pkey_n := pat_n}~

pkey ::= var | lit

License

BSD3

Authors

• David Castro Pérez [email protected]
• Henrique Ferreiro García [email protected]