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 * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZAST�PCZA
QRCZAK


_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to