[commit: testsuite] master: Correct the inferred type (in comment) (870a4d4)
Iavor Diatchki
diatchki at galois.com
Sun Jun 24 23:34:36 CEST 2012
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 <iavor.diatchki at gmail.com>
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)
More information about the Cvs-ghc
mailing list