search

stefan-hoeck / idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.
BSD 2-Clause "Simplified" License
76 stars 16 forks source link

Revert PR #60 #64

Closed ohad closed 1 year ago

ohad commented 1 year ago

Include a bug-fix that resets the fixity by importing Language.Reflection.BugFixity

That's because #2778 is still breaking

stefan-hoeck commented 1 year ago

Include a bug-fix that resets the fixity by importing Language.Reflection.BugFixity

That's because #2778 is still breaking

The culprit is in elab-pretty. I'll open a new PR, where this operator is deprecated and all it's uses removed from the code base.