idris-lang / Idris2

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

Emit error when unbound fixity is hidden #3315

Closed andrevidela closed 2 weeks ago

andrevidela commented 2 weeks ago

Description

fixes #3302