| RML example: the Exp language |
|
|
|
|
|
|
|
| § | Abstract syntax |
|||||
| datatype Exp = INTconst of int |
||||||
| | PLUSop of Exp
* Exp |
||||||
| | SUBop of Exp *
Exp |
||||||
| | MULop of Exp *
Exp |
||||||
| | DIVop of Exp *
Exp |
||||||
| | NEGop of Exp |
||||||
| Exp: 10 – 12/3 |
||||||
| SUBop |
| DIVop |
| INTconst |
| INTconst |
| INTconst |
| 10 |
| 12 |
| 3 |
| 9 |