search

apoch / epoch-language

Home of the Epoch Programming Language Project
Other
72 stars 3 forks source link

Compiler: type safety for type-match/pattern-match overloads #164

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
It is not enforced that all type-match or pattern-match overloads return the 
same type. This can cause bogosity. Add type safety checks to ensure either:

 - All overloads return the same type

OR

 - Overloads are grouped by return type and the appropriate group is selected at compile time

Original issue reported on code.google.com by don.ap...@gmail.com on 5 Sep 2014 at 5:28