search

tadeuzagallo / verve-lang

A functional language for the working hacker
https://verve-lang.org
MIT License
346 stars 7 forks source link

Remove asserts from type checker #32

Closed tadeuzagallo closed 8 years ago

tadeuzagallo commented 8 years ago

Some unusual type checks, when fail, will just crash with an assertion. Replace all the existing assertions with proper type errors.