search

diku-dk / futhark

:boom::computer::boom: A data-parallel functional programming language
http://futhark-lang.org
ISC License
2.38k stars 165 forks source link

Perform name resolution in separate type checking pass. #2102

Closed athas closed 8 months ago

athas commented 8 months ago

This is to make the type checker more modular and ultimately switch to a constraint-based solver.