git.iko.soy/rowtype-yoga/purescript-native
on 031e5c5 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsChoose simplest superclass instance Kinds.hsRelax the lower bound on transformers Monad.hsUse strict writers to avoid leaking memory Rows.hsRelax the lower bound on transformers Skolems.hsAdd suggestion framework with "Did you mean composition" example Subsumption.hsFix #421, match type instance heads eagerly Synonyms.hsRemove psc, DCE module, simplify options. Types.hsAdd error for deep recursion in instance search, fix tests Unify.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests