summaryrefslogtreecommitdiffstats
path: root/elab.sml
diff options
context:
space:
mode:
Diffstat (limited to 'elab.sml')
-rw-r--r--elab.sml3
1 files changed, 3 insertions, 0 deletions
diff --git a/elab.sml b/elab.sml
index 2895894..a99758a 100644
--- a/elab.sml
+++ b/elab.sml
@@ -10,6 +10,9 @@ struct
| "sub" => Syntax.PSub
| "mul" => Syntax.PMul
| "div" => Syntax.PDiv
+ | "read" => Syntax.PRead
+ | "write" => Syntax.PWrite
+ | "writeErr" => Syntax.PWriteErr
| _ => raise Fail ("invalid op: " ^ s)
fun enumerate (l : 'a list) : (int * 'a) list =