git.iko.soy/rowtype-yoga/purescript-native
on 8a31897 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.hsTests, Check all unknowns in unsolved constraints will be generalized Unify.hsTests, Check all unknowns in unsolved constraints will be generalized