git.iko.soy/rowtype-yoga/purescript-native
on 7390237 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsRemove duplicates from 'overlapping instances' error report Kinds.hsMore progress on error messages Monad.hsA bit more progress on errors Rows.hsTypechecker error messages Skolems.hsMore progress on error messages Subsumption.hsMore progress on error messages Synonyms.hsA bit more progress on errors Types.hsFix typechecking of constrained type values Unify.hsMore progress on error messages