[crowdhailer]

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

[herrington_d]

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