correct rules for tuple merging in unions

ityonemo / mavis

opinionated typing library for elixir

MIT License

110 stars 4 forks source link

Closed ityonemo closed 3 years ago

ityonemo commented 3 years ago

also extend to correct rules for function merging

ityonemo commented 3 years ago

added the tests for the tuple feature here: 15d005b

ityonemo commented 3 years ago

basic implementation here af7db3b

ityonemo commented 3 years ago

not going to implement for functions, because the logic may be wrong, and at the very least, not descriptive

ityonemo commented 3 years ago

consider implementing for functions to allow for function spec fusing.

ityonemo commented 3 years ago

completed in 7eff9ec