[commit: testsuite] master: Debug output wibbles (cf6e54d)

Simon Peyton Jones simonpj at microsoft.com
Mon Jan 28 22:04:56 CET 2013


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

On branch  : master

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

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

commit cf6e54d4ca28243121ebbab7bdeaaeac5ae3d8a1
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Jan 28 18:13:11 2013 +0000

    Debug output wibbles

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

 tests/indexed-types/should_compile/T3017.stderr |    2 +-
 tests/typecheck/should_compile/tc231.stderr     |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/indexed-types/should_compile/T3017.stderr b/tests/indexed-types/should_compile/T3017.stderr
index 28ddc14..a6b44e3 100644
--- a/tests/indexed-types/should_compile/T3017.stderr
+++ b/tests/indexed-types/should_compile/T3017.stderr
@@ -15,7 +15,7 @@ TYPE CONSTRUCTORS
       = L :: forall a. [a] -> ListColl a Stricts: _
       FamilyInstance: none
 COERCION AXIOMS
-  axiom Foo.TFCo:R:ElemListColl :: forall a. Elem (ListColl a) ~# a
+  axiom Foo.TFCo:R:ElemListColl :: Elem (ListColl a) = a
 INSTANCES
   instance Coll (ListColl a) -- Defined at T3017.hs:12:11
 FAMILY INSTANCES
diff --git a/tests/typecheck/should_compile/tc231.stderr b/tests/typecheck/should_compile/tc231.stderr
index 99f7dfd..e8ebcc7 100644
--- a/tests/typecheck/should_compile/tc231.stderr
+++ b/tests/typecheck/should_compile/tc231.stderr
@@ -24,6 +24,6 @@ TYPE CONSTRUCTORS
       huh :: forall chain. Q s a chain -> ST s ()
 COERCION AXIOMS
   axiom ShouldCompile.NTCo:Zork ::
-    forall s a b. Zork s a b ~# (forall chain. Q s a chain -> ST s ())
+    Zork s a b = forall chain. Q s a chain -> ST s ()
 Dependent modules: []
 Dependent packages: [base, ghc-prim, integer-gmp]





More information about the ghc-commits mailing list