diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-03 10:26:08 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-03 10:26:08 +0000 |
commit | ad6a333f081a303cce93d86709f04a2802c61d06 (patch) | |
tree | 865e798c8b0b3351b7c3b2acde67418eec8c52c2 /parsing/parser.mly | |
parent | 904d1a15806f482ffddd845a69a24255fccefc0c (diff) |
add directives #modern and #warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parser.mly')
-rw-r--r-- | parsing/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 6ba262ea6..863259eb8 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1365,6 +1365,8 @@ toplevel_directive: | SHARP ident STRING { Ptop_dir($2, Pdir_string $3) } | SHARP ident INT { Ptop_dir($2, Pdir_int $3) } | SHARP ident val_longident { Ptop_dir($2, Pdir_ident $3) } + | SHARP ident FALSE { Ptop_dir($2, Pdir_bool false) } + | SHARP ident TRUE { Ptop_dir($2, Pdir_bool true) } ; /* Miscellaneous */ |