summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabriel Kerneis2013-12-16 13:24:57 +0000
committerGabriel Kerneis2013-12-16 13:24:57 +0000
commit8c065f5ab1b223d6cff72d88d8d1cbda235fa016 (patch)
treec13ebb4e5f26a718ff62a31ffe3f0bae6909393a
parent828d5569416aebd6cfff8d42a2efd016c40a986c (diff)
lexer: inc and dec keywords
-rw-r--r--src/lexer.mll2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lexer.mll b/src/lexer.mll
index 620ca7a5..b8660675 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -65,6 +65,7 @@ let kw_table =
("case", (fun _ -> Case));
("clause", (fun _ -> Clause));
("const", (fun _ -> Const));
+ ("dec", (fun _ -> Dec));
("default", (fun _ -> Default));
("deinfix", (fun _ -> Deinfix));
("effect", (fun _ -> Effect));
@@ -79,6 +80,7 @@ let kw_table =
("function", (fun x -> Function_));
("if", (fun x -> If_));
("in", (fun x -> In));
+ ("inc", (fun _ -> Inc));
("IN", (fun x -> IN));
("let", (fun x -> Let_));
("member", (fun x -> Member));