[commit: testsuite] master: Make the test actually test the bug! (2b1fefe)
Simon Peyton Jones
simonpj at microsoft.com
Thu May 16 13:13:56 CEST 2013
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite
On branch : master
https://github.com/ghc/testsuite/commit/2b1fefe65ae056a28868a1ab11205cc436470ca8
>---------------------------------------------------------------
commit 2b1fefe65ae056a28868a1ab11205cc436470ca8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu May 16 12:13:28 2013 +0100
Make the test actually test the bug!
(Thanks to Martijn for correcting this oversight.)
>---------------------------------------------------------------
tests/typecheck/should_compile/T7891.hs | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/tests/typecheck/should_compile/T7891.hs b/tests/typecheck/should_compile/T7891.hs
index 82334d4..45a6773 100644
--- a/tests/typecheck/should_compile/T7891.hs
+++ b/tests/typecheck/should_compile/T7891.hs
@@ -9,7 +9,7 @@ tf :: T
tf = T id
-- Can't write this type signature:
--- f :: t -> t
+f :: t -> t
T f = tf
-- But with an indirection we can:
More information about the ghc-commits
mailing list