diff options
Diffstat (limited to 'src/lexer2.mll')
| -rw-r--r-- | src/lexer2.mll | 3 |
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']+ |