Allow functions "returning strings" (etc), redefine sort function.

[goals.git] / src / lexer.mll

diff --git a/src/lexer.mll b/src/lexer.mll
index 66c6b9f..ae4a030 100644 (file)
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -61,6 +61,14 @@ rule read =
               { INCLUDE }
     | "-include"
               { OPTINCLUDE }
+    | "returning"
+              { RETURNING }
+    | "expression"
+              { EXPRESSION }
+    | "string"
+              { STRING_KEYWORD }
+    | "strings"
+              { STRINGS }
     | "*" id  { (* NB: The initial '*' is part of the name. *)
                 TACTIC (Lexing.lexeme lexbuf) }
     | id      { ID (Lexing.lexeme lexbuf) }