[commit: testsuite] master: Comments, plus Unix file conventions (5a5fbfd)

[Simon Peyton Jones]

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 <simonpj at microsoft.com>
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)