summaryrefslogtreecommitdiffstats
path: root/parsing/parser.mly
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-03 10:26:08 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-03 10:26:08 +0000
commitad6a333f081a303cce93d86709f04a2802c61d06 (patch)
tree865e798c8b0b3351b7c3b2acde67418eec8c52c2 /parsing/parser.mly
parent904d1a15806f482ffddd845a69a24255fccefc0c (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.mly2
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 */