git.iko.soy/elk
on 9386751 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Get rid of dead function and give instantiateTypeWithContext a shorter name Environment.hsGet rid of dead function and give instantiateTypeWithContext a shorter name Fragment.hsFix type constraints for case-expressions Inference.hsGet rid of dead function and give instantiateTypeWithContext a shorter name PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsSwitch formatting for language pragmas State.hsSwitch formatting for language pragmas Type.hsChange functions for creating type variables, distinguish names of different constraint type variables Unify.hsChange functions for creating type variables, distinguish names of different constraint type variables