9
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
INTconst
DIVop
INTconst
INTconst
10
12
3