ghc/tests/deSugar/should_compile/ds043.hs

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