testsuite/tests/typecheck/should_fail/T7989.hs

   1 module T7989 where
   2
   3 data A = A {a0, a1 :: Int}
   4 data B = B {b0, b1 :: Int}
   5
   6 f x = x { a0 = 3, a1 = 2, b0 = 4, b1 = 5 }
   7
   8 data T = T1 { x,y,v :: Int} | T2 { y,z,v :: Int } | T3 { z,x,v :: Int}
   9 g a = a { x=0, y=0, z=0, v=0 }
  10
  11 h a = a { x=0, a0=0 }