Adjust output to new oneshotness
authorJoachim Breitner <mail@joachim-breitner.de>
Thu, 12 Dec 2013 11:59:33 +0000 (11:59 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 12 Dec 2013 15:04:10 +0000 (15:04 +0000)
testsuite/tests/deSugar/should_compile/T2431.stderr
testsuite/tests/numeric/should_compile/T7116.stdout
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/T5366.stdout
testsuite/tests/simplCore/should_compile/T7360.stderr
testsuite/tests/simplCore/should_compile/T7865.stdout
testsuite/tests/simplCore/should_compile/spec-inline.stderr
testsuite/tests/stranal/sigs/UnsatFun.stderr

index 6786117..dbafaed 100644 (file)
@@ -17,7 +17,7 @@ T2431.absurd
 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b]
 T2431.absurd =
   \ (@ a) (x :: GHC.Types.Int T2431.:~: GHC.Types.Bool) ->
-    case x of _ { }
+    case x of _ [Occ=Dead] { }
 
 
 
index 1139a58..549ed48 100644 (file)
@@ -11,10 +11,14 @@ T7116.dl :: GHC.Types.Double -> GHC.Types.Double
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (x [Occ=Once!] :: GHC.Types.Double) ->
-                 case x of _ { GHC.Types.D# y -> GHC.Types.D# (GHC.Prim.+## y y) }}]
+                 case x of _ [Occ=Dead] { GHC.Types.D# y ->
+                 GHC.Types.D# (GHC.Prim.+## y y)
+                 }}]
 T7116.dl =
   \ (x :: GHC.Types.Double) ->
-    case x of _ { GHC.Types.D# y -> GHC.Types.D# (GHC.Prim.+## y y) }
+    case x of _ [Occ=Dead] { GHC.Types.D# y ->
+    GHC.Types.D# (GHC.Prim.+## y y)
+    }
 
 T7116.dr :: GHC.Types.Double -> GHC.Types.Double
 [GblId,
@@ -25,7 +29,7 @@ T7116.dr :: GHC.Types.Double -> GHC.Types.Double
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (x [Occ=Once!] :: GHC.Types.Double) ->
-                 case x of _ { GHC.Types.D# x1 ->
+                 case x of _ [Occ=Dead] { GHC.Types.D# x1 ->
                  GHC.Types.D# (GHC.Prim.+## x1 x1)
                  }}]
 T7116.dr = T7116.dl
@@ -39,12 +43,12 @@ T7116.fl :: GHC.Types.Float -> GHC.Types.Float
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (x [Occ=Once!] :: GHC.Types.Float) ->
-                 case x of _ { GHC.Types.F# y ->
+                 case x of _ [Occ=Dead] { GHC.Types.F# y ->
                  GHC.Types.F# (GHC.Prim.plusFloat# y y)
                  }}]
 T7116.fl =
   \ (x :: GHC.Types.Float) ->
-    case x of _ { GHC.Types.F# y ->
+    case x of _ [Occ=Dead] { GHC.Types.F# y ->
     GHC.Types.F# (GHC.Prim.plusFloat# y y)
     }
 
@@ -57,7 +61,7 @@ T7116.fr :: GHC.Types.Float -> GHC.Types.Float
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (x [Occ=Once!] :: GHC.Types.Float) ->
-                 case x of _ { GHC.Types.F# x1 ->
+                 case x of _ [Occ=Dead] { GHC.Types.F# x1 ->
                  GHC.Types.F# (GHC.Prim.plusFloat# x1 x1)
                  }}]
 T7116.fr = T7116.fl
index 8e586df..4522fb5 100644 (file)
@@ -22,12 +22,12 @@ T3717.foo [InlPrag=INLINE[0]] :: GHC.Types.Int -> GHC.Types.Int
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int) ->
-                 case w of _ { GHC.Types.I# ww1 [Occ=Once] ->
+                 case w of _ [Occ=Dead] { GHC.Types.I# ww1 [Occ=Once] ->
                  case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
                  }}]
 T3717.foo =
   \ (w :: GHC.Types.Int) ->
