snap+parser update after F* changes

src/ocaml/plugin/FStar_Parser_Parse.mly

@@ -108,7 +108,8 @@ let parse_use_lang_blob (extension_name:string)
 %token ASSUME NEW LOGIC ATTRIBUTES
 %token IRREDUCIBLE UNFOLDABLE INLINE OPAQUE UNFOLD INLINE_FOR_EXTRACTION
 %token NOEXTRACT
-%token NOEQUALITY UNOPTEQUALITY PRAGMA_SET_OPTIONS PRAGMA_RESET_OPTIONS PRAGMA_PUSH_OPTIONS PRAGMA_POP_OPTIONS PRAGMA_RESTART_SOLVER PRAGMA_PRINT_EFFECTS_GRAPH
+%token NOEQUALITY UNOPTEQUALITY
+%token PRAGMA_SHOW_OPTIONS PRAGMA_SET_OPTIONS PRAGMA_RESET_OPTIONS PRAGMA_PUSH_OPTIONS PRAGMA_POP_OPTIONS PRAGMA_RESTART_SOLVER PRAGMA_PRINT_EFFECTS_GRAPH
 %token TYP_APP_LESS TYP_APP_GREATER SUBTYPE EQUALTYPE SUBKIND BY
 %token AND ASSERT SYNTH BEGIN ELSE END
 %token EXCEPTION FALSE FUN FUNCTION IF IN MODULE DEFAULT
@@ -221,6 +222,8 @@ startOfNextDeclToken:
  | b=USE_LANG_BLOB { let _, _, _, snap = b in Some snap }
 
 pragmaStartToken:
+ | PRAGMA_SHOW_OPTIONS
+     { () }
  | PRAGMA_SET_OPTIONS
      { () }
  | PRAGMA_RESET_OPTIONS
@@ -239,6 +242,8 @@ pragmaStartToken:
 /******************************************************************************/
 
 pragma:
+  | PRAGMA_SHOW_OPTIONS
+      { ShowOptions }
   | PRAGMA_SET_OPTIONS s=string
       { SetOptions s }
   | PRAGMA_RESET_OPTIONS s_opt=string?