Small diagnostic print changes
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 12 May 2011 10:11:36 +0000 (11:11 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 12 May 2011 10:11:36 +0000 (11:11 +0100)
testsuite/tests/ghc-regress/indexed-types/should_compile/T3017.stderr
testsuite/tests/ghc-regress/typecheck/should_compile/tc168.stderr
testsuite/tests/ghc-regress/typecheck/should_compile/tc231.stderr

index 241a4e3..8ab73c6 100644 (file)
@@ -1,21 +1,21 @@
-TYPE SIGNATURES\r
-    emptyL :: forall a. ListColl a\r
-    test2 :: forall c t t1.\r
-             (Num t, Num t1, Coll c, Elem c ~ (t, t1)) =>\r
-             c -> c\r
-TYPE CONSTRUCTORS\r
-  data ListColl a\r
-      RecFlag NonRecursive\r
-      Generics: no\r
-      = L :: forall a. [a] -> ListColl a Stricts: _\r
-      FamilyInstance: none\r
-COERCION AXIOMS\r
-  coercion Foo.TFCo:R:ElemListColl [a]\r
-    :: Elem (ListColl a) ~ Foo.R:ElemListColl a\r
-INSTANCES\r
-  instance Coll (ListColl a) -- Defined at T3017.hs:12:11-27\r
-FAMILY INSTANCES\r
-  type Elem (ListColl a) -- Defined at T3017.hs:13:9-12\r
-Tycons with generics:\r
-Dependent modules: []\r
-Dependent packages: [base, ghc-prim, integer-gmp]\r
+TYPE SIGNATURES
+    emptyL :: forall a. ListColl a
+    test2 :: forall c t t1.
+             (Num t, Num t1, Coll c, Elem c ~ (t, t1)) =>
+             c -> c
+TYPE CONSTRUCTORS
+  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
+  type Elem (ListColl a) -- Defined at T3017.hs:13:9-12
+Tycons with generics:
+Dependent modules: []
+Dependent packages: [base, ghc-prim, integer-gmp]
index 1e20b68..4287cde 100644 (file)
@@ -1,8 +1,8 @@
-TYPE SIGNATURES\r
-    f :: forall a b a1. C a1 (a, b) => a1 -> a\r
-TYPE CONSTRUCTORS\r
-COERCION AXIOMS\r
-  coercion ShouldCompile.NTCo:T:C [] :: ShouldCompile.T:C ~ (->)\r
-Tycons with generics:\r
-Dependent modules: []\r
-Dependent packages: [base, ghc-prim, integer-gmp]\r
+TYPE SIGNATURES
+    f :: forall a b a1. C a1 (a, b) => a1 -> a
+TYPE CONSTRUCTORS
+COERCION AXIOMS
+  axiom ShouldCompile.NTCo:T:C [] :: ShouldCompile.T:C ~ (->)
+Tycons with generics:
+Dependent modules: []
+Dependent packages: [base, ghc-prim, integer-gmp]
index 71026e8..d654886 100644 (file)
@@ -1,25 +1,25 @@
-TYPE SIGNATURES\r
-    foo :: forall s b chain.\r
-           Zork s (Z [Char]) b =>\r
-           Q s (Z [Char]) chain -> ST s ()\r
-    s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1\r
-TYPE CONSTRUCTORS\r
-  data Q s a chain\r
-      RecFlag NonRecursive\r
-      Generics: no\r
-      = Node :: forall s a chain. s -> a -> chain -> Q s a chain\r
-            Stricts: _ _ _\r
-      FamilyInstance: none\r
-  data Z a\r
-      RecFlag NonRecursive\r
-      Generics: no\r
-      = Z :: forall a. a -> Z a Stricts: _\r
-      FamilyInstance: none\r
-COERCION AXIOMS\r
-  coercion ShouldCompile.NTCo:T:Zork [s, a, b]\r
-    :: ShouldCompile.T:Zork s a b\r
-         ~\r
-       (forall chain. Q s a chain -> ST s ())\r
-Tycons with generics:\r
-Dependent modules: []\r
-Dependent packages: [base, ghc-prim, integer-gmp]\r
+TYPE SIGNATURES
+    foo :: forall s b chain.
+           Zork s (Z [Char]) b =>
+           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
+      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]