git.iko.soy/rowtype-yoga/purescript-native
on a926238 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsUse a Map to lookup type-class dicts in entails Kinds.hsRelax the lower bound on transformers Monad.hsRemove poor performing entails.filterModule 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.hsSimplify representation of foreign declarations Unify.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests