diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/KindEqualities.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/KindEqualities.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_compile/KindEqualities.stderr b/testsuite/tests/dependent/should_compile/KindEqualities.stderr index c36ee98d91..2155dea765 100644 --- a/testsuite/tests/dependent/should_compile/KindEqualities.stderr +++ b/testsuite/tests/dependent/should_compile/KindEqualities.stderr @@ -2,7 +2,7 @@ KindEqualities.hs:25:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘zero’: - Patterns not matched: + Patterns of type ‘TyRep a’ not matched: TyApp (TyApp _ _) TyInt TyApp (TyApp _ _) TyBool TyApp (TyApp _ _) TyMaybe |