testsuite/tests/rename/should_fail/T12229.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE RecordWildCards #-}

module T12229 where

data T = MkT { x, pi :: Float }

f x = MkT { .. }  -- 'pi' is not initialised, because
                  -- there is no local binding

g x pi = MkT { .. }  -- 'pi' is initialised