Merge pull request #4275 from mtzguido/eval

Support #eval in Pulse code

Author: mtzguido

pulse/src/ml/PulseSyntaxExtension_Parser.ml

@@ -159,6 +159,7 @@ let rewrite_token (tok:FP.token)
     | PRAGMA_SET_OPTIONS -> PP.PRAGMA_SET_OPTIONS 
     | PRAGMA_SHOW_OPTIONS -> PP.PRAGMA_SHOW_OPTIONS
     | PRAGMA_CHECK -> PP.PRAGMA_CHECK
+    | PRAGMA_EVAL -> PP.PRAGMA_EVAL
     | PRIVATE -> PP.PRIVATE 
     | QMARK -> PP.QMARK 
     | QMARK_DOT -> PP.QMARK_DOT 

src/ml/FStarC_Parser_ParseIt.ml

@@ -340,6 +340,7 @@ let string_of_token =
   | PRAGMA_POP_OPTIONS -> "PRAGMA_POP_OPTIONS"
   | PRAGMA_RESTART_SOLVER -> "PRAGMA_RESTART_SOLVER"
   | PRAGMA_PRINT_EFFECTS_GRAPH -> "PRAGMA_PRINT_EFFECTS_GRAPH"
+  | PRAGMA_EVAL -> "PRAGMA_EVAL"
   | SUBTYPE -> "SUBTYPE"
   | EQUALTYPE -> "EQUALTYPE"
   | SUBKIND -> "SUBKIND"