git.iko.soy/elk
on 4f595c2 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Eliminate dead code and reduce dependencies Environment.hsMove the definition of the Signal type out of the compiler and into the Signal library Fragment.hsPipe source locations through the type checker Inference.hsPipe source locations through the type checker PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsStop using the MultiWayIf extension State.hsStop using the MultiWayIf extension Type.hsPipe source locations through the type checker Unify.hsReport line numbers in type errors