Merge branch 'master' of http://darcs.haskell.org/testsuite into ghc-generics
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 12 May 2011 11:26:15 +0000 (13:26 +0200)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 12 May 2011 11:26:15 +0000 (13:26 +0200)
Resolved conflicts:
tests/ghc-regress/indexed-types/should_compile/T3017.stderr
tests/ghc-regress/simplCore/should_compile/simpl016.stderr
tests/ghc-regress/typecheck/should_compile/tc168.stderr
tests/ghc-regress/typecheck/should_compile/tc231.stderr

1  2 
testsuite/tests/ghc-regress/indexed-types/should_compile/T3017.stderr
testsuite/tests/ghc-regress/simplCore/should_compile/simpl016.stderr
testsuite/tests/ghc-regress/typecheck/should_compile/all.T
testsuite/tests/ghc-regress/typecheck/should_compile/tc168.stderr
testsuite/tests/ghc-regress/typecheck/should_compile/tc231.stderr

@@@ -4,10 -4,14 +4,13 @@@ TYPE SIGNATURE
               (Num t, Num t1, Coll c, Elem c ~ (t, t1)) =>
               c -> c
  TYPE CONSTRUCTORS
-     data ListColl a
-         RecFlag NonRecursive
-         = L :: forall a. [a] -> ListColl a Stricts: _
-         FamilyInstance: none
+   data ListColl a
+       RecFlag NonRecursive
 -      Generics: no
+       = L :: forall a. [a] -> ListColl a Stricts: _
+       FamilyInstance: none
+ COERCION AXIOMS
+   axiom Foo.TFCo:R:ElemListColl [a]
+     :: Elem (ListColl a) ~ Foo.R:ElemListColl a
  INSTANCES
    instance Coll (ListColl a) -- Defined at T3017.hs:12:11-27
  FAMILY INSTANCES
@@@ -1,4 -1,4 +1,4 @@@
 -\r
 -simpl016.hs:5:1:\r
 +
 +simpl016.hs:5:1:
-     Warning: Forall'd constraint Num b is not bound in RULE lhs
-                delta' @ Int @ b GHC.Classes.$fEqInt
+     Warning: Forall'd constraint `Num b' is not bound in RULE lhs\r
 -               delta' @ Int @ b GHC.Base.$fEqInt\r
++               delta' @ Int @ b GHC.Classes.$fEqInt\r
@@@ -337,6 -342,7 +337,6 @@@ test('T4912', extra_clean(['T4912a.hi'
  
  test('T4952', normal, compile, [''])
  test('T4969', normal, compile, [''])
 -
  test('T5120', normal, compile, [''])
- test('mc18', expect_broken_for(4370, ['hpc']), compile, [''])
+ test('mc18', normal, compile, [''])
  test('tc249', normal, compile, [''])
@@@ -1,5 -1,8 +1,7 @@@
  TYPE SIGNATURES
      f :: forall a b a1. C a1 (a, b) => a1 -> a
  TYPE CONSTRUCTORS
 -Tycons with generics:
+ COERCION AXIOMS
+   axiom ShouldCompile.NTCo:T:C [] :: ShouldCompile.T:C ~ (->)
  Dependent modules: []
  Dependent packages: [base, ghc-prim, integer-gmp]
@@@ -4,14 -4,22 +4,19 @@@ TYPE SIGNATURE
             Q s (Z [Char]) chain -> ST s ()
      s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
  TYPE CONSTRUCTORS
-     data Q s a chain
-         RecFlag NonRecursive
-         = Node :: forall s a chain. s -> a -> chain -> Q s a chain
-               Stricts: _ _ _
-         FamilyInstance: none
-     data Z a
-         RecFlag NonRecursive
-         = Z :: forall a. a -> Z a Stricts: _
-         FamilyInstance: none
+   data Q s a chain
+       RecFlag NonRecursive
 -      Generics: no
+       = Node :: forall s a chain. s -> a -> chain -> Q s a chain
+             Stricts: _ _ _
+       FamilyInstance: none
+   data Z a
+       RecFlag NonRecursive
 -      Generics: no
+       = Z :: forall a. a -> Z a Stricts: _
+       FamilyInstance: none
+ COERCION AXIOMS
+   axiom ShouldCompile.NTCo:T:Zork [s, a, b]
+     :: ShouldCompile.T:Zork s a b
+          ~
+        (forall chain. Q s a chain -> ST s ())
 -Tycons with generics:
  Dependent modules: []
  Dependent packages: [base, ghc-prim, integer-gmp]