blob: 2155dea76563184124711613ff8310e3d743a4a8 (
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 of type ‘TyRep a’ not matched:
TyApp (TyApp _ _) TyInt
TyApp (TyApp _ _) TyBool
TyApp (TyApp _ _) TyMaybe
TyApp (TyApp _ _) (TyApp _ _)
|
