path: root/testsuite/tests/dependent/should_compile/KindEqualities.stderr

KindEqualities.hs:23:1: warning:
    Pattern match(es) are non-exhaustive
    In an equation for ‘zero’:
        Patterns not matched: (TyApp (TyApp _ _) _)