git.iko.soy/elk
on da346ea 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.hsSimplify code to generate record constraints 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