Original bug ID: 4312
Reporter: alexbaretta
Assigned to: ertai
Status: closed (set by @xavierleroy on 2010-04-29T12:26:08Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.10.0
Fixed in version: 3.10+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues

Bug description

The following terminal session shows how camlp4o 3.10.0 fails to parse input that was accepted by 3.09.3.

let _ : int = 1

Notice how the campl4 parser remains in an inconsistent state and fails to parse the line following the one that causes the error.

It is interesting to notice that the yacc parser never accepted such input, which also seems strange.
andrea@alex:~$ /opt/ocaml/3.09.3/bin/ocaml
Objective Caml version 3.09.3

let _ : int = 1;;

Syntax error

#load "camlp4o.cma";;

    Camlp4 Parsing version 3.09.3

let _ : int = 1;;

• : int = 1

Additional information

alex@alex:~/dev/ocaml_asxcaml$ ocaml
Objective Caml version 3.10.0

    Camlp4 Parsing version 3.10.0

let _ : int = 1;;

Parse error: "module" or [opt_rec] expected after "let" (in [str_item])

1;;

Unbound value int

alex@alex:~/dev/ocaml_asxcaml$ /opt/ocaml/3.09.3/bin/ocaml
Objective Caml version 3.09.3

    Camlp4 Parsing version 3.09.3

let _ : int = 1;;

• : int = 1