search

tadeuzagallo / verve-lang

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

Support constructor with same name as type #25

Closed tadeuzagallo closed 8 years ago

tadeuzagallo commented 8 years ago

The following doesn't work, which is very unintuitive:

type Nil {
  Nil()
}

In the current implementation, both, the EnumType and the TypeConstructor share the same type context, so they can't have the same name.