git.iko.soy/elk
on 175798f help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Fix type constraints for case-expressions Environment.hsFirst draft of cross-module type checking Fragment.hsFix type constraints for case-expressions Inference.hsBegin to canonicalize imported values and types PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsSave the current environment on CSaveEnv State.hsChange the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable Type.hsCreate a serializable interface for a module's type information Unify.hsRemove some debugging stuff and generally clean up the code. There was one potential error in which a debug needed to be a liftIO, the computation it performed was not optional.