git.iko.soy/rowtype-yoga/purescript-native
on 74a8dc0 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
10 files
../ Deriving.hsuse 7.8 compat error import Entailment.hs-> 0.7.0.0 Kinds.hsRelax the lower bound on transformers Monad.hsSimplify representation of foreign declarations 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.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