git.iko.soy/rowtype-yoga/purescript-native
on c502228 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsAllow unknowns to unify with types in instance heads. Kinds.hsPort previous type wildcards implementation Monad.hsBreak up Declarations Rows.hsBreak up Declarations Skolems.hsBreak up Declarations Subsumption.hsBreak up Declarations Synonyms.hsSplit up typechecker Types.hsMerge pull request #834 from purescript/812 Unify.hsPrototype of a rows in instance contexts, based on @apsk's work.