Hello. Is there a way to hide the
std.map type constructor? I am trying to debug a program calling the
std.map predicate here and there, and type errors do not help.
Not really, the type checker is too stupid right now to see it is not what you meant. I surely needs some love.
I found the bug: when writing multiple lambdas one cannot write
x y\ ... but must double the backslash and write
x\ y\ .... I wonder how the error could be made clearer :thinking: (or the syntax made more flexible) I often lose time for stupid mistakes like this because they are hard to find.
Last updated: Jun 06 2023 at 23:01 UTC