git.iko.soy/rowtype-yoga/purescript-native
on 330bab9 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hs-> 0.7.0.0 Kinds.hsRelax the lower bound on transformers Monad.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests 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.hsAdd suggestion framework with "Did you mean composition" example Types.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests Unify.hsModified the TypeChecker monad for supporting warnings. * Wildcard types are now detected as warnings * Added some manual tests