Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / indexed-types / should_compile / T3017.stderr
index a3489d2..29877bf 100644 (file)
@@ -4,7 +4,7 @@ TYPE SIGNATURES
   emptyL :: forall a. ListColl a
   insert :: forall c. Coll c => Elem c -> c -> c
   test2 ::
-    forall t t1 c. (Elem c ~ (t, t1), Coll c, Num t, Num t1) => c -> c
+    forall a b c. (Elem c ~ (a, b), Coll c, Num a, Num b) => c -> c
 TYPE CONSTRUCTORS
   class Coll c where
     type family Elem c :: * open