Wibbles to error messages arising from using coreBindsStats
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 27 Apr 2012 07:23:44 +0000 (08:23 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 27 Apr 2012 07:23:44 +0000 (08:23 +0100)
testsuite/tests/simplCore/should_compile/T3717.stderr
testsuite/tests/simplCore/should_compile/T3772.stdout
testsuite/tests/simplCore/should_compile/T4908.stderr
testsuite/tests/simplCore/should_compile/T4930.stderr
testsuite/tests/simplCore/should_compile/spec-inline.stderr

index d677863..802db2e 100644 (file)
@@ -1,6 +1,6 @@
 
 ==================== Tidy Core ====================
-Result size = 22
+Result size of Tidy Core = {terms: 19, types: 10, coercions: 0}
 
 Rec {
 T3717.$wfoo [Occ=LoopBreaker] :: GHC.Prim.Int# -> GHC.Prim.Int#
index 85cca2a..1366559 100644 (file)
@@ -1,6 +1,6 @@
 
 ==================== Tidy Core ====================
-  Result size = 26
+Result size of Tidy Core = {terms: 23, types: 10, coercions: 0}
 
 Rec {
 xs :: GHC.Prim.Int# -> ()
index ac90d0f..7e63926 100644 (file)
@@ -1,6 +1,6 @@
 
 ==================== Tidy Core ====================
-Result size = 54
+Result size of Tidy Core = {terms: 47, types: 38, coercions: 0}
 
 Rec {
 T4908.f_$s$wf [Occ=LoopBreaker]
index 10070cf..1b9b21a 100644 (file)
@@ -1,6 +1,6 @@
 
 ==================== Tidy Core ====================
-Result size = 23
+Result size of Tidy Core = {terms: 20, types: 10, coercions: 0}
 
 lvl :: [GHC.Types.Char]
 [GblId]
index 94e5ca1..ea9921d 100644 (file)
-\r
-==================== Tidy Core ====================\r
-Result size = 155\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.+# sc1 sc1) sc1) sc1) sc1)\r
-             sc1)\r
-          sc1 } in\r
-    case GHC.Prim.<=# sc 0 of _ {\r
-      GHC.Types.False ->\r
-        case GHC.Prim.<# sc 100 of _ {\r
-          GHC.Types.False ->\r
-            case GHC.Prim.<# sc 500 of _ {\r
-              GHC.Types.False ->\r
-                Roman.foo_$s$wgo (GHC.Prim.-# sc 1) (GHC.Prim.+# a a);\r
-              GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# sc 3) a\r
-            };\r
-          GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# sc 2) sc1\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 [60 30] 253 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 10 a;\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.-# x2 1) (GHC.Prim.+# a a);\r
-                      GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# x2 3) a\r
-                    };\r
-                  GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# x2 2) ipv\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.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 [] 10 110}]\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 [] 10 110}]\r
-Roman.foo1 = Data.Maybe.Just @ GHC.Types.Int Roman.foo2\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 ipv 6 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# sc))\r
-                 (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc1))\r
-      = Roman.foo_$s$wgo sc sc1\r
-\r
-\r
+
+==================== Tidy Core ====================
+Result size of Tidy Core = {terms: 139, types: 54, coercions: 2}
+
+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.+# sc1 sc1) sc1) sc1) sc1)
+             sc1)
+          sc1 } in
+    case GHC.Prim.<=# sc 0 of _ {
+      GHC.Types.False ->
+        case GHC.Prim.<# sc 100 of _ {
+          GHC.Types.False ->
+            case GHC.Prim.<# sc 500 of _ {
+              GHC.Types.False ->
+                Roman.foo_$s$wgo (GHC.Prim.-# sc 1) (GHC.Prim.+# a a);
+              GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# sc 3) a
+            };
+          GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# sc 2) sc1
+        };
+      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 [60 30] 253 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` (UnsafeCo 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 10 a;
+          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.-# x2 1) (GHC.Prim.+# a a);
+                      GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# x2 3) a
+                    };
+                  GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# x2 2) ipv
+                };
+              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.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 [] 10 110}]
+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 [] 10 110}]
+Roman.foo1 = Data.Maybe.Just @ GHC.Types.Int Roman.foo2
+
+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 ipv 6 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# sc))
+                 (Data.Maybe.Just @ GHC.Types.Int (GHC.Types.I# sc1))
+      = Roman.foo_$s$wgo sc sc1
+
+