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
The "infer" tag is only a symptom: this breakage is caused by the fact that ocamlbuild passes menhir an "-ocamlc ..." command that uses all the tags of the current .mly files, rather than tags appropriate to compile ocaml files.
This should be fixed (in trunk and 4.02). I decided to try to apply a clean fix to 4.02 instead of just reverting the breakage-provoking commit, but we may revert that decision if it turns out the patch has unintended consequences (in any case it only changes the behaviour of ocamlbuild on menhir-project).
Original bug ID: 6793
Reporter: @damiendoligez
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2016-12-07T10:47:30Z)
Resolution: fixed
Priority: high
Severity: major
Version: 4.02.2+dev / +rc1
Target version: 4.02.2+dev / +rc1
Fixed in version: 4.02.2+dev / +rc1
Category: -for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
Child of: #6237
Bug description
Commit 15698 introduced an
infer
tag formenhir
but this breaksmezzo
:ocamlbuild
tries to launch the following command:and
ocamlc
gets a --infer on its command line, so it fails.Steps to reproduce
Just install mezzo with opam.
The text was updated successfully, but these errors were encountered: