This summer I’ll be working on Improving the Debug Output of the Type Inference Algorithm with @xedin as part of GSoC 2022.
This project will rewrite and reformat the debug output (that prints when you type-check an expression) to make it more readable. In its current form, the output can be lengthy, hard to understand or have extraneous information that is not directly helpful in the debugging process.
I’m particularly excited on work on this as I’ve personally struggled with the debug output during my participation in the Swift Mentorship Project last year and in the months following. I look forward to making this easier to read for myself and for the compiler community here, and sharing this work in the coming weeks.
We are open to suggestions as well! If you've run into specific issues, have ideas about format improvement, or any other feedback, please share them below.