search

tadeuzagallo / verve-lang

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

Validate that constructors are note used in type annotations #28

Closed tadeuzagallo closed 8 years ago

tadeuzagallo commented 8 years ago

The following should fail:

type Foo {
  Bar()
}

foo(): Bar {
}
tadeuzagallo commented 8 years ago

Fixed when added distinguished ID cases for types and constructors on bdd261a