Add a return exp form to Sail, supported in type checker and in interpreter.

TODO: add an event for a return so that rewriters can find and remove them as needed for OCaml and Lem

1 files changed, 1 insertions, 0 deletions

diff --git a/src/pre_lexer.mll b/src/pre_lexer.mll
index 818f8fe6..e6534524 100644
--- a/src/pre_lexer.mll
+++ b/src/pre_lexer.mll
@@ -89,6 +89,7 @@ let kw_table =
      ("pure",                    (fun x -> Other));
      ("rec",			 (fun x -> Other));
      ("register",		 (fun x -> Other));
+     ("return",                  (fun x -> Other));
      ("scattered",               (fun x -> Other));
      ("struct",                  (fun x -> Other));
      ("sizeof",                  (fun x -> Other));