Test test_dependent_0 hangs on my laptop.
Expected Behavior
The tests should at least run without hanging forever in select calls from the test framework itself.
Current Behavior
Running the tests in the noted commit hangs forever on my laptop.
Steps to Reproduce
- Run test.ml
- Version: 9934ec9b (disabled in versions after the very next commit)
-
Platform: Linux pop-os 5.3.0-22-generic #24+system76
157365947519.10~26b2022-Ubuntu SMP Wed Nov 13 20:0 x86_64 x86_64 x86_64 GNU/Linux -- opam refuses to upgrade a bunch of important dependencies (most notably core) saying thatthe new versions conflict with other installed packages
- Subsystem: test.ml, probably oUnit -- parsing dependent types is known not to hang in the environment of main.ml even with the exact same stuff in it. Looking over the results, this is actually not the correct way for it to be interprited, but it isn't hanging.
TL;DR: getting this test working is very important
If anyone can confirm that this is the case on their machine, that would be much appreciated.