diff options
Diffstat (limited to 'parsing/g_constr.ml4')
| -rw-r--r-- | parsing/g_constr.ml4 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4 index 5904906b01..16e1a63881 100644 --- a/parsing/g_constr.ml4 +++ b/parsing/g_constr.ml4 @@ -25,7 +25,9 @@ let constr_kw = "<->"; "\\/"; "/\\"; "`"; "``"; "&"; "*"; "+"; "@"; "^"; "#"; "-"; "~"; "'"; "<<"; ">>"; "<>" ] -let _ = List.iter (fun s -> Lexer.add_token ("",s)) constr_kw +let _ = + if !Options.v7 then + List.iter (fun s -> Lexer.add_token ("",s)) constr_kw (* "let" is not a keyword because #Core#let.cci would not parse. Is it still accurate ? *) @@ -92,6 +94,7 @@ let test_ident_colon = | _ -> raise Stream.Failure) +if !Options.v7 then GEXTEND Gram GLOBAL: operconstr lconstr constr sort global constr_pattern Constr.ident annot (*ne_name_comma_list*); |