You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4521 Reporter: hirokawa Assigned to: ertai Status: closed (set by @xavierleroy on 2010-04-29T12:25:50Z) Resolution: fixed Priority: normal Severity: minor Version: 3.10.2 Fixed in version: 3.11+dev Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues Monitored by: vouillon hirokawa
Bug description
camlp4o and camlp4r produces a wrong location for `e1 e2'.
Original bug ID: 4521
Reporter: hirokawa
Assigned to: ertai
Status: closed (set by @xavierleroy on 2010-04-29T12:25:50Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.10.2
Fixed in version: 3.11+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Monitored by: vouillon hirokawa
Bug description
camlp4o and camlp4r produces a wrong location for `e1 e2'.
$ cat a.ml
float 1
$ ocamlc -pp camlp4o -c -dtypes a.ml
$ cat a.annot
"a.ml" 1 0 0 "a.ml" 1 0 5
type(
int -> float
)
"a.ml" 1 0 6 "a.ml" 1 0 7
type(
float
)
"a.ml" 1 0 6 "a.ml" 1 0 7
type(
int
)
The last item should be ``"a.ml" 1 0 0 "a.ml" 1 0 7''; cf.
$ ocamlc -c -dtypes a.ml
$ cat a.annot
"a.ml" 1 0 0 "a.ml" 1 0 5
type(
int -> float
)
"a.ml" 1 0 6 "a.ml" 1 0 7
type(
int
)
"a.ml" 1 0 0 "a.ml" 1 0 7
type(
float
)
The text was updated successfully, but these errors were encountered: