diff options
Diffstat (limited to 'elab.sml')
| -rw-r--r-- | elab.sml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 = |
