# Ticket #13643: tPb2.log

File tPb2.log, 3.7 KB (added by , 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 | |

36 | Rec { |

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) |

71 | end Rec } |

72 | |

73 | main :: IO () |

74 | [LclIdX, Str=DmdType] |

75 | main = |

76 | |

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 | |

86 | main :: IO () |

87 | [LclIdX, Str=DmdType] |

88 | main = 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 |