Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/870a4d4939a881cca4e255003aacca55c03b9c09 >--------------------------------------------------------------- commit 870a4d4939a881cca4e255003aacca55c03b9c09 Author: Iavor S. Diatchki <[email protected]> Date: Sun Jun 24 14:34:27 2012 -0700 Correct the inferred type (in comment) >--------------------------------------------------------------- tests/typecheck/should_run/IPRun.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/typecheck/should_run/IPRun.hs b/tests/typecheck/should_run/IPRun.hs index 38c47d3..0d2a8d7 100644 --- a/tests/typecheck/should_run/IPRun.hs +++ b/tests/typecheck/should_run/IPRun.hs @@ -11,7 +11,7 @@ f1 = let ?x = 5 in \() -> ?x -- Should always return 5 f2 () = let ?x = 5 in \() -> ?x - -- Inferred type: (Num a, ?x::a) => () -> () -> a + -- Inferred type: Num a => () -> () -> a -- should always return 5 f3 :: () -> ((?x :: Int) => Int) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
