path: root/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun12.hs

{-# LANGUAGE OverloadedRecordFields #-}

import OverloadedRecFldsRun12_B (F(MkFInt, MkFBool, foo))

main = do print (foo (MkFInt 42))
          print (foo (MkFBool True))