diff options
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index f9f407cf3c..bd6c4ee22f 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1056,7 +1056,10 @@ expr: | OBJECT class_structure error { unclosed "object" 1 "end" 3 } /*> JOCAML */ - | REPLY TO joinident { mkexp(Pexp_reply(ghexp(Pexp_ident (Lident "()")), $3)) } + | REPLY TO joinident + { mkexp + (Pexp_reply + (ghexp (Pexp_construct (Lident "()", None, false)), $3)) } | REPLY expr TO joinident { mkexp(Pexp_reply($2,$4)) } | SPAWN expr { mkexp(Pexp_spawn $2) } | DEF joinautomaton_list_AND IN seq_expr { mkexp(Pexp_def($2,$4)) } |