git.iko.soy/elk
on 4c0f716 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.hsFix bug in type application when converting SourceSyntax.Type to Type.Type Fragment.hsMove the Environment.hs and Fragment.hs files down a directory. Inference.hsRefactor type environment PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsMake error message in solver slightly more specific State.hsChange the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable Type.hsAdd CSaveEnv, optimize CAnd, make it prettier 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.