ghc/tests/typecheck/should_compile/tc080.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [] [] [([], charToInt{-r3R,x-}, charToInt_aZA)]
   6     charToInt_aZA x_r4E
   7                   = (PrelBase.ord{-riq,p-} x_r4E) -_a1a5 (PrelBase.ord{-riq,p-} '0')
   8 AbsBinds [] [] [([], strToInt{-r3Q,x-}, strToInt_aZI)]
   9     d.Integral_a10K = PrelNum.$d36{-rI6,p-}
  10     strToInt_aZI x_r4v
  11                  = strToInt'_a1ai (PrelList.length{-rz0,p-}
  12                                        PrelBase.Char{-38,W-} x_r4v)
  13                                   -_a19Z lit_a1a0
  14                                   x_r4v
  15                  where
  16                      {- rec -}
  17                      AbsBinds
  18                      [ta10j]
  19                      [d.Integral_a10t]
  20                      [([ta10j], strToInt'_r4x, strToInt'_aZL)]
  21                          d.Real_a19S =
  22                              PrelNum.scsel_IntegralPrelNumReal{-a1an,p-} ta10j d.Integral_a10t
  23                          d.Num_a10w =
  24                              PrelNum.scsel_RealPrelBaseNum{-a1ao,p-} ta10j d.Real_a19S
  25                          d.Num_a10s = PrelBase.$d4{-rcO,p-}
  26                          ^_a1aj =
  27                              PrelNum.^{-rAz,p-} [ta10j, PrelBase.Int{-3g,W-}]
  28                                  [d.Num_a10s, d.Integral_a10t]
  29                          -_a1ak = PrelBase.-{-817,p-} ta10j d.Num_a10w
  30                          d.Num_a10z = d.Num_a10w
  31                          fromInt_a1al = PrelBase.fromInt{-8R,p-} ta10j d.Num_a10z
  32                          lit_a1am = fromInt_a1al PrelBase.I#{-5b,w-}{i} 1#
  33                          strToInt'_aZL _ PrelBase.[]{-5i,w-}{i} = lit_a1a1
  34                          strToInt'_aZL x_r4A (a_r4B PrelBase.:{-55,w-}{i} l_r4C)
  35                                        = ((charToInt{-r3R,x-} a_r4B) *_a1a3 (lit_a1a4 ^_a1aj x_r4A))
  36                                          +_a1a2 (strToInt'_aZL x_r4A -_a1ak lit_a1am l_r4C)
  37                      {- nonrec -}
  38                      strToInt'_a1ai = strToInt'_r4x PrelBase.Int{-3g,W-} d.Integral_a10K
  39                      {- nonrec -}
  40 AbsBinds [ta10Z] [] [([ta10Z], span'{-r3O,x-}, span'_a10W)]
  41     span'_a10W p_r49 PrelBase.[]{-5i,w-}{i}
  42                = (PrelBase.[]{-5i,w-}{i} ta10Z, PrelBase.[]{-5i,w-}{i} ta10Z)
  43     span'_a10W p_r4b (x_r4c PrelBase.:{-55,w-}{i} xs'_r4d)
  44                | p_r4b x_r4c
  45                = fixLeak_r4f [[ta10Z], ta10Z] x_r4c
  46                                               span'{-r3O,x-} ta10Z p_r4b xs'_r4d
  47                where
  48                    {- nonrec -}
  49                    AbsBinds
  50                    [ta11F, ta11H]
  51                    []
  52                    [([ta11F, ta11H], fixLeak_r4f, fixLeak_a11j)]
  53                        fixLeak_a11j x_r4h (xs_r4i, ys_r4j)
  54                                     = (PrelBase.:{-55,w-}{i} ta11H x_r4h xs_r4i, ys_r4j)
  55                    {- nonrec -}
  56                    {- nonrec -}
  57     span'_a10W _ xs_r4l = (PrelBase.[]{-5i,w-}{i} ta10Z, xs_r4l)
  58 AbsBinds [] [] [([], lines'{-r3P,x-}, lines'_a121)]
  59     lines'_a121 "" = PrelBase.[]{-5i,w-}{i} [PrelBase.Char{-38,W-}]
  60     lines'_a121 s_r4o
  61                 = plumb_r4q span'{-r3O,x-} PrelBase.Char{-38,W-} /=_a19Y '\n' s_r4o
  62                 where
  63                     {- nonrec -}
  64                     AbsBinds [] [] [([], plumb_r4q, plumb_a126)]
  65                         plumb_a126 (l_r4s, s'_r4t)
  66                                    = PrelBase.:{-55,w-}{i} [PrelBase.Char{-38,W-}]
  67                                          l_r4s
  68                                          (if PrelList.null{-rz6,p-}
  69                                                  PrelBase.Char{-38,W-} s'_r4t then
  70                                               PrelBase.[]{-5i,w-}{i} [PrelBase.Char{-38,W-}]
  71                                           else
  72                                               lines'{-r3P,x-} PrelList.tail{-rzj,p-}
  73                                                                   PrelBase.Char{-38,W-} s'_r4t)
  74                     {- nonrec -}
  75                     {- nonrec -}
  76 AbsBinds [] [] [([], whiteSpace{-r3N,x-}, whiteSpace_a12C)]
  77     whiteSpace_a12C
  78         = PrelBase.dropWhile{-rhV,p-}
  79               PrelBase.Char{-38,W-} PrelBase.isSpace{-rig,p-}
  80 AbsBinds [] [] [([], seperatedBy{-r3M,x-}, seperatedBy_a12G)]
  81     seperatedBy_a12G ch_r3W PrelBase.[]{-5i,w-}{i}
  82                      = PrelBase.[]{-5i,w-}{i} PrelBase.String{-r5n,p-}
  83     seperatedBy_a12G ch_r3Y xs_r3Z
  84                      = twaddle_r41 ch_r3Y
  85                                    span'{-r3O,x-} PrelBase.Char{-38,W-} \ x_r47
  86                                                                           -> x_r47 /=_a19W ch_r3Y
  87                                                                         xs_r3Z
  88                      where
  89                          {- nonrec -}
  90                          AbsBinds [] [] [([], twaddle_r41, twaddle_a12N)]
  91                              twaddle_a12N ch_r43 (l_r44, (_ PrelBase.:{-55,w-}{i} r_r45))
  92                                           = PrelBase.:{-55,w-}{i} PrelBase.String{-r5n,p-}
  93                                                 l_r44 (seperatedBy{-r3M,x-} ch_r43 r_r45)
  94                          {- nonrec -}
  95                          {- nonrec -}
  96 AbsBinds
  97 [ta13E]
  98 [d.Parse_a154]
  99 [([ta13E], $d1{-r19T,x-}, d.Parse_a13s)]
 100     d.Parse_a158 = d.Parse_a13s
 101     $mparseFile_a1ap = $mparseFile{-r13v,x-} [ta13E] d.Parse_a158
 102     d.Parse_a15a = d.Parse_a13s
 103     $mparseLine_a1aq = $mparseLine{-r13z,x-} [ta13E] d.Parse_a15a
 104     d.Parse_a15e = d.Parse_a154
 105     parseLine_a1ar = parseLine{-r4R,x-} ta13E d.Parse_a15e
 106     d.Parse_a15k = d.Parse_a13s
 107     $mparse_a1as = $mparse{-r13A,x-} [ta13E] d.Parse_a15k
 108     d.Parse_a15m = d.Parse_a154
 109     forced_a1at = forced{-r5S,x-} ta13E d.Parse_a15m
 110     AbsBinds [] [] [([], parseFile_a1au, parseFile_a13y)]
 111         parseFile_a13y = $mparseFile_a1ap
 112     AbsBinds [] [] [([], parseLine_a1av, parseLine_a13L)]
 113         parseLine_a13L = $mparseLine_a1aq
 114     AbsBinds [] [] [([], parseType_a1aw, parseType_a13T)]
 115         parseType_a13T more_r4L
 116                        = (map_a1a6 [PrelBase.String{-r5n,p-}, ta13E] parseLine_a1ar
 117                                                                      seperatedBy{-r3M,x-} ','
 118                                                                                           ++_a1a7
 119                                                                                               PrelBase.Char{-38,W-}
 120                                                                                               l_r4N
 121                                                                                               ",",
 122                           out_r4O)
 123                        where
 124                            {- nonrec -}
 125                            AbsBinds [] [] [([], l_r4N, l_a13W), ([], out_r4O, out_a13X)]
 126                                (l_a13W, (']' PrelBase.:{-55,w-}{i} out_a13X))
 127                                    = span'{-r3O,x-} PrelBase.Char{-38,W-} \ x_r4Q
 128                                                                             -> x_r4Q /=_a1a8 ']'
 129                                                                           PrelList.tail{-rzj,p-}
 130                                                                               PrelBase.Char{-38,W-} more_r4L
 131                            {- nonrec -}
 132                            {- nonrec -}
 133     AbsBinds [] [] [([], parse_a1ax, parse_a14R)]
 134         parse_a14R = $mparse_a1as
 135     AbsBinds [] [] [([], forced_a1ay, forced_a14Z)]
 136         forced_a14Z = PrelList.all{-rwP,p-} ta13E forced_a1at
 137     d.Parse_a13s =
 138         ({-dict-}
 139          []
 140          [parseFile_a1au, parseLine_a1av, parseType_a1aw, parse_a1ax, forced_a1ay])
 141 AbsBinds [] [] [([], $d2{-r19U,x-}, d.Parse_a15s)]
 142     AbsBinds [] [] [([], parseFile_a1az, parseFile_a15x)]
 143         parseFile_a15x = $mparseFile_a1a9
 144     AbsBinds [] [] [([], parseLine_a1aA, parseLine_a15H)]
 145         parseLine_a15H = $mparseLine_a1aa
 146     AbsBinds [] [] [([], parseType_a1aB, parseType_a15Q)]
 147         parseType_a15Q (ch_r4Z PrelBase.:{-55,w-}{i} str_r50)
 148                        = (ch_r4Z, str_r50)
 149     AbsBinds [] [] [([], parse_a1aC, parse_a164)]
 150         parse_a164 = $mparse_a1ab
 151     AbsBinds [] [] [([], forced_a1aD, forced_a16d)]
 152         forced_a16d n_r54 = PrelBase.True{-5E,w-}{i}
 153     d.Parse_a15s =
 154         ({-dict-}
 155          []
 156          [parseFile_a1az, parseLine_a1aA, parseType_a1aB, parse_a1aC, forced_a1aD])
 157 AbsBinds [] [] [([], $d3{-r19V,x-}, d.Parse_a16q)]
 158     AbsBinds [] [] [([], parseFile_a1aE, parseFile_a16v)]
 159         parseFile_a16v = $mparseFile_a1ac
 160     AbsBinds [] [] [([], parseLine_a1aF, parseLine_a16F)]
 161         parseLine_a16F = $mparseLine_a1ad
 162     AbsBinds [] [] [([], parseType_a1aG, parseType_a16O)]
 163         parseType_a16O str_r5a
 164                        = pl_r5c PrelBase.String{-r5n,p-} span'{-r3O,x-}
 165                                                              PrelBase.Char{-38,W-} PrelBase.isDigit{-ria,p-}
 166                                                                                    str_r5a
 167                        where
 168                            {- nonrec -}
 169                            AbsBinds [ta178] [] [([ta178], pl_r5c, pl_a16R)]
 170                                pl_a16R (l_r5e, r_r5f) = (strToInt{-r3Q,x-} l_r5e, r_r5f)
 171                            {- nonrec -}
 172                            {- nonrec -}
 173     AbsBinds [] [] [([], parse_a1aH, parse_a17h)]
 174         parse_a17h = $mparse_a1ae
 175     AbsBinds [] [] [([], forced_a1aI, forced_a17q)]
 176         forced_a17q n_r5j
 177                     | n_r5j >=_a1af lit_a1ag = PrelBase.True{-5E,w-}{i}
 178     d.Parse_a16q =
 179         ({-dict-}
 180          []
 181          [parseFile_a1aE, parseLine_a1aF, parseType_a1aG, parse_a1aH, forced_a1aI])
 182 parseFile{-r5P,x-} =
 183     _/\_ t12 -> \ tpl_B1 ->
 184         case
 185             tpl_B1
 186         of {
 187         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 188         tpl_B1;}
 189 parseLine{-r4R,x-} =
 190     _/\_ t12 -> \ tpl_B1 ->
 191         case
 192             tpl_B1
 193         of {
 194         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 195         tpl_B2;}
 196 parseType{-r5Q,x-} =
 197     _/\_ t12 -> \ tpl_B1 ->
 198         case
 199             tpl_B1
 200         of {
 201         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 202         tpl_B3;}
 203 parse{-r5R,x-} =
 204     _/\_ t12 -> \ tpl_B1 ->
 205         case
 206             tpl_B1
 207         of {
 208         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 209         tpl_B4;}
 210 forced{-r5S,x-} =
 211     _/\_ t12 -> \ tpl_B1 ->
 212         case
 213             tpl_B1
 214         of {
 215         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 216         tpl_B5;}
 217 AbsBinds
 218 [ta182]
 219 [d.Parse_a197]
 220 [([ta182], $mparseFile{-r13v,x-}, parseFile_a1aJ), ([ta182],
 221                                                     $mparseLine{-r13z,x-},
 222                                                     parseLine_a1aO), ([ta182],
 223                                                                       $mparse{-r13A,x-},
 224                                                                       parse_a1aP), ([ta182],
 225                                                                                     $mforced{-r13B,x-},
 226                                                                                     forced_a1aQ)]
 227     d.Parse_a199 = d.Parse_a197
 228     forced_a1aK = forced{-r5S,x-} ta182 d.Parse_a199
 229     d.Parse_a19d = d.Parse_a197
 230     parseLine_a1aL = parseLine{-r4R,x-} ta182 d.Parse_a19d
 231     d.Parse_a19f = d.Parse_a197
 232     parse_a1aM = parse{-r5R,x-} ta182 d.Parse_a19f
 233     d.Parse_a19h = d.Parse_a197
 234     parseType_a1aN = parseType{-r5Q,x-} ta182 d.Parse_a19h
 235     AbsBinds [] [] [([], parseFile_a1aJ, parseFile_a17K)]
 236         parseFile_a17K string_r5A
 237                        | PrelList.all{-rwP,p-} ta182 forced_a1aK x_r5C = x_r5C
 238                        where
 239                            {- nonrec -}
 240                            AbsBinds [] [] [([], x_r5C, x_a17N)]
 241                                x_a17N
 242                                    = map_a1ah [PrelBase.String{-r5n,p-}, ta182] parseLine_a1aL
 243                                                                                 lines'{-r3P,x-} string_r5A
 244                            {- nonrec -}
 245                            {- nonrec -}
 246     AbsBinds [] [] [([], parseLine_a1aO, parseLine_a18o)]
 247         parseLine_a18o
 248             = PrelBase..{-rc2,p-}
 249                   [(ta182, PrelBase.String{-r5n,p-}), PrelBase.String{-r5n,p-}, ta182]
 250                   (pl_r5G [ta182, PrelBase.String{-r5n,p-}]) parse_a1aM
 251             where
 252                 {- nonrec -}
 253                 AbsBinds [ta18v, ta18y] [] [([ta18v, ta18y], pl_r5G, pl_a18n)]
 254                     pl_a18n (a_r5I, _) = a_r5I
 255                 {- nonrec -}
 256                 {- nonrec -}
 257     AbsBinds [] [] [([], parse_a1aP, parse_a18R)]
 258         parse_a18R
 259             = PrelBase..{-rc2,p-}
 260                   [PrelBase.String{-r5n,p-}, PrelBase.String{-r5n,p-}, (ta182, PrelBase.String{-r5n,p-})]
 261                   parseType_a1aN whiteSpace{-r3N,x-}
 262     AbsBinds [] [] [([], forced_a1aQ, forced_a192)]
 263         forced_a192 x_r5O = PrelBase.True{-5E,w-}{i}
 264 d.Eq_a19j = PrelBase.$d34{-rcI,p-}
 265 /=_a19W = PrelBase./={-rhx,p-} PrelBase.Char{-38,W-} d.Eq_a19j
 266 d.Eq_a19o = d.Eq_a19j
 267 d.Eq_a19m = PrelBase.$d28{-rcB,p-} PrelBase.Char{-38,W-} d.Eq_a19o
 268 ==_a19X = PrelBase.=={-8Y,p-} [PrelBase.Char{-38,W-}] d.Eq_a19m
 269 /=_a19Y = /=_a19W
 270 d.Num_a19q = PrelBase.$d4{-rcO,p-}
 271 -_a19Z = PrelBase.-{-817,p-} PrelBase.Int{-3g,W-} d.Num_a19q
 272 lit_a1a0 = PrelBase.I#{-5b,w-}{i} 1#
 273 lit_a1a1 = PrelBase.I#{-5b,w-}{i} 0#
 274 d.Num_a19t = d.Num_a19q
 275 +_a1a2 = PrelBase.+{-rhC,p-} PrelBase.Int{-3g,W-} d.Num_a19t
 276 d.Num_a19v = d.Num_a19q
 277 *_a1a3 = PrelBase.*{-rhD,p-} PrelBase.Int{-3g,W-} d.Num_a19v
 278 lit_a1a4 = PrelBase.I#{-5b,w-}{i} 10#
 279 -_a1a5 = -_a19Z
 280 d.Functor_a19x = PrelBase.$d26{-rcz,p-}
 281 map_a1a6 = PrelBase.map{-rhy,p-} PrelBase.[]{-3j,W-} d.Functor_a19x
 282 d.MonadPlus_a19A = PrelBase.$d23{-rcw,p-}
 283 ++_a1a7 = PrelBase.++{-rhB,p-} PrelBase.[]{-3j,W-} d.MonadPlus_a19A
 284 /=_a1a8 = /=_a19W
 285 d.Parse_a19D = $d2{-r19U,x-}
 286 $mparseFile_a1a9 =
 287     $mparseFile{-r13v,x-} PrelBase.Char{-38,W-} d.Parse_a19D
 288 d.Parse_a19G = d.Parse_a19D
 289 $mparseLine_a1aa =
 290     $mparseLine{-r13z,x-} PrelBase.Char{-38,W-} d.Parse_a19G
 291 d.Parse_a19I = d.Parse_a19D
 292 $mparse_a1ab = $mparse{-r13A,x-} PrelBase.Char{-38,W-} d.Parse_a19I
 293 d.Parse_a19K = $d3{-r19V,x-}
 294 $mparseFile_a1ac =
 295     $mparseFile{-r13v,x-} PrelBase.Int{-3g,W-} d.Parse_a19K
 296 d.Parse_a19N = d.Parse_a19K
 297 $mparseLine_a1ad =
 298     $mparseLine{-r13z,x-} PrelBase.Int{-3g,W-} d.Parse_a19N
 299 d.Parse_a19P = d.Parse_a19K
 300 $mparse_a1ae = $mparse{-r13A,x-} PrelBase.Int{-3g,W-} d.Parse_a19P
 301 d.Ord_a19R = PrelBase.$d7{-rda,p-}
 302 >=_a1af = PrelBase.>={-8Z,p-} PrelBase.Int{-3g,W-} d.Ord_a19R
 303 lit_a1ag = lit_a1a1
 304 map_a1ah = map_a1a6
 305 ghc: module version changed to 1; reason: no old .hi file
 306 _interface_ ShouldSucceed 1
 307 _instance_modules_
 308 ArrBase IO PrelNum
 309 _usages_
 310 PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d23 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 dropWhile 1 isDigit 1 isSpace 1 ord 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
 311 PrelList 1 :: all 1 length 1 null 1 tail 1;
 312 PrelNum 1 :: $d1 1 $d10 1 $d15 1 $d16 1 $d17 1 $d18 1 $d2 1 $d29 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d36 1 $d37 1 $d38 1 $d39 1 $d5 1 $d6 1 $d7 1 $d8 1 $mdiv 1 $mdivMod 1 $mmod 1 $mquot 1 $mrem 1 ^ 1 Integral 1 Ratio 1 Rational 1 Real 1;
 313 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
 314 _exports_
 315 ShouldSucceed charToInt lines' seperatedBy span' strToInt whiteSpace Parse(parseFile parseLine parseType parse forced);
 316 _instances_
 317 instance _forall_ [a] {Parse a} => {Parse [a]} = $d1;
 318 instance {Parse PrelBase.Char} = $d2;
 319 instance {Parse PrelBase.Int} = $d3;
 320 _declarations_
 321 1 $d1 _:_ _forall_ [a] {Parse a} => {Parse [a]} ;;
 322 1 $d2 _:_ {Parse PrelBase.Char} ;;
 323 1 $d3 _:_ {Parse PrelBase.Int} ;;
 324 1 $mforced _:_ _forall_ [a] {Parse a} => a -> PrelBase.Bool ;;
 325 1 $mparse _:_ _forall_ [a] {Parse a} => PrelBase.String -> (a, PrelBase.String) ;;
 326 1 $mparseFile _:_ _forall_ [a] {Parse a} => PrelBase.String -> [a] ;;
 327 1 $mparseLine _:_ _forall_ [a] {Parse a} => PrelBase.String -> a ;;
 328 1 class Parse a where {parseFile = :: PrelBase.String -> [a]; parseLine = :: PrelBase.String -> a; parseType :: PrelBase.String -> (a, PrelBase.String); parse = :: PrelBase.String -> (a, PrelBase.String); forced = :: a -> PrelBase.Bool} ;
 329 1 charToInt _:_ PrelBase.Char -> PrelBase.Int ;;
 330 1 lines' _:_ [PrelBase.Char] -> [[PrelBase.Char]] ;;
 331 1 seperatedBy _:_ PrelBase.Char -> PrelBase.String -> [PrelBase.String] ;;
 332 1 span' _:_ _forall_ [ta] => (ta -> PrelBase.Bool) -> [ta] -> ([ta], [ta]) ;;
 333 1 strToInt _:_ PrelBase.String -> PrelBase.Int ;;
 334 1 whiteSpace _:_ PrelBase.String -> PrelBase.String ;;