blob: c36ee98d91e15bfc8a2e839be666848808639a8b (
plain)
1
2
3
4
5
6
7
8
9
|
KindEqualities.hs:25:1: warning: [-Wincomplete-patterns (in -Wextra)]
Pattern match(es) are non-exhaustive
In an equation for ‘zero’:
Patterns not matched:
TyApp (TyApp _ _) TyInt
TyApp (TyApp _ _) TyBool
TyApp (TyApp _ _) TyMaybe
TyApp (TyApp _ _) (TyApp _ _)
|