Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their
work. CPP spans areas of computer science, mathematics, logic, and
education.
CPP 2022
| First, reading the ghc source code suggests I can only have one -ddinline-
| check. Correct?
Yes. The last one wins. This should be in the user manual. Would anyone like
to offer a PR?
| Also, I'm guessing that the inlining I didn't see reported by -dinline-check
| happened inside the