git.iko.soy/rowtype-yoga/purescript-native
on d9acad2 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsOnly generalize types for declarations without type annotations Kinds.hsDistinguish between the different ProperNames Monad.hsDistinguish between the different ProperNames Rows.hsNew approach to unification Skolems.hsAdd information about skolems to type errors Subsumption.hsAdd information about skolems to type errors Synonyms.hsUse base-compat across package Types.hsGeneralize types properly in MissingTypeDeclaration warnings Unify.hsTests, Check all unknowns in unsolved constraints will be generalized