search

trill-lang / trill

A type safe, compiled language inspired by (and written in) Swift
MIT License
275 stars 15 forks source link

[Sema] [CSGen] Solve types through a constraint system #55

Closed harlanhaskins closed 7 years ago

harlanhaskins commented 7 years ago

This builds off work done by @CodaFi to implement a constraint solver that will solve for type variables.