git.iko.soy/rowtype-yoga/purescript-native
on f5d7b7f help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsFix #421, match type instance heads eagerly Kinds.hsRelax the lower bound on transformers Monad.hsIndex type-class dictionaries by class names 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.hsFix #421, match type instance heads eagerly Unify.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests