git.iko.soy/elk
on 0f85a2f help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Remove dead code Environment.hsResolve type aliases in `instantiator` Fragment.hsFix type constraints for case-expressions Inference.hsResolve type aliases in `instantiator` 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