search

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!
MIT License
553 stars 53 forks source link

Check application rule in type checker produces appropriate error messages #40

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

e.g. when applying an int as a function (shouldn't be allowed)