elm/src/Types · elk · git.iko.soy

git.iko.soy/elk

on e75937e help sign in

elk/elm/src/Types

4 files

../ Constrain.hs- Simplify basic types. Add more correct versions of Type Schemes and Super Types. - Adjust type hints to use type schemes. - Adjust constraint generation to use type schemes and super types properly. - Modify unification algorithm to properly handle type …14 years ago Hints.hs- Simplify basic types. Add more correct versions of Type Schemes and Super Types. - Adjust type hints to use type schemes. - Adjust constraint generation to use type schemes and super types properly. - Modify unification algorithm to properly handle type …14 years ago Types.hs- Simplify basic types. Add more correct versions of Type Schemes and Super Types. - Adjust type hints to use type schemes. - Adjust constraint generation to use type schemes and super types properly. - Modify unification algorithm to properly handle type …14 years ago Unify.hs- Simplify basic types. Add more correct versions of Type Schemes and Super Types. - Adjust type hints to use type schemes. - Adjust constraint generation to use type schemes and super types properly. - Modify unification algorithm to properly handle type …14 years ago