We do not generate code for
- Its type is a proposition.
- Its type is a type former.
- It is tagged as
- It is a type class instance.
Remark: we still generate code for declarations tagged as
[specialize] since they can be partially applied.
A checkpoint in code generation to print all declarations in between
compiler passes in order to ease debugging.
The trace can be viewed with
set_option trace.Compiler.step true.