(Re)export of record labels
Consider the following modules:
module RecTest where data R = C1 { l1 :: String, l2 :: Int } | C2 { l2 :: Int }
module RecImp (module RecTest) where import RecTest (l2) -- test :: R -> R test r = r { l2 = 42 }
Consider the following modules:
module RecTest where data R = C1 { l1 :: String, l2 :: Int } | C2 { l2 :: Int }
module RecImp (module RecTest) where import RecTest (l2) -- test :: R -> R test r = r { l2 = 42 }