git.iko.soy/elk
on 4eed8e4 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Pipe source locations through the type checker 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