Bug with implicit params and record update

[Marcin 'Qrczak' Kowalczyk]

module Test where
data R = R {f :: Int}
foo:: (?x :: Int) => R -> R
foo r = r {f = ?x}

Test.hs:4:
    Could not deduce `?x :: Int' from the context ()
    Probable fix:
	Add `?x :: Int' to the the type signature of an expression
    arising from use of implicit parameter `?x' at Test.hs:4
    In the record update: r {f = ?x}
    In the definition of `foo': r {f = ?x}

-- 
 __("<  Marcin Kowalczyk * qrczak at knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTÊPCZA
QRCZAK