tadeuzagallo / verve-lang

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

Values that don't match any case should throw an error #37

Closed tadeuzagallo closed 7 years ago

tadeuzagallo commented 8 years ago

Right now if a value doesn't match any case, it will just skip to the next expression, which isn't type safe, since a function might return void instead of the type inferred for the match expression.