Guix

Alternative to the compiler-macro library:

• Here, we do not treat compiler notes as warnings, but instead these are a separate class of conditions. These are also not errors.

• Two main condition classes are provided: compiler-macro-notes:note and compiler-macro-notes:optimization-failure-note. While the latter is a subclass of the former, the latter notes are printed in a slightly different manner to the former.

• To be able to correctly print the expansion path that led to the condition, user code is expected to avoid performing a nonlocal exit to a place outside with-notes.