Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007714OCamlmiddle end (typedtree to clambda)public2018-01-22 00:272018-06-09 10:47
Assigned To 
PlatformlinuxOSOS Version
Product Version4.05.0 
Target VersionFixed in Version 
Summary0007714: error during compilation with 4.05.0+flambda
DescriptionI've got a compilation error in flambda when I compile the benchmarks of containers:

> >> Fatal error: Missing renaming for specialised argument of a function being duplicated but not directly applied: add_list_/473936 -> add_list_/473334(=
  CCHashTrie.add_list__surrogate/3068 <-- CCHashTrie.add_list_/811
  (closure = add_list_/473937))).

See attached log of the build failure for more details. I've got the same error in 4.06.0+flambda.
Steps To Reproduce
git clone [^]
cd ocaml-containers
git checkout 7df23d0ccaf9e9d36455f8ca1a2db959e6e1f868
opam install jbuilder gen sequence qcheck benchmark
make benchs
TagsNo tags attached.
Attached Filestxt file icon error.txt [^] (103,078 bytes) 2018-01-22 00:27 [Show Content]

- Relationships

-  Notes
lpw25 (developer)
2018-01-22 08:52

We've seen this bug once at Janestreet. There is a fix for it mixed in with the changes in: [^]

Xavier Clerc was working on a stand-alone PR for it the other day, so there should be a fix merged pretty soon.
xleroy (administrator)
2018-06-09 10:47

Can you please confirm this has been fixed and in which version? (4.06, 4.07?)

- Issue History
Date Modified Username Field Change
2018-01-22 00:27 c-cube New Issue
2018-01-22 00:27 c-cube File Added: error.txt
2018-01-22 08:52 lpw25 Note Added: 0018840
2018-06-09 10:47 xleroy Note Added: 0019170

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker