blob: 5c7d746b8ba7d0ccaac5179189175160ef499678 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
-- !!! Checking the exhaustiveness of constructor
-- !!! with labelled fields.
module ShouldCompile where
data E = B { a,b,c,d,e,f :: Bool }
bug x =
case x of
B _ _ _ _ True False -> undefined
B {e=True, f=False} -> undefined
B {a=a,f=False,e=False} -> undefined
|