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: 5705 Reporter:@mmottl Status: closed (set by @damiendoligez on 2015-01-13T18:20:26Z) Resolution: suspended Priority: normal Severity: minor Version: 4.00.0 Target version: undecided Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues Monitored by:@mmottl
Bug description
The following file "x.ml" will lead to a syntax error with "ocaml x.ml":
let f x : type a. a = ()
But "camlp4o x.ml" will accept and print the human-readable format.
By contrast, "ocamldep -pp camlp4o x.ml" will bomb:
Assertion failed, file "camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml", line 284, char 8
Preprocessing error on file x.ml
x.cmo :
x.cmx :
EXIT STATUS 2
The text was updated successfully, but these errors were encountered:
the problem comes from the entry cvalue_binding
cvalue_binding:
| ":"; "type"; t1 = unquoted_typevars; "." ; t2 = ctyp ; "="; e = expr ->
let u = Ast.TyTypePol _loc t1 t2 in
<:expr< ($e : $u) >>
The parser goes from binding -> fun_binding -> cvalue_binding.
Would it be safe to delete this rule?
cvalue_binding is invoked in another place
| o = value_val_opt_override; mf = opt_mutable; lab = label; e = cvalue_binding ->
<:class_str_item< value $override:o $mutable:mf $lab = $e >>
Original bug ID: 5705
Reporter: @mmottl
Status: closed (set by @damiendoligez on 2015-01-13T18:20:26Z)
Resolution: suspended
Priority: normal
Severity: minor
Version: 4.00.0
Target version: undecided
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Monitored by: @mmottl
Bug description
The following file "x.ml" will lead to a syntax error with "ocaml x.ml":
let f x : type a. a = ()
But "camlp4o x.ml" will accept and print the human-readable format.
By contrast, "ocamldep -pp camlp4o x.ml" will bomb:
Assertion failed, file "camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml", line 284, char 8
Preprocessing error on file x.ml
x.cmo :
x.cmx :
EXIT STATUS 2
The text was updated successfully, but these errors were encountered: