New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
compiler error with flambda #7645
Comments
Comment author: @c-cube I think the error is caused by the same module ( However the error should probably be caught earlier! :) |
Comment author: zozozo The error seems similar to the one I reported in #7349 |
Comment author: @xavierleroy Pierre or Mark, could you please have a look at this one? |
Comment author: @chambart Yes this looks likely to be the pack problem. I can't be absolutely certain without the whole build, but this is highly probable given the contents of the cmx files. I suggest that we simply forbid (or at least quite visibly warn) linking to a module built with -for-pack when not using the same -for-pack. |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
There is ongoing work on improving the situation with packs (and a few other related issues). There is an RFC describing the proposal at ocaml/RFCs#13. |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
This should be solved by #1391, but that PR is in a suspend state with neither @chambart nor @mshinwell available to look at it. |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
Original bug ID: 7645
Reporter: @c-cube
Assigned to: @chambart
Status: confirmed (set by @chambart on 2017-10-02T18:27:44Z)
Resolution: open
Priority: normal
Severity: minor
Version: 4.05.0
Category: middle end (typedtree to clambda)
Duplicate of: #3922
Related to: #7349
Monitored by: @gasche @mshinwell @chambart
Bug description
When compiling the (very ugly) ml file in the linked archive, ocaml 4.05.0+flambda gives the following error:
Warning 58: no cmx file was found in path for module CCFun, and its interface was not compiled with -opaque
Steps to reproduce
archive: https://cedeela.fr/~simon/files/bugflambda.tar.gz
$ tar xvf bugflambda.tar.gz
$ ocamlfind ocamlopt -c -package containers logtk.cmxa -I . parse_dk.ml
should yield the error. Sorry for the size of the archive, it only seems to happen when .cmx files are present (not if there's only a cmxa), so I suspect it's related to inlining.
The text was updated successfully, but these errors were encountered: