Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/5a5fbfdf98a5de70be4d55d5577551e445fe8abe >--------------------------------------------------------------- commit 5a5fbfdf98a5de70be4d55d5577551e445fe8abe Author: Simon Peyton Jones <[email protected]> Date: Wed Jun 22 11:23:17 2011 +0100 Comments, plus Unix file conventions >--------------------------------------------------------------- .../should_compile/SilentParametersOverlapping.hs | 17 +++++------------ 1 files changed, 5 insertions(+), 12 deletions(-) diff --git a/tests/ghc-regress/typecheck/should_compile/SilentParametersOverlapping.hs b/tests/ghc-regress/typecheck/should_compile/SilentParametersOverlapping.hs index 59ba12b..8169c3f 100644 --- a/tests/ghc-regress/typecheck/should_compile/SilentParametersOverlapping.hs +++ b/tests/ghc-regress/typecheck/should_compile/SilentParametersOverlapping.hs @@ -11,16 +11,9 @@ class C a => B a where instance C [a] where c x = () -instance B [(a,b)] where - -- Silent: C [(a,b)] +instance {- silent: C [(a,b)] => -} B [(a,b)] where b x = c [(undefined,undefined)] - --- DV: The silent parameter should not give us a failure to apply the instance! - - - - - - - - + -- We get wanted: C [(gamma, delta)], + -- and gamma,delta are unconstrained + -- But we can apply the C [a] instance without difficulty + -- (except in the old days when we had silent dfun parameters) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
