search

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
171 stars 26 forks source link

Constraint solving for function overloading #203

Closed auht closed 7 months ago

LPTK commented 10 months ago

Note: normally, even for draft PRs, we try to maintain a state where all the tests are green. For test cases that currently don't work, we still use the corresponding :e (= expect a type error here) but together with a TODO/FIXME comment.

LPTK commented 7 months ago

@auht Please make sure to address every comment that was reported in this PR and then promptly close it (since https://github.com/hkust-taco/mlscript/pull/213 subsumes it). It's been needlessly lingering for a long time.