git.iko.soy/elk
on 0d58dee help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Get rid of a couple TODO's related to error reporting for effect modules Environment.hsRemove effect types Fragment.hsShow proper errors for infinite types again Inference.hsParse more liberally, give errors in validation phase for better messages Solve.hsRemove effect types State.hsRemove effect types Type.hsRemove unused import Unify.hscosmetic: add vertical whitespace