[commit: testsuite] master: Test #4361 would fail because of the removal of the UNSAVORY HACK (ec36bde)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/ec36bde3c44cc3625ea0b5f65683528fb0d073dd

>---------------------------------------------------------------

commit ec36bde3c44cc3625ea0b5f65683528fb0d073dd
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jun 21 08:48:37 2012 +0100

    Test #4361 would fail because of the removal of the UNSAVORY HACK
    but this change makes it work again by adding a type signature

>---------------------------------------------------------------

 tests/typecheck/should_compile/T4361.hs |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/tests/typecheck/should_compile/T4361.hs b/tests/typecheck/should_compile/T4361.hs
index 19727c2..725d120 100644
--- a/tests/typecheck/should_compile/T4361.hs
+++ b/tests/typecheck/should_compile/T4361.hs
@@ -17,7 +17,8 @@ upLinSolvRing :: LinSolvRing a => a -> ()
 upLinSolvRing = undefined
 
 moduloBasisx :: (LinSolvRing (Pol a), CommutativeRing a) => Pol a -> ()
-moduloBasisx p = let x = upLinSolvRing p
+moduloBasisx p = let x :: ()
+                     x = upLinSolvRing p
                  in ()
 
   -- This is very delicate!  The contraint (LinSolvRing (Pol a))