git.iko.soy/rowtype-yoga/purescript-native
on 7c4fc86 help sign in
rowtype-yoga/purescript-native/src/PureScript/TypeChecker
4 files
../ Kinds.hsShow relevant term in type error Monad.hsFix a kind checking error, add support for 'extern data' Synonyms.hsIntroduce saturated type synonyms to allow type synonyms to persist until unification Types.hsIf blocks without else blocks never result in unreachable code