Ticket #13643: tPb2.log

File tPb2.log, 3.7 KB (added by Iceland_jack, 3 years ago)
Line 
1*** Core Lint errors : in result of Desugar (after optimization) ***
2<no location info>: warning:
3    In the expression: $fShowT @ 'I @ 'False
4    Kinds don't match in type application:
5    Type variable: a_a1iz :: Interp 'I
6    Arg type: 'False :: Bool
7    xx Bool
8<no location info>: warning:
9    In the expression: print
10                         @ (T ('False |> Sym D:R:Interp[0]))
11                         (($fShowT @ 'I @ 'False)
12                          `cast` ((Show
13                                     (T (Sym
14                                           (Sym (<'False>_N |> <Bool>_N) |> Sym
15                                                                              D:R:Interp[0])))_N)_R
16                                  :: (Show (T 'False) :: Constraint)
17                                     ~R#
18                                     (Show (T ('False |> Sym D:R:Interp[0])) :: Constraint)))
19                         $WMkNat
20    Kind application error in
21      coercion ‘(T (Sym
22                      (Sym (<'False>_N |> <Bool>_N) |> Sym D:R:Interp[0])))_N’
23      Function kind = forall (a_a1hL :: Code). Interp a_a1hL -> Type
24      Arg kinds = [('I, Code), ('False, Bool)]
25*** Offending Program ***
26$cshow_a1m1
27  :: forall (a_a1lU :: Code) (a_a1lV :: Interp a_a1lU).
28     T a_a1lV -> String
29[LclId, Str=DmdType]
30$cshow_a1m1 =
31  \ (@ (a_a1lU :: Code))
32    (@ (a_a1lV :: Interp a_a1lU))
33    _ [Occ=Dead] ->
34    unpackCString# "MkNat"#
35
36Rec {
37$fShowT [InlPrag=[ALWAYS] CONLIKE]
38  :: forall (a_a1iy :: Code) (a_a1iz :: Interp a_a1iy).
39     Show (T a_a1iz)
40[LclIdX[DFunId],
41 Str=DmdType,
42 Unf=DFun: \ (@ (a_a1lU[ssk] :: Code))
43             (@ (a_a1lV[ssk] :: Interp a_a1lU[ssk])) ->
44       C:Show TYPE: T a_a1lV[ssk]
45              $cshowsPrec_a1lY @ a_a1lU[ssk] @ a_a1lV[ssk]
46              $cshow_a1m1 @ a_a1lU[ssk] @ a_a1lV[ssk]
47              $cshowList_a1m6 @ a_a1lU[ssk] @ a_a1lV[ssk]]
48$fShowT =
49  \ (@ (a_a1lU :: Code)) (@ (a_a1lV :: Interp a_a1lU)) ->
50    C:Show
51      @ (T a_a1lV)
52      ($cshowsPrec_a1lY @ a_a1lU @ a_a1lV)
53      ($cshow_a1m1 @ a_a1lU @ a_a1lV)
54      ($cshowList_a1m6 @ a_a1lU @ a_a1lV)
55
56$cshowList_a1m6 [Occ=LoopBreaker]
57  :: forall (a_a1lU :: Code) (a_a1lV :: Interp a_a1lU).
58     [T a_a1lV] -> ShowS
59[LclId, Str=DmdType]
60$cshowList_a1m6 =
61  \ (@ (a_a1lU :: Code)) (@ (a_a1lV :: Interp a_a1lU)) ->
62    $dmshowList @ (T a_a1lV) ($fShowT @ a_a1lU @ a_a1lV)
63
64$cshowsPrec_a1lY [Occ=LoopBreaker]
65  :: forall (a_a1lU :: Code) (a_a1lV :: Interp a_a1lU).
66     Int -> T a_a1lV -> ShowS
67[LclId, Str=DmdType]
68$cshowsPrec_a1lY =
69  \ (@ (a_a1lU :: Code)) (@ (a_a1lV :: Interp a_a1lU)) ->
70    $dmshowsPrec @ (T a_a1lV) ($fShowT @ a_a1lU @ a_a1lV)
71end Rec }
72
73main :: IO ()
74[LclIdX, Str=DmdType]
75main =
76  print
77    @ (T ('False |> Sym D:R:Interp[0]))
78    (($fShowT @ 'I @ 'False)
79     `cast` ((Show
80                (T (Sym (Sym (<'False>_N |> <Bool>_N) |> Sym D:R:Interp[0])))_N)_R
81             :: (Show (T 'False) :: Constraint)
82                ~R#
83                (Show (T ('False |> Sym D:R:Interp[0])) :: Constraint)))
84    $WMkNat
85
86main :: IO ()
87[LclIdX, Str=DmdType]
88main = runMainIO @ () main
89
90$trModule :: Module
91[LclIdX, Str=DmdType]
92$trModule = Module (TrNameS "main"#) (TrNameS "Main"#)
93
94$tc'I :: TyCon
95[LclIdX, Str=DmdType]
96$tc'I =
97  TyCon
98    18413387148986706684##
99    15099435026222685231##
100    $trModule
101    (TrNameS "'I"#)
102
103$tcCode :: TyCon
104[LclIdX, Str=DmdType]
105$tcCode =
106  TyCon
107    2121335897313342709##
108    6653594716069852305##
109    $trModule
110    (TrNameS "Code"#)
111
112$tc'MkNat :: TyCon
113[LclIdX, Str=DmdType]
114$tc'MkNat =
115  TyCon
116    13917116639235936035##
117    2280858369331077905##
118    $trModule
119    (TrNameS "'MkNat"#)
120
121$tcT :: TyCon
122[LclIdX, Str=DmdType]
123$tcT =
124  TyCon
125    8876585617019097639##
126    15055306692851936364##
127    $trModule
128    (TrNameS "T"#)
129
130*** End of Offense ***
131