Display only unique error messages

JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety

MIT License

85 stars 3 forks source link

Display only unique error messages #226

Closed JSAbrahams closed 2 years ago

JSAbrahams commented 2 years ago

The type checker has a habit of creating many duplicate error messages. This happens due to multiple sets being type checked, which may have many duplicate errors.