Improve Error Messages for BbML

hkust-taco / mlscript

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

https://hkust-taco.github.io/mlscript

MIT License

174 stars 27 forks source link

Improve Error Messages for BbML #241

Open NeilKleistGao opened 1 week ago

NeilKleistGao commented 1 week ago

[ ] Generate human-readable type variable names (see #240)
[ ] Improve the constraining error messages
[ ] ...