git.iko.soy/rowtype-yoga/purescript-native
on e90e724 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.hsTidy up MonadError code a bit more 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