testsuite/tests/rename/should_compile/T11662.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE NamedFieldPuns #-}
module T11662 where

import T11662_A (Rec (Rec))
import qualified T11662_A

g :: Rec -> Integer
g (Rec { T11662_A.f }) = f

h :: Integer -> Rec -> Rec
h f r = r { T11662_A.f }

k :: Integer -> Rec
k f = Rec { T11662_A.f }