I have never read a more condescending error message (it expects 3, I provided 2)
@jordyd it sounds like me
@yviyrreb What sounds like you?
@jordyd the message sounds like something I would say (not post)
@yviyrreb Me too tbh
@jordyd "type error: are you sure about that?"
@jordyd "run 'menhir fix' to correct the issue, then 'menhir jobs' to find a better engineer than $USER"
@jordyd So, the mistake could be that you provided 2 arguments at the call site instead of 3; or: the mistake could be that whoever defined the function should have accepted 2 arguments instead of 3. Hmm...
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!