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 <[email protected]> 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)) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
