testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun13.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE OverloadedRecordFields #-}

data T = MkT { foo :: Int, bar :: Int }

-- Test multiple fields
f :: (r { foo :: a, bar :: a }, Num a) => r -> a
f x = foo x + bar x

main = print $ f MkT { foo = 2, bar = 3 }