Skip to content

zz note: better compiler errors

David Jeske edited this page May 23, 2017 · 2 revisions

Irken needs simple things for better compiler errors:

  • report the specific character position where errors are detected, like clang ^^^, not just report vague prose errors
  • forbid newlines in single-quoted strings, to better catch quoting errors
  • support a very fast type-check first pass, so errors can be reported much sooner than in the current compile process.... * integrate with type-aware IDEs for compile-while-editing and constant error reporting

More Advanced Ideas

  • support syntax-case macros, which can provide much better errors than syntax-rules
  • support the compile-time checking of complex embedded DSLs like SQL and format strings - (because embedded DSLs will exist)
  • consider adding a non-s-exp syntax, since s-exp syntax is not great for clear error reporting

Research