Accept error message output changes
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 2 May 2011 07:58:21 +0000 (08:58 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 2 May 2011 07:58:21 +0000 (08:58 +0100)
testsuite/tests/ghc-regress/indexed-types/should_compile/T3017.stderr
testsuite/tests/ghc-regress/simplCore/should_compile/T4398.stderr
testsuite/tests/ghc-regress/simplCore/should_compile/simpl016.stderr
testsuite/tests/ghc-regress/simplCore/should_compile/spec-inline.stderr
testsuite/tests/ghc-regress/typecheck/should_compile/tc168.stderr
testsuite/tests/ghc-regress/typecheck/should_compile/tc231.stderr

index eb4d2e5..241a4e3 100644 (file)
@@ -1,18 +1,21 @@
-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
-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]
+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
index d619d74..ab17c8a 100644 (file)
@@ -1,4 +1,4 @@
-
-T4398.hs:5:11:
-    Warning: Forall'd constraint Ord a is not bound in RULE lhs
-               f @ a x y
+\r
+T4398.hs:5:11:\r
+    Warning: Forall'd constraint `Ord a' is not bound in RULE lhs\r
+               f @ a x y\r
index 921381b..03cb482 100644 (file)
@@ -1,4 +1,4 @@
-
-simpl016.hs:5:1:
-    Warning: Forall'd constraint Num b is not bound in RULE lhs
-               delta' @ Int @ b GHC.Base.$fEqInt
+\r
+simpl016.hs:5:1:\r
+    Warning: Forall'd constraint `Num b' is not bound in RULE lhs\r
+               delta' @ Int @ b GHC.Base.$fEqInt\r
index db4c6f4..3fe5c5c 100644 (file)
-
-==================== Tidy Core ====================
-Roman.foo2 :: GHC.Types.Int
-[GblId,
- Caf=NoCafRefs,
- Str=DmdType m,
- Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [] 1 2}]
-Roman.foo2 = GHC.Types.I# 6
-
-Roman.foo1 :: Data.Maybe.Maybe GHC.Types.Int
-[GblId,
- Caf=NoCafRefs,
- Str=DmdType,
- Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [] 1 2}]
-Roman.foo1 = Data.Maybe.Just @ GHC.Types.Int Roman.foo2
-
-Roman.foo3 :: GHC.Types.Int
-[GblId, Str=DmdType b]
-Roman.foo3 =
-  Control.Exception.Base.patError
-    @ GHC.Types.Int "spec-inline.hs:(19,5)-(29,25)|function go"
-
-Rec {
-Roman.foo_$s$wgo [Occ=LoopBreaker]
-  :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int#
-[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType LL]
-Roman.foo_$s$wgo =
-  \ (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#) ->
-    let {
-      a [Dmd=Just L] :: GHC.Prim.Int#
-      [LclId, Str=DmdType]
-      a =
-        GHC.Prim.+#
-          (GHC.Prim.+#
-             (GHC.Prim.+#
-                (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# sc sc) sc) sc) sc)
-             sc)
-          sc } in
-    case GHC.Prim.<=# sc1 0 of _ {
-      GHC.Types.False ->
-        case GHC.Prim.<# sc1 100 of _ {
-          GHC.Types.False ->
-            case GHC.Prim.<# sc1 500 of _ {
-              GHC.Types.False ->
-                Roman.foo_$s$wgo (GHC.Prim.+# a a) (GHC.Prim.-# sc1 1);
-              GHC.Types.True -> Roman.foo_$s$wgo a (GHC.Prim.-# sc1 3)
-            };
-          GHC.Types.True -> Roman.foo_$s$wgo sc (GHC.Prim.-# sc1 2)
-        };
-      GHC.Types.True -> 0
-    }
-end Rec }
-
-Roman.$wgo
-  :: Data.Maybe.Maybe GHC.Types.Int
-     -> Data.Maybe.Maybe GHC.Types.Int
-     -> GHC.Prim.Int#
-[GblId,
- Arity=2,
- Str=DmdType SS,
- Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [6 3] 37 0}]
-Roman.$wgo =
-  \ (w :: Data.Maybe.Maybe GHC.Types.Int)
-    (w1 :: Data.Maybe.Maybe GHC.Types.Int) ->
-    case w1 of _ {
-      Data.Maybe.Nothing ->
-        Roman.foo3
-        `cast` (CoUnsafe GHC.Types.Int GHC.Prim.Int#
-                :: GHC.Types.Int ~ GHC.Prim.Int#);
-      Data.Maybe.Just x ->
-        case x of _ { GHC.Types.I# ipv ->
-        let {
-          a [Dmd=Just L] :: GHC.Prim.Int#
-          [LclId, Str=DmdType]
-          a =
-            GHC.Prim.+#
-              (GHC.Prim.+#
-                 (GHC.Prim.+#
-                    (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# ipv ipv) ipv) ipv) ipv)
-                 ipv)
-              ipv } in
-        case w of _ {
-          Data.Maybe.Nothing -> Roman.foo_$s$wgo a 10;
-          Data.Maybe.Just n ->
-            case n of _ { GHC.Types.I# x2 ->
-            case GHC.Prim.<=# x2 0 of _ {
-              GHC.Types.False ->
-                case GHC.Prim.<# x2 100 of _ {
-                  GHC.Types.False ->
-                    case GHC.Prim.<# x2 500 of _ {
-                      GHC.Types.False ->
-                        Roman.foo_$s$wgo (GHC.Prim.+# a a) (GHC.Prim.-# x2 1);
-                      GHC.Types.True -> Roman.foo_$s$wgo a (GHC.Prim.-# x2 3)
-                    };
-                  GHC.Types.True -> Roman.foo_$s$wgo ipv (GHC.Prim.-# x2 2)
-                };
-              GHC.Types.True -> 0
-            }
-            }
-        }
-        }
-    }
-
-Roman.foo_go [InlPrag=INLINE[0]]
-  :: Data.Maybe.Maybe GHC.Types.Int
-     -> Data.Maybe.Maybe GHC.Types.Int
-     -> GHC.Types.Int
-[GblId,
- Arity=2,
- Str=DmdType SSm,
- Unf=Unf{Src=Worker=Roman.$wgo, TopLvl=True, Arity=2, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (w [Occ=Once] :: Data.Maybe.Maybe GHC.Types.Int)
-                 (w1 [Occ=Once] :: Data.Maybe.Maybe GHC.Types.Int) ->
-                 case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }}]
-Roman.foo_go =
-  \ (w :: Data.Maybe.Maybe GHC.Types.Int)
-    (w1 :: Data.Maybe.Maybe GHC.Types.Int) ->
-    case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }
-
-Roman.foo :: GHC.Types.Int -> GHC.Types.Int
-[GblId,
- Arity=1,
- Caf=NoCafRefs,
- Str=DmdType S(A)m,
- Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
-         Tmpl= \ (n [Occ=Once!] :: GHC.Types.Int) ->
-                 case n of n1 { GHC.Types.I# _ ->
-                 Roman.foo_go (Data.Maybe.Just @ GHC.Types.Int n1) Roman.foo1
-                 }}]
-Roman.foo =
-  \ (n :: GHC.Types.Int) ->
-    case n of _ { GHC.Types.I# ipv ->
-    case Roman.foo_$s$wgo 6 ipv of ww { __DEFAULT -> GHC.Types.I# ww }
-    }
-
-
------- Local rules for imported ids --------
-"SC:$wgo0" [ALWAYS]
-    forall {sc :: GHC.Prim.Int# sc1 :: GHC.Prim.Int#}
-      Roman.$wgo (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc1))
-                 (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc))
-      = Roman.foo_$s$wgo sc sc1
-
-
+\r
+==================== Tidy Core ====================\r
+Roman.foo2 :: GHC.Types.Int\r
+[GblId,\r
+ Caf=NoCafRefs,\r
+ Str=DmdType m,\r
+ Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,\r
+         ConLike=True, Cheap=True, Expandable=True,\r
+         Guidance=IF_ARGS [] 1 2}]\r
+Roman.foo2 = GHC.Types.I# 6\r
+\r
+Roman.foo1 :: Data.Maybe.Maybe GHC.Types.Int\r
+[GblId,\r
+ Caf=NoCafRefs,\r
+ Str=DmdType,\r
+ Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,\r
+         ConLike=True, Cheap=True, Expandable=True,\r
+         Guidance=IF_ARGS [] 1 2}]\r
+Roman.foo1 = Data.Maybe.Just @ GHC.Types.Int Roman.foo2\r
+\r
+Roman.foo3 :: GHC.Types.Int\r
+[GblId, Str=DmdType b]\r
+Roman.foo3 =\r
+  Control.Exception.Base.patError\r
+    @ GHC.Types.Int "spec-inline.hs:(19,5)-(29,25)|function go"\r
+\r
+Rec {\r
+Roman.foo_$s$wgo [Occ=LoopBreaker]\r
+  :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int#\r
+[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType LL]\r
+Roman.foo_$s$wgo =\r
+  \ (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#) ->\r
+    let {\r
+      a [Dmd=Just L] :: GHC.Prim.Int#\r
+      [LclId, Str=DmdType]\r
+      a =\r
+        GHC.Prim.+#\r
+          (GHC.Prim.+#\r
+             (GHC.Prim.+#\r
+                (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# sc sc) sc) sc) sc)\r
+             sc)\r
+          sc } in\r
+    case GHC.Prim.<=# sc1 0 of _ {\r
+      GHC.Types.False ->\r
+        case GHC.Prim.<# sc1 100 of _ {\r
+          GHC.Types.False ->\r
+            case GHC.Prim.<# sc1 500 of _ {\r
+              GHC.Types.False ->\r
+                Roman.foo_$s$wgo (GHC.Prim.+# a a) (GHC.Prim.-# sc1 1);\r
+              GHC.Types.True -> Roman.foo_$s$wgo a (GHC.Prim.-# sc1 3)\r
+            };\r
+          GHC.Types.True -> Roman.foo_$s$wgo sc (GHC.Prim.-# sc1 2)\r
+        };\r
+      GHC.Types.True -> 0\r
+    }\r
+end Rec }\r
+\r
+Roman.$wgo\r
+  :: Data.Maybe.Maybe GHC.Types.Int\r
+     -> Data.Maybe.Maybe GHC.Types.Int -> GHC.Prim.Int#\r
+[GblId,\r
+ Arity=2,\r
+ Str=DmdType SS,\r
+ Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,\r
+         ConLike=True, Cheap=True, Expandable=True,\r
+         Guidance=IF_ARGS [6 3] 37 0}]\r
+Roman.$wgo =\r
+  \ (w :: Data.Maybe.Maybe GHC.Types.Int)\r
+    (w1 :: Data.Maybe.Maybe GHC.Types.Int) ->\r
+    case w1 of _ {\r
+      Data.Maybe.Nothing ->\r
+        Roman.foo3\r
+        `cast` (UnsafeCo GHC.Types.Int GHC.Prim.Int#\r
+                :: GHC.Types.Int ~ GHC.Prim.Int#);\r
+      Data.Maybe.Just x ->\r
+        case x of _ { GHC.Types.I# ipv ->\r
+        let {\r
+          a [Dmd=Just L] :: GHC.Prim.Int#\r
+          [LclId, Str=DmdType]\r
+          a =\r
+            GHC.Prim.+#\r
+              (GHC.Prim.+#\r
+                 (GHC.Prim.+#\r
+                    (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# ipv ipv) ipv) ipv) ipv)\r
+                 ipv)\r
+              ipv } in\r
+        case w of _ {\r
+          Data.Maybe.Nothing -> Roman.foo_$s$wgo a 10;\r
+          Data.Maybe.Just n ->\r
+            case n of _ { GHC.Types.I# x2 ->\r
+            case GHC.Prim.<=# x2 0 of _ {\r
+              GHC.Types.False ->\r
+                case GHC.Prim.<# x2 100 of _ {\r
+                  GHC.Types.False ->\r
+                    case GHC.Prim.<# x2 500 of _ {\r
+                      GHC.Types.False ->\r
+                        Roman.foo_$s$wgo (GHC.Prim.+# a a) (GHC.Prim.-# x2 1);\r
+                      GHC.Types.True -> Roman.foo_$s$wgo a (GHC.Prim.-# x2 3)\r
+                    };\r
+                  GHC.Types.True -> Roman.foo_$s$wgo ipv (GHC.Prim.-# x2 2)\r
+                };\r
+              GHC.Types.True -> 0\r
+            }\r
+            }\r
+        }\r
+        }\r
+    }\r
+\r
+Roman.foo_go [InlPrag=INLINE[0]]\r
+  :: Data.Maybe.Maybe GHC.Types.Int\r
+     -> Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int\r
+[GblId,\r
+ Arity=2,\r
+ Str=DmdType SSm,\r
+ Unf=Unf{Src=Worker=Roman.$wgo, TopLvl=True, Arity=2, Value=True,\r
+         ConLike=True, Cheap=True, Expandable=True,\r
+         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)\r
+         Tmpl= \ (w [Occ=Once] :: Data.Maybe.Maybe GHC.Types.Int)\r
+                 (w1 [Occ=Once] :: Data.Maybe.Maybe GHC.Types.Int) ->\r
+                 case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }}]\r
+Roman.foo_go =\r
+  \ (w :: Data.Maybe.Maybe GHC.Types.Int)\r
+    (w1 :: Data.Maybe.Maybe GHC.Types.Int) ->\r
+    case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }\r
+\r
+Roman.foo :: GHC.Types.Int -> GHC.Types.Int\r
+[GblId,\r
+ Arity=1,\r
+ Caf=NoCafRefs,\r
+ Str=DmdType S(A)m,\r
+ Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,\r
+         ConLike=True, Cheap=True, Expandable=True,\r
+         Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)\r
+         Tmpl= \ (n [Occ=Once!] :: GHC.Types.Int) ->\r
+                 case n of n1 { GHC.Types.I# _ ->\r
+                 Roman.foo_go (Data.Maybe.Just @ GHC.Types.Int n1) Roman.foo1\r
+                 }}]\r
+Roman.foo =\r
+  \ (n :: GHC.Types.Int) ->\r
+    case n of _ { GHC.Types.I# ipv ->\r
+    case Roman.foo_$s$wgo 6 ipv of ww { __DEFAULT -> GHC.Types.I# ww }\r
+    }\r
+\r
+\r
+------ Local rules for imported ids --------\r
+"SC:$wgo0" [ALWAYS]\r
+    forall {sc :: GHC.Prim.Int# sc1 :: GHC.Prim.Int#}\r
+      Roman.$wgo (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc1))\r
+                 (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc))\r
+      = Roman.foo_$s$wgo sc sc1\r
+\r
+\r
index d05d4fc..1e20b68 100644 (file)
@@ -1,6 +1,8 @@
-TYPE SIGNATURES
-    f :: forall a b a1. C a1 (a, b) => a1 -> a
-TYPE CONSTRUCTORS
-Tycons with generics:
-Dependent modules: []
-Dependent packages: [base, ghc-prim, integer-gmp]
+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
index 4f87455..71026e8 100644 (file)
@@ -1,20 +1,25 @@
-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
-Tycons with generics:
-Dependent modules: []
-Dependent packages: [base, ghc-prim, integer-gmp]
+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