Updates to interpreter

Experimenting with porting riscv model to new typechecker

1 files changed, 3 insertions, 0 deletions

diff --git a/src/lexer2.mll b/src/lexer2.mll
index e2361a04..b293046f 100644
--- a/src/lexer2.mll
+++ b/src/lexer2.mll
@@ -130,6 +130,7 @@ let kw_table =
      ("inc",                     (fun _ -> Inc));
      ("let",                     (fun x -> Let_));
      ("var",                     (fun _ -> Var));
+     ("ref",                     (fun _ -> Ref));
      ("record",                  (fun _ -> Record));
      ("Int",                     (fun x -> Int));
      ("Order",                   (fun x -> Order));
@@ -171,6 +172,8 @@ let kw_table =
      ("escape",                  (fun x -> Escape));
    ]
 
+
+
 }
 
 let ws = [' ''\t']+