Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into experiments

1 files changed, 4 insertions, 0 deletions

diff --git a/src/lexer.mll b/src/lexer.mll
index cf3c9baf..fb091f67 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -112,6 +112,10 @@ let kw_table =
      ("union",			 (fun x -> Union));
      ("with",                    (fun x -> With));
      ("when",                    (fun x -> When));
+     ("repeat",                  (fun x -> Repeat));
+     ("until",                   (fun x -> Until));
+     ("while",                   (fun x -> While));
+     ("do",                      (fun x -> Do));
      ("val",                     (fun x -> Val));
 
      ("div",			 (fun x -> Div_));