git.iko.soy/rowtype-yoga/purescript-native
on 0888ada help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsOnly use Show for debugging. Kinds.hsUnify LANGUAGE pragma layouts Monad.hsUnify LANGUAGE pragma layouts Rows.hsRelax the lower bound on transformers Skolems.hsRemove redundant import warnings for 7.10 Subsumption.hsFix #421, match type instance heads eagerly Synonyms.hsUnify LANGUAGE pragma layouts Types.hsFix #1042, better messages for ExpectedType errors. Unify.hsFix #1310