search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 369 forks source link

Add error message with missing fixity namespace #3302

Closed andrevidela closed 2 weeks ago

andrevidela commented 3 weeks ago

When a hide directive is used with a namespaced fixity, no errors will be reported if the fixity does not exist.

Steps to Reproduce

In any file, hide a fixity that does not exist

%hide Anything.Goes.infixl(%^&)

Expected Behavior

Error: could cannot hide fixity that does not exist. Did you mean:…

Observed Behavior

pass just fine