1 -- !!! Checking the exhaustiveness of constructor
2 -- !!! with labelled fields.
3 module ShouldCompile where
5 data E = B { a,b,c,d,e,f :: Bool }
9 B _ _ _ _ True False -> undefined
10 B {e=True, f=False} -> undefined
11 B {a=a,f=False,e=False} -> undefined