summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-03-04 10:21:07 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-03-04 10:21:07 +0000
commit3693be4981358f57834eaabb1da2ceef6f68945c (patch)
tree9b49d3c6dddb1a2458cd95b7406015ab547d3e9d
parent7e06b1c537c09ba6479ec8fe2d465ffb6e62c1ff (diff)
Au toplevel, permettre plusieurs items de structures non separes par
des ;; git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--parsing/parser.mly6
1 files changed, 5 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly
index 841a93f8b..47ff7cbe2 100644
--- a/parsing/parser.mly
+++ b/parsing/parser.mly
@@ -228,11 +228,15 @@ interface:
signature EOF { List.rev $1 }
;
toplevel_phrase:
- structure_item SEMISEMI { Ptop_def[$1] }
+ top_structure SEMISEMI { Ptop_def $1 }
| expr SEMISEMI { Ptop_def[mkstrexp $1] }
| toplevel_directive SEMISEMI { $1 }
| EOF { raise End_of_file }
;
+top_structure:
+ structure_item { [$1] }
+ | structure_item top_structure { $1 :: $2 }
+;
use_file:
use_file_tail { $1 }
| expr use_file_tail { Ptop_def[mkstrexp $1] :: $2 }