Enzo Crance (Feb 07 2023 at 15:12): Enzo Crance (Feb 07 2023 at 15:12):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.
Enrico Tassi (Feb 07 2023 at 15:32):Not really, the type checker is too stupid right now to see it is not what you meant. I surely needs some love.
Enzo Crance (Feb 07 2023 at 15:34):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: Oct 13 2024 at 01:02 UTC