Rewrite type inference - Githubissues

shiika-lang / shiika

A statically-typed programming language

MIT License

223 stars 15 forks source link

Rewrite type inference #517

Closed yhara closed 1 year ago

yhara commented 1 year ago

This PR rewrites and simplify the per-method-call type inference algorithm.