Ability to report all discovered type errors at once #11
Description
Hello again!
Thank you for making this wonderful crate, I was able to integrate it fairly well in my project. I could never implement a HM type checker on my own 😅
What I've found is the type checker only reports the first discovered type error when preparing the preliminary/final type table. Is it logically sound for the checker to continue scanning through the constraint graph? If so I would love to make a PR to have it report all discovered type errors at once :)
(Currently I have my validation code collect every error faced when imposing constraints, it's just the final type table construction that doesn't report every error)