Hacker News Reader

The EYG type system does support recovery, so you will get multiple type errors if that's the case in the program.

My point is that type error recovery is the property of the type system. Not the property of structural code editor.