Big list of potential features - implementation

[glaebhoerl]

• Track source locations throughout
• Warnings for: dead code, unused mutability, ...
• Pragmas: inline, specialize...?
• Memory management (RC, CoW?)
• Evaluator / interpreter
• Actual optimizations in the frontend, on IR (with hoopl?)

---

• Cross-linked interactive HTML output w/ full types etc.
• DWARF
• REPL
• "IDE support"
• Incremental compilation (caching)
• Parallelized compiler
• Type errors with counterexamples
• -fdefer-type-errors
• Literate programming
• Stack traces on abort