-    case w of _ { GHC.Types.I# ww1 ->
+    case w of _ [Occ=Dead] { GHC.Types.I# ww1 ->
     case T3717.$wfoo ww1 of ww2 { __DEFAULT -> GHC.Types.I# ww2 }
     }
 
index b955e5f..6c7735e 100644 (file)
@@ -7,7 +7,8 @@ xs :: GHC.Prim.Int# -> ()
 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>]
 xs =
   \ (m :: GHC.Prim.Int#) ->
-    case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# m 1) of _ {
+    case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# m 1)
+    of _ [Occ=Dead] {
       GHC.Types.False -> xs (GHC.Prim.-# m 1);
       GHC.Types.True -> GHC.Tuple.()
     }
@@ -17,9 +18,9 @@ T3772.foo [InlPrag=NOINLINE] :: GHC.Types.Int -> ()
 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U(U)>]
 T3772.foo =
   \ (n :: GHC.Types.Int) ->
-    case n of _ { GHC.Types.I# n# ->
+    case n of _ [Occ=Dead] { GHC.Types.I# n# ->
     case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# n# 0)
-    of _ {
+    of _ [Occ=Dead] {
       GHC.Types.False -> xs n#;
       GHC.Types.True -> GHC.Tuple.()
     }
index 7b72b7a..3acef2f 100644 (file)
@@ -35,8 +35,8 @@ T4908.$wf =
   \ (ww :: GHC.Prim.Int#) (w :: (GHC.Types.Int, GHC.Types.Int)) ->
     case ww of ds {
       __DEFAULT ->
-        case w of _ { (a, b) ->
-        case b of _ { GHC.Types.I# ds1 ->
+        case w of _ [Occ=Dead] { (a, b) ->
+        case b of _ [Occ=Dead] { GHC.Types.I# ds1 ->
         case ds1 of ds2 {
           __DEFAULT -> T4908.f_$s$wf (GHC.Prim.-# ds 1) a ds2;
           0 -> GHC.Types.True
@@ -58,10 +58,12 @@ T4908.f [InlPrag=INLINE[0]]
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int)
                  (w1 [Occ=Once] :: (GHC.Types.Int, GHC.Types.Int)) ->
-                 case w of _ { GHC.Types.I# ww1 [Occ=Once] -> T4908.$wf ww1 w1 }}]
+                 case w of _ [Occ=Dead] { GHC.Types.I# ww1 [Occ=Once] ->
+                 T4908.$wf ww1 w1
+                 }}]
 T4908.f =
   \ (w :: GHC.Types.Int) (w1 :: (GHC.Types.Int, GHC.Types.Int)) ->
-    case w of _ { GHC.Types.I# ww1 -> T4908.$wf ww1 w1 }
+    case w of _ [Occ=Dead] { GHC.Types.I# ww1 -> T4908.$wf ww1 w1 }
 
 
 ------ Local rules for imported ids --------
index 5452990..9570b7b 100644 (file)
@@ -18,16 +18,18 @@ T4930.foo :: GHC.Types.Int -> GHC.Types.Int
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (n [Occ=Once!] :: GHC.Types.Int) ->
-                 case n of _ { GHC.Types.I# x ->
-                 case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x 5) of _ {
+                 case n of _ [Occ=Dead] { GHC.Types.I# x ->
+                 case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x 5)
+                 of _ [Occ=Dead] {
                    GHC.Types.False -> GHC.Types.I# (GHC.Prim.+# x 5);
                    GHC.Types.True -> T4930.foo1
                  }
                  }}]
 T4930.foo =
   \ (n :: GHC.Types.Int) ->
-    case n of _ { GHC.Types.I# x ->
-    case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x 5) of _ {
+    case n of _ [Occ=Dead] { GHC.Types.I# x ->
+    case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x 5)
+    of _ [Occ=Dead] {
       GHC.Types.False -> GHC.Types.I# (GHC.Prim.+# x 5);
       GHC.Types.True -> T4930.foo1
     }
index b0c2249..ccc1561 100644 (file)
@@ -1,2 +1 @@
-                 case ds of _ { T5366.Bar dt [Occ=Once] _ -> GHC.Types.I# dt }}]\r
-    case ds of _ { T5366.Bar dt dt1 -> GHC.Types.I# dt }\r
+    case ds of _ [Occ=Dead] { T5366.Bar dt dt1 -> GHC.Types.I# dt }
index 70c9184..9a5896a 100644 (file)
@@ -11,15 +11,20 @@ T7360.$WFoo3 [InlPrag=INLINE] :: GHC.Types.Int -> T7360.Foo
          ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=False,boring_ok=False)
          Tmpl= \ (dt [Occ=Once!] :: GHC.Types.Int) ->
-                 case dt of _ { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }}]
+                 case dt of _ [Occ=Dead] { GHC.Types.I# dt [Occ=Once] ->
+                 T7360.Foo3 dt
+                 }}]
 T7360.$WFoo3 =
   \ (dt [Occ=Once!] :: GHC.Types.Int) ->
-    case dt of _ { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }
+    case dt of _ [Occ=Dead] { GHC.Types.I# dt [Occ=Once] ->
+    T7360.Foo3 dt
+    }
 
 T7360.fun1 [InlPrag=NOINLINE] :: T7360.Foo -> ()
 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,1*U>]
 T7360.fun1 =
-  \ (x :: T7360.Foo) -> case x of _ { __DEFAULT -> GHC.Tuple.() }
+  \ (x :: T7360.Foo) ->
+    case x of _ [Occ=Dead] { __DEFAULT -> GHC.Tuple.() }
 
 T7360.fun4 :: ()
 [GblId,
@@ -49,7 +54,7 @@ T7360.fun2 :: forall a. [a] -> ((), GHC.Types.Int)
                  (T7360.fun4,
                   case x of wild {
                     [] -> T7360.fun3;
-                    : _ _ ->
+                    : _ [Occ=Dead] _ [Occ=Dead] ->
                       case GHC.List.$wlenAcc @ a wild 0 of ww { __DEFAULT ->
                       GHC.Types.I# ww
                       }
index 1b11886..93c495d 100644 (file)
@@ -1,4 +1,4 @@
 T7865.expensive [InlPrag=NOINLINE]
 T7865.expensive =
-        case T7865.expensive sc of _ { GHC.Types.I# x ->
-                (case T7865.expensive x of _ { GHC.Types.I# x1 ->
+        case T7865.expensive sc of _ [Occ=Dead] { GHC.Types.I# x ->
+                (case T7865.expensive x of _ [Occ=Dead] { GHC.Types.I# x1 ->
index 2b6f796..8690176 100644 (file)
@@ -25,13 +25,13 @@ Roman.foo_$s$wgo =
              sc1)
           sc1 } in
     case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# sc 0)
-    of _ {
+    of _ [Occ=Dead] {
       GHC.Types.False ->
         case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# sc 100)
-        of _ {
+        of _ [Occ=Dead] {
           GHC.Types.False ->
             case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# sc 500)
-            of _ {
+            of _ [Occ=Dead] {
               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
@@ -54,10 +54,10 @@ Roman.$wgo
 Roman.$wgo =
   \ (w :: Data.Maybe.Maybe GHC.Types.Int)
     (w1 :: Data.Maybe.Maybe GHC.Types.Int) ->
-    case w1 of _ {
+    case w1 of _ [Occ=Dead] {
       Data.Maybe.Nothing -> case Roman.foo3 of wild1 { };
       Data.Maybe.Just x ->
-        case x of _ { GHC.Types.I# ipv ->
+        case x of _ [Occ=Dead] { GHC.Types.I# ipv ->
         let {
           a :: GHC.Prim.Int#
           [LclId, Str=DmdType]
@@ -68,18 +68,18 @@ Roman.$wgo =
                     (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# ipv ipv) ipv) ipv) ipv)
                  ipv)
               ipv } in
-        case w of _ {
+        case w of _ [Occ=Dead] {
           Data.Maybe.Nothing -> Roman.foo_$s$wgo 10 a;
           Data.Maybe.Just n ->
-            case n of _ { GHC.Types.I# x2 ->
+            case n of _ [Occ=Dead] { GHC.Types.I# x2 ->
             case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# x2 0)
-            of _ {
+            of _ [Occ=Dead] {
               GHC.Types.False ->
                 case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x2 100)
-                 of _ {
+                of _ [Occ=Dead] {
                   GHC.Types.False ->
                     case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x2 500)
-                    of _ {
+                    of _ [Occ=Dead] {
                       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
@@ -137,12 +137,12 @@ Roman.foo :: GHC.Types.Int -> GHC.Types.Int
          ConLike=True, WorkFree=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# _ ->
+                 case n of n1 { GHC.Types.I# _ [Occ=Dead] ->
                  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 n of _ [Occ=Dead] { GHC.Types.I# ipv ->
     case Roman.foo_$s$wgo ipv 6 of ww { __DEFAULT -> GHC.Types.I# ww }
     }
 
index 646a987..3d95c44 100644 (file)
@@ -2,7 +2,7 @@
 ==================== Strictness signatures ====================
 UnsatFun.f: <B,1*U(U)><B,A>b
 UnsatFun.g: <B,1*U(U)>b
-UnsatFun.g2: <L,U>
+UnsatFun.g2: <L,1*U(U)>
 UnsatFun.h: <C(S),1*C1(U(U))>
 UnsatFun.h2: <S,1*U><L,1*C1(U(U))>