Commit e34b2bf7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Adjust debug output for different syntax of strictness annotations

parent d3bfd676
......@@ -14,7 +14,7 @@ T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ <a>
T2431.absurd
:: forall a. (GHC.Types.Int T2431.:~: GHC.Types.Bool) -> a
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType Tb]
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b]
T2431.absurd =
\ (@ a) (x :: GHC.Types.Int T2431.:~: GHC.Types.Bool) ->
case x of _ { }
......
rght [Dmd=Just S] :: EvalTest.AList a
rght [Dmd=<S,U>] :: EvalTest.AList a
......@@ -4,7 +4,7 @@ Result size of Tidy Core = {terms: 19, types: 10, coercions: 0}
Rec {
T3717.$wfoo [Occ=LoopBreaker] :: GHC.Prim.Int# -> GHC.Prim.Int#
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType L]
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,U>]
T3717.$wfoo =
\ (ww :: GHC.Prim.Int#) ->
case ww of ds {
......@@ -17,7 +17,7 @@ T3717.foo [InlPrag=INLINE[0]] :: GHC.Types.Int -> GHC.Types.Int
[GblId,
Arity=1,
Caf=NoCafRefs,
Str=DmdType U(L)m,
Str=DmdType <S(S),U(U)>m,
Unf=Unf{Src=Worker=T3717.$wfoo, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
......
......@@ -4,7 +4,7 @@ Result size of Tidy Core = {terms: 23, types: 10, coercions: 0}
Rec {
xs :: GHC.Prim.Int# -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType L]
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>]
xs =
\ (m :: GHC.Prim.Int#) ->
case GHC.Prim.<=# m 1 of _ {
......@@ -14,7 +14,7 @@ xs =
end Rec }
T3772.foo [InlPrag=NOINLINE] :: GHC.Types.Int -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType U(L)]
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,U(U)>]
T3772.foo =
\ (n :: GHC.Types.Int) ->
case n of _ { GHC.Types.I# n# ->
......
......@@ -6,7 +6,7 @@ Rec {
T4908.f_$s$wf [Occ=LoopBreaker]
:: GHC.Prim.Int#
-> GHC.Types.Int -> GHC.Prim.Int# -> GHC.Types.Bool
[GblId, Arity=3, Caf=NoCafRefs, Str=DmdType LLL]
[GblId, Arity=3, Caf=NoCafRefs, Str=DmdType <S,U><L,U><L,U>]
T4908.f_$s$wf =
\ (sc :: GHC.Prim.Int#)
(sc1 :: GHC.Types.Int)
......@@ -27,7 +27,7 @@ T4908.$wf
[GblId,
Arity=2,
Caf=NoCafRefs,
Str=DmdType LL,
Str=DmdType <S,U><L,U(UU(U))>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=IF_ARGS [30 20] 101 20}]
......@@ -52,7 +52,7 @@ T4908.f [InlPrag=INLINE[0]]
[GblId,
Arity=2,
Caf=NoCafRefs,
Str=DmdType U(L)L,
Str=DmdType <S(S),U(U)><L,U(UU(U))>,
Unf=Unf{Src=Worker=T4908.$wf, TopLvl=True, Arity=2, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
......
......@@ -3,7 +3,7 @@
Result size of Tidy Core = {terms: 20, types: 10, coercions: 0}
lvl :: [GHC.Types.Char]
[GblId]
[GblId, Str=DmdType]
lvl = GHC.CString.unpackCString# "Too small"#
T4930.foo1 :: GHC.Types.Int
......@@ -13,7 +13,7 @@ T4930.foo1 = GHC.Err.error @ GHC.Types.Int lvl
T4930.foo :: GHC.Types.Int -> GHC.Types.Int
[GblId,
Arity=1,
Str=DmdType U(L)m,
Str=DmdType <S,U(U)>m,
Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
......
......@@ -6,7 +6,7 @@ T7360.$WFoo3 [InlPrag=INLINE] :: GHC.Types.Int -> T7360.Foo
[GblId[DataConWrapper],
Arity=1,
Caf=NoCafRefs,
Str=DmdType S,
Str=DmdType <S,U>,
Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=False,boring_ok=False)
......@@ -17,7 +17,7 @@ T7360.$WFoo3 =
case dt of dt { __DEFAULT -> T7360.Foo3 dt }
T7360.fun1 [InlPrag=NOINLINE] :: T7360.Foo -> ()
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType S]
[GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <S,U>]
T7360.fun1 =
\ (x :: T7360.Foo) -> case x of _ { __DEFAULT -> GHC.Tuple.() }
......@@ -32,7 +32,7 @@ T7360.fun3 = T7360.fun1 T7360.Foo1
T7360.fun2 :: forall a. [a] -> ((), GHC.Types.Int)
[GblId,
Arity=1,
Str=DmdType Lm,
Str=DmdType <L,U>m,
Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
......
......@@ -11,11 +11,11 @@ Roman.foo3 =
Rec {
Roman.foo_$s$wgo [Occ=LoopBreaker]
:: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int#
[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType LL]
[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType <L,U><L,U>]
Roman.foo_$s$wgo =
\ (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#) ->
let {
a [Dmd=Just L] :: GHC.Prim.Int#
a :: GHC.Prim.Int#
[LclId, Str=DmdType]
a =
GHC.Prim.+#
......@@ -44,7 +44,7 @@ Roman.$wgo
-> Data.Maybe.Maybe GHC.Types.Int -> GHC.Prim.Int#
[GblId,
Arity=2,
Str=DmdType SS,
Str=DmdType <S,U><S,U>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=IF_ARGS [60 30] 253 0}]
......@@ -56,7 +56,7 @@ Roman.$wgo =
Data.Maybe.Just x ->
case x of _ { GHC.Types.I# ipv ->
let {
a [Dmd=Just L] :: GHC.Prim.Int#
a :: GHC.Prim.Int#
[LclId, Str=DmdType]
a =
GHC.Prim.+#
......@@ -92,7 +92,7 @@ Roman.foo_go [InlPrag=INLINE[0]]
-> Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
[GblId,
Arity=2,
Str=DmdType SSm,
Str=DmdType <S,U><S,U>m,
Unf=Unf{Src=Worker=Roman.$wgo, TopLvl=True, Arity=2, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
......@@ -126,7 +126,7 @@ Roman.foo :: GHC.Types.Int -> GHC.Types.Int
[GblId,
Arity=1,
Caf=NoCafRefs,
Str=DmdType S(A)m,
Str=DmdType <S,U>m,
Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
ConLike=True, WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment