Pierre Villemot
Pierre Villemot
It seems Dune tries to open too many files and fails because it reaches the maximum of file descriptor per process.
It occurs systematically when I run `dune build`. I tried with a fresh local repository and the bug is not here. I will investigate further later.
I agree to postpone this feature until we have a sufficient support for incremental mode.
I know :/. We should work on it at some point.
I assume the issue is fixed.
After talking to Guillaume about this issue, it seems the solution suggested by Mohamed using phantom type is a huge amount of work for a small enhancement. The fact that...
We have published a new release of Alt-Ergo today. This release should fix your regression. Could you confirm it?
The dolmen frontend rejects this file: https://github.com/Gbury/dolmen/issues/121
After #1087, the infinite loop disappeared but the current implementation of #1093 produces a wrong model. I'll investigate what's happened.
I modified the script to use the directory name as an indicator of the expected result of the test. I didn't add any extra option in AE since I can...