diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-03-10 15:02:29 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-03-10 15:02:29 +0000 |
| commit | 7eda8f3c69ba861b90e66dd4d815cb69ea91f31e (patch) | |
| tree | 09d075b3561b9d44301094ecf005c240fe838cb7 | |
| parent | 55d3f380ca99ea609dbd4d17b3f1061b886321fa (diff) | |
Retour du ; optionnel -- Coq l'utilise beaucoup...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 8f4cd3575..6973c3407 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -389,6 +389,8 @@ expr: { mkexp(Pexp_ifthenelse($2, $4, None)) } | expr SEMI expr { mkexp(Pexp_sequence($1, $3)) } + | expr SEMI + { mkexp(Pexp_sequence($1, mkexp(Pexp_construct(Lident "()", None)))) } | WHILE expr DO expr DONE { mkexp(Pexp_while($2, $4)) } | FOR val_ident EQUAL expr direction_flag expr DO expr DONE |