search

tadeuzagallo / verve-lang

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

Validate return type #3

Closed tadeuzagallo closed 8 years ago

tadeuzagallo commented 8 years ago

The following should not typecheck, but currently is ok:

foo(): Int {
  "bar"
}