SEMINAL: Searching for Error Messages in Advanced Languages
Seminal is a compiler-construction project for designing compilers that produce better error messages (particularly during type-checking) while simultaneously making compilers simpler, more reliable, and faster. The key idea is to use a simple and robust type-checker as an oracle for an error-message finder that uses search to find a good error message in the form of a "similar" code skeleton that would type-check.
For more information, see the project's main page.
Papers and Downloads:
- Searching for Type-Error Messages, PLDI 2007
- SEMINAL: Searching for ML Type-Error Messages, ML Workshop 2006
- Prototype implementation