git.iko.soy/elk
on c140d69 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Change the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable Environment.hsFirst draft of cross-module type checking Fragment.hsMove the Environment.hs and Fragment.hs files down a directory. Inference.hsFirst draft of cross-module type checking 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.