git.iko.soy/rowtype-yoga/purescript-native
on a3f5c8c help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsIndex type-class dictionaries by class names 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.hsOptimise replaceAllTypeSynonyms Types.hsResolves #1169. Throw constructor arity error when case omits params Unify.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests