Ticket #8774: core.txt

File core.txt, 2.8 KB (added by crockeea, 6 years ago)
Line 
1Main.$splus1 :: Foo.Foo (Foo.Qux GHC.Types.Int)
2[GblId, Str=DmdType b]
3Main.$splus1 =
4  Control.Exception.Base.patError
5    @ (Foo.Foo (Foo.Qux GHC.Types.Int)) "Foo.hs:16:1-38|function plus"
6
7Main.$splus
8  :: Foo.Foo (Foo.Qux GHC.Types.Int)
9     -> Foo.Foo (Foo.Qux GHC.Types.Int)
10     -> Foo.Foo (Foo.Qux GHC.Types.Int)
11[GblId,
12 Arity=2,
13 Str=DmdType SS,
14 Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
15         ConLike=True, WorkFree=True, Expandable=True,
16         Guidance=IF_ARGS [30 30] 110 20}]
17Main.$splus =
18  \ (ds_dFK :: Foo.Foo (Foo.Qux GHC.Types.Int))
19    (ds1_dFL :: Foo.Foo (Foo.Qux GHC.Types.Int)) ->
20    case ds_dFK of _ {
21      Foo.Bar v1_aCI ->
22        case ds1_dFL of _ {
23          Foo.Bar v2_aCJ ->
24            case (Foo.$fNumQux_$c+
25                    @ GHC.Types.Int
26                    GHC.Num.$fNumInt
27                    Data.Vector.Unboxed.Base.$fUnboxInt
28                    v1_aCI
29                    v2_aCJ)
30                 `cast` (<Foo.NTCo:Qux> <GHC.Types.Int> ;
31                          (<Data.Vector.Unboxed.Base.TFCo:R:VectorInt> ;
32                           <Data.Vector.Unboxed.Base.NTCo:R:VectorInt>)
33                         :: Foo.Qux GHC.Types.Int
34                              ~#
35                            Data.Vector.Primitive.Vector GHC.Types.Int)
36            of nt_s1Gs
37            { Data.Vector.Primitive.Vector ipv_s1HP ipv1_s1HQ ipv2_s1HR ->
38            Foo.Bar
39              @ (Foo.Qux GHC.Types.Int)
40              (nt_s1Gs
41               `cast` (Sym <(Data.Vector.Unboxed.Base.NTCo:R:VectorInt)> ;
42                      (Sym <(Data.Vector.Unboxed.Base.TFCo:R:VectorInt)> ;
43                       Sym <(Foo.NTCo:Qux)> <GHC.Types.Int>)
44                       :: Data.Vector.Primitive.Vector GHC.Types.Int
45                            ~#
46                          Foo.Qux GHC.Types.Int))
47            };
48          Foo.Baz ipv_sGe -> Main.$splus1
49        };
50      Foo.Baz ipv_sGg -> Main.$splus1
51    }
52
53Main.main8
54  :: Foo.Foo (Foo.Qux GHC.Types.Int)
55     -> Foo.Foo (Foo.Qux GHC.Types.Int)
56[GblId,
57 Arity=1,
58 Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
59         ConLike=True, WorkFree=True, Expandable=True,
60         Guidance=IF_ARGS [] 20 60}]
61Main.main8 = Main.$splus Main.main_y
62
63Main.main6 :: [Foo.Foo (Foo.Qux GHC.Types.Int)]
64[GblId,
65 Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=False,
66         ConLike=False, WorkFree=False, Expandable=False,
67         Guidance=IF_ARGS [] 30 0}]
68Main.main6 =
69  GHC.List.iterate
70    @ (Foo.Foo (Foo.Qux GHC.Types.Int)) Main.main8 Main.main_y
71
72------ Local rules for imported ids --------
73"SPEC Foo.plus [Foo.Qux GHC.Types.Int]" [ALWAYS]
74    forall ($dNum_X1Cw :: GHC.Num.Num (Foo.Qux GHC.Types.Int)).
75      Foo.plus @ (Foo.Qux GHC.Types.Int) $dNum_X1Cw
76      = Main.$splus