git.iko.soy/elk
on ebcaad0 help sign in
elk/compiler/Type/Constrain
4 files
../ Declaration.hsAdd record constructors, begin using lists to represent fields in record types to maintain ordering from the source program Expression.hsRemove dead code Literal.hsChange functions for creating type variables, distinguish names of different constraint type variables Pattern.hsChange functions for creating type variables, distinguish names of different constraint type variables