git.iko.soy/rowtype-yoga/purescript-native
on 0b72e7a help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsRemove redundant import warnings for 7.10 Kinds.hsRemove redundant import warnings for 7.10 Monad.hsRemove redundant import warnings for 7.10 Rows.hsRelax the lower bound on transformers Skolems.hsRemove redundant import warnings for 7.10 Subsumption.hsRelax the lower bound on transformers Synonyms.hsRemove redundant import warnings for 7.10 Types.hsRemove redundant import warnings for 7.10 Unify.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests