summaryrefslogtreecommitdiff
path: root/src/lexer.mll
diff options
context:
space:
mode:
Diffstat (limited to 'src/lexer.mll')
-rw-r--r--src/lexer.mll4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lexer.mll b/src/lexer.mll
index 45d8b3c2..cf3c9baf 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -78,7 +78,11 @@ let kw_table =
("extern", (fun _ -> Extern));
("cast", (fun _ -> Cast));
("false", (fun _ -> False));
+ ("try", (fun _ -> Try));
+ ("catch", (fun _ -> Catch));
+ ("throw", (fun _ -> Throw));
("forall", (fun _ -> Forall));
+ ("exist", (fun _ -> Exist));
("foreach", (fun _ -> Foreach));
("function", (fun x -> Function_));
("overload", (fun _ -> Overload));