git.iko.soy/elk
on d7cdace 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.hsAllow multiple different imports of the same module, clean up `canonicalize` code 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