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.

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<sub>1</sub>* | *exprs<sub>2</sub>*]

| {*exprs<sub>1</sub>*, ...,  *exprs<sub>n</sub>*}

| \~{*exprs<sub>1</sub>* => *exprs<sub>2</sub>* , ..., *exprs<sub>m</sub>* => *exprs<sub>n</sub>*}\~

| **let** *vars* = *exprs<sub>1</sub>* **in** *exprs<sub>2</sub>*

| **case** *exprs* **of** *clause<sub>1</sub>* · · · *clause<sub>n</sub>* **end**

| **letrec** *fname<sub>1</sub>* = *fun<sub>1</sub>* · · · *fname<sub>n</sub>* = *fun<sub>n</sub>* **in** *exprs*

| **apply** *exprs<sub>0</sub>* (*exprs<sub>1</sub>*, . . ., *exprs<sub>n</sub>*)

| **call** *exprs′<sub>1</sub>*:*exprs′<sub>2</sub>*(*exprs<sub>1</sub>*, . . ., *exprs<sub>n</sub>*)

| **primop** *Atom*(*exprs<sub>1</sub>*, . . ., *exprs<sub>n</sub>*)

| **receive** *clause<sub>1</sub>* · · · *clause<sub>n</sub>* **after** *exprs<sub>1</sub>* -> *exprs<sub>2</sub>*

| **try** *exprs<sub>1</sub>* **of** <*var<sub>1</sub>*, . . .*var<sub>n</sub>*> -> *exprs<sub>2</sub>*

**catch** <*var<sub>n+1</sub>*, . . .*var<sub>n+m</sub>*> -> *exprs<sub>3</sub>*

| **do** *exprs<sub>1</sub>* *exprs<sub>2</sub>*

| **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

BSD3

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