miniblog.

← Back to all posts
Jan 1, 2016 at 15:39
Reachability and error diagnosis in LR(1) parsers https://gallium.inria.fr/~fpottier/publis/fpottier-reachability-cc2016.pdf —interesting discussion of syntax error messages, used in compcert

Related Posts

Aug 26, 2024 at 05:29
Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented! Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv
Sep 3, 2020 at 06:43
Symptoms, diagnosis, and the recommended treatments of bad code from modern compilers:
Two musings on the design of compiler warnings
Today I finally write down some musings on two peripheral aspects of compiler diagnostic design that I think are very important for certain kinds of warnings. My first musing relates to fixits, and my second to suppression mechanisms.