Constraint solving for function overloading

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

175 stars 27 forks source link

Constraint solving for function overloading #213

Closed auht closed 2 months ago

LPTK commented 6 months ago

Do you intend to fix the bug and merge this?

LPTK commented 5 months ago

Can you plz fix the conflicts and get this PR ready?

LPTK commented 3 months ago

[X] TODO: Guard this feature behind a flag.