summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/spec-inline.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/spec-inline.stderr')
-rw-r--r--testsuite/tests/simplCore/should_compile/spec-inline.stderr101
1 files changed, 62 insertions, 39 deletions
diff --git a/testsuite/tests/simplCore/should_compile/spec-inline.stderr b/testsuite/tests/simplCore/should_compile/spec-inline.stderr
index 09ae2f3ecb..27981eebd4 100644
--- a/testsuite/tests/simplCore/should_compile/spec-inline.stderr
+++ b/testsuite/tests/simplCore/should_compile/spec-inline.stderr
@@ -3,65 +3,78 @@
Result size of Tidy Core = {terms: 172, types: 65, coercions: 0}
-- RHS size: {terms: 2, types: 0, coercions: 0}
-Roman.$trModule2 :: TrName
+Roman.$trModule2 :: GHC.Types.TrName
[GblId,
Caf=NoCafRefs,
Str=DmdType m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
-Roman.$trModule2 = TrNameS "main"#
+Roman.$trModule2 = GHC.Types.TrNameS "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
-Roman.$trModule1 :: TrName
+Roman.$trModule1 :: GHC.Types.TrName
[GblId,
Caf=NoCafRefs,
Str=DmdType m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 20}]
-Roman.$trModule1 = TrNameS "Roman"#
+Roman.$trModule1 = GHC.Types.TrNameS "Roman"#
-- RHS size: {terms: 3, types: 0, coercions: 0}
-Roman.$trModule :: Module
+Roman.$trModule :: GHC.Types.Module
[GblId[ReflectionId],
Caf=NoCafRefs,
Str=DmdType m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
-Roman.$trModule = Module Roman.$trModule2 Roman.$trModule1
+Roman.$trModule =
+ GHC.Types.Module Roman.$trModule2 Roman.$trModule1
-- RHS size: {terms: 2, types: 2, coercions: 0}
Roman.foo3 :: Int
[GblId, Str=DmdType b]
Roman.foo3 =
- patError
- @ 'Lifted @ Int "spec-inline.hs:(19,5)-(29,25)|function go"#
+ Control.Exception.Base.patError
+ @ 'GHC.Types.Lifted
+ @ Int
+ "spec-inline.hs:(19,5)-(29,25)|function go"#
Rec {
-- RHS size: {terms: 55, types: 9, coercions: 0}
-Roman.foo_$s$wgo [Occ=LoopBreaker] :: Int# -> Int# -> Int#
+Roman.foo_$s$wgo [Occ=LoopBreaker]
+ :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int#
[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType <L,U><L,U>]
Roman.foo_$s$wgo =
- \ (sc :: Int#) (sc1 :: Int#) ->
+ \ (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#) ->
let {
- a :: Int#
+ a :: GHC.Prim.Int#
[LclId, Str=DmdType]
- a = +# (+# (+# (+# (+# (+# sc sc) sc) sc) sc) sc) sc } in
- case tagToEnum# @ Bool (<=# sc1 0#) of _ [Occ=Dead] {
+ a =
+ GHC.Prim.+#
+ (GHC.Prim.+#
+ (GHC.Prim.+#
+ (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# sc sc) sc) sc) sc)
+ sc)
+ sc } in
+ case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<=# sc1 0#)
+ of _ [Occ=Dead] {
False ->
- case tagToEnum# @ Bool (<# sc1 100#) of _ [Occ=Dead] {
+ case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# sc1 100#)
+ of _ [Occ=Dead] {
False ->
- case tagToEnum# @ Bool (<# sc1 500#) of _ [Occ=Dead] {
- False -> Roman.foo_$s$wgo (+# a a) (-# sc1 1#);
- True -> Roman.foo_$s$wgo a (-# sc1 3#)
+ case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# sc1 500#)
+ of _ [Occ=Dead] {
+ False -> Roman.foo_$s$wgo (GHC.Prim.+# a a) (GHC.Prim.-# sc1 1#);
+ True -> Roman.foo_$s$wgo a (GHC.Prim.-# sc1 3#)
};
- True -> Roman.foo_$s$wgo sc (-# sc1 2#)
+ True -> Roman.foo_$s$wgo sc (GHC.Prim.-# sc1 2#)
};
True -> 0#
}
end Rec }
-- RHS size: {terms: 74, types: 22, coercions: 0}
-Roman.$wgo [InlPrag=[0]] :: Maybe Int -> Maybe Int -> Int#
+Roman.$wgo [InlPrag=[0]] :: Maybe Int -> Maybe Int -> GHC.Prim.Int#
[GblId,
Arity=2,
Str=DmdType <S,1*U><S,1*U>,
@@ -72,24 +85,33 @@ Roman.$wgo =
case w1 of _ [Occ=Dead] {
Nothing -> case Roman.foo3 of wild1 { };
Just x ->
- case x of _ [Occ=Dead] { I# ipv ->
+ case x of _ [Occ=Dead] { GHC.Types.I# ipv ->
let {
- a :: Int#
+ a :: GHC.Prim.Int#
[LclId, Str=DmdType]
- a = +# (+# (+# (+# (+# (+# ipv ipv) ipv) ipv) ipv) ipv) ipv } in
+ a =
+ GHC.Prim.+#
+ (GHC.Prim.+#
+ (GHC.Prim.+#
+ (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# ipv ipv) ipv) ipv) ipv)
+ ipv)
+ ipv } in
case w of _ [Occ=Dead] {
Nothing -> Roman.foo_$s$wgo a 10#;
Just n ->
- case n of _ [Occ=Dead] { I# x2 ->
- case tagToEnum# @ Bool (<=# x2 0#) of _ [Occ=Dead] {
+ case n of _ [Occ=Dead] { GHC.Types.I# x2 ->
+ case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<=# x2 0#)
+ of _ [Occ=Dead] {
False ->
- case tagToEnum# @ Bool (<# x2 100#) of _ [Occ=Dead] {
+ case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# x2 100#)
+ of _ [Occ=Dead] {
False ->
- case tagToEnum# @ Bool (<# x2 500#) of _ [Occ=Dead] {
- False -> Roman.foo_$s$wgo (+# a a) (-# x2 1#);
- True -> Roman.foo_$s$wgo a (-# x2 3#)
+ case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# x2 500#)
+ of _ [Occ=Dead] {
+ False -> Roman.foo_$s$wgo (GHC.Prim.+# a a) (GHC.Prim.-# x2 1#);
+ True -> Roman.foo_$s$wgo a (GHC.Prim.-# x2 3#)
};
- True -> Roman.foo_$s$wgo ipv (-# x2 2#)
+ True -> Roman.foo_$s$wgo ipv (GHC.Prim.-# x2 2#)
};
True -> 0#
}
@@ -107,10 +129,10 @@ Roman.foo_go [InlPrag=INLINE[0]] :: Maybe Int -> Maybe Int -> Int
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False)
Tmpl= \ (w [Occ=Once] :: Maybe Int) (w1 [Occ=Once] :: Maybe Int) ->
- case Roman.$wgo w w1 of ww { __DEFAULT -> I# ww }}]
+ case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }}]
Roman.foo_go =
\ (w :: Maybe Int) (w1 :: Maybe Int) ->
- case Roman.$wgo w w1 of ww { __DEFAULT -> I# ww }
+ case Roman.$wgo w w1 of ww { __DEFAULT -> GHC.Types.I# ww }
-- RHS size: {terms: 2, types: 0, coercions: 0}
Roman.foo2 :: Int
@@ -119,7 +141,7 @@ Roman.foo2 :: Int
Str=DmdType m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
-Roman.foo2 = I# 6#
+Roman.foo2 = GHC.Types.I# 6#
-- RHS size: {terms: 2, types: 1, coercions: 0}
Roman.foo1 :: Maybe Int
@@ -128,7 +150,7 @@ Roman.foo1 :: Maybe Int
Str=DmdType m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
-Roman.foo1 = Just @ Int Roman.foo2
+Roman.foo1 = GHC.Base.Just @ Int Roman.foo2
-- RHS size: {terms: 11, types: 4, coercions: 0}
foo :: Int -> Int
@@ -140,20 +162,21 @@ foo :: Int -> Int
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
Tmpl= \ (n [Occ=Once!] :: Int) ->
- case n of n1 { I# _ [Occ=Dead] ->
- Roman.foo_go (Just @ Int n1) Roman.foo1
+ case n of n1 { GHC.Types.I# _ [Occ=Dead] ->
+ Roman.foo_go (GHC.Base.Just @ Int n1) Roman.foo1
}}]
foo =
\ (n :: Int) ->
- case n of _ [Occ=Dead] { I# ipv ->
- case Roman.foo_$s$wgo 6# ipv of ww { __DEFAULT -> I# ww }
+ case n of _ [Occ=Dead] { 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" [0]
- forall (sc :: Int#) (sc1 :: Int#).
- Roman.$wgo (Just @ Int (I# sc1)) (Just @ Int (I# sc))
+ forall (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#).
+ Roman.$wgo (GHC.Base.Just @ Int (GHC.Types.I# sc1))
+ (GHC.Base.Just @ Int (GHC.Types.I# sc))
= Roman.foo_$s$wgo sc sc1
View Lorry Controller Status