Stream: Elpi users & devs

Topic: Hide std.map type


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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: Jun 06 2023 at 23:01 UTC