Diff-based interactive compiler debugging and testing
summary
A test runner for the MLscript compiler monitors saved files in VS Code, evaluates sequential test blocks and writes inferred types, runtime results and diagnostics back into the source as comments. Blocks inherit prior context, support flags like E for expected errors, DP for parser debug and JS to show compiled JavaScript, and stream verbose stage logs into an interactive tree view. Comments are committed to VCS so diff-based testing tracks how compiler changes affect outputs and CI ensures updates.
AI-written summary · about
related talks
53mFrom Within: Compiler Testing and Validation via Compilers
40mIntegrating IDEs with Dotty the experimental Scala compiler
44mIntegrating IDEs with Dotty, The Experimental Scala Compiler
38mAI-powered Test Generation Straight from your Debugger
51mAdvanced Playwright Techniques for Flawless Testing
01h 16m“What Has My Compiler Done for Me Lately? Unbolting the Compiler's Lid”
42mJava debugging tips & tricks
51mCompile-time tools supporting generic programming in C++