I have never read a more condescending error message (it expects 3, I provided 2)
@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!