Checking stucks with implicit parameters on recursive data types
oxalica opened this issue · comments
Run show([]) in koka 3.0.1 REPL, it stucks on checking with 100% CPU, consuming more than 10GB memory, and I have to kill it.
Compiling a file with fun foo() show([]) also yields the same result.
I guess it's guessing the implicit parameters and infinitely trying nested lists?
This is already known and will be fixed in the next release. For now annotate the type: here is the previous issue with the linked commit that fixes it #437