Skip to content
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

Error: Corrupted compilation unit description #1157

Closed
jvillard opened this issue Aug 21, 2018 · 2 comments
Closed

Error: Corrupted compilation unit description #1157

jvillard opened this issue Aug 21, 2018 · 2 comments

Comments

@jvillard
Copy link
Contributor

In dune 1.1.0 I non-deterministically observe "Error: Corrupted compilation unit description" when building in native mode. I haven't been able to reproduce the issue with 1.1.1so far so it may be that this is fixed already, but I thought I would flag anyway in case that's still interesting or someone searches for this error.

The opam switch is 4.06.1+flambda and the project is infer.

Example run:

$ dune build _build/default/infer.exe
[...]
    ocamlopt .InferModules.objs/InferModules__TaintTests.{cmx,o} (exit 2)
(cd _build/default && /home/jul/.opam/infer-4.06.1+flambda/bin/ocamlopt.opt -g -short-paths -safe-string -principal -strict-formats -strict-sequence -bin-annot -w +3+5+6+8+10+11+12+18+19+20+21+23+26+29+27+32+33+34+35+37+38+39+50+52+57+60-4-9-40-41-42-45-48 -open Core -open InferStdlib -open IStd -open InferGenerated )
File "TaintTests.ml", line 1:
Error: Corrupted compilation unit description
@ghost
Copy link

ghost commented Aug 21, 2018

Does TaintTests.ml have a .mli? If not, then this change could explain why it's fixed in 1.1.1:

@jvillard
Copy link
Contributor Author

Correct, thanks!

facebook-github-bot pushed a commit to facebook/infer that referenced this issue Aug 21, 2018
Summary:
This seems to fix intermittent "Corrupted compilation unit description" failures in the build: ocaml/dune#1157

It also fixes build warnings 58: ocaml/dune#1107

Reviewed By: mbouaziz

Differential Revision: D9420579

fbshipit-source-id: d63adee67
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant