Fix #13391 by checking for kind-GADTs
[ghc.git] / testsuite / tests / dependent / should_compile / KindEqualities.stderr
1
2 KindEqualities.hs:25:1: warning: [-Wincomplete-patterns (in -Wextra)]
3     Pattern match(es) are non-exhaustive
4     In an equation for ‘zero’:
5         Patterns not matched: (TyApp (TyApp _ _) _)