git.iko.soy/rowtype-yoga/purescript-native
on 04616c7 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
10 files
../ Deriving.hspattern synonyms --> pattern guards, also fix some missing signature warnings Entailment.hsRemove psc, DCE module, simplify options. 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.hsRelax the lower bound on transformers Synonyms.hsRemove psc, DCE module, simplify options. Types.hsMerge branch 'master' of github.com:purescript/purescript into deriving-generic-patch Unify.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests