This is a breaking change reorganizing parts of elab-util and moving syntactic operators to their own module, which is not reexported as a default (when importing Derive.Prelude or Language.Reflection.Util). This is to reduce the amount of fixity warnings Idris issues since idris-lang/Idris2#2832
I leave this open for about two days before merging, because it is a breaking change.
This is a breaking change reorganizing parts of elab-util and moving syntactic operators to their own module, which is not reexported as a default (when importing
Derive.PreludeorLanguage.Reflection.Util). This is to reduce the amount of fixity warnings Idris issues since idris-lang/Idris2#2832I leave this open for about two days before merging, because it is a breaking change.