Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
https://github.com/ghc/testsuite/commit/2b1fefe65ae056a28868a1ab11205cc436470ca8 >--------------------------------------------------------------- commit 2b1fefe65ae056a28868a1ab11205cc436470ca8 Author: Simon Peyton Jones <[email protected]> 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: _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
