ghc/tests/typecheck/should_compile/tc080.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [] [] [([], charToInt{-r3R,x-}, charToInt_aZI)]
   3     charToInt_aZI x_r4E
   4                   = (PrelBase.ord{-riq,p-} x_r4E) -_a1a9 (PrelBase.ord{-riq,p-} '0')
   5 AbsBinds [] [] [([], strToInt{-r3Q,x-}, strToInt_aZQ)]
   6     d.Integral_a10U = PrelNum.$d36{-rI6,p-}
   7     strToInt_aZQ x_r4v
   8                  = strToInt'_a1am (PrelList.length{-rz0,p-}
   9                                        PrelBase.Char{-38,W-} x_r4v)
  10                                   -_a1af lit_a1ae
  11                                   x_r4v
  12                  where
  13                      {- rec -}
  14                      AbsBinds
  15                      [ta10t]
  16                      [d.Integral_a10D]
  17                      [([ta10t], strToInt'_r4x, strToInt'_aZT)]
  18                          d.Real_a19W =
  19                              PrelNum.scsel_IntegralPrelNumReal{-a1ar,p-} ta10t d.Integral_a10D
  20                          d.Num_a10G =
  21                              PrelNum.scsel_RealPrelBaseNum{-a1as,p-} ta10t d.Real_a19W
  22                          d.Num_a10C = PrelBase.$d4{-rcO,p-}
  23                          ^_a1aq =
  24                              PrelNum.^{-rAz,p-} [ta10t, PrelBase.Int{-3g,W-}]
  25                                  [d.Num_a10C, d.Integral_a10D]
  26                          -_a1ap = PrelBase.-{-817,p-} ta10t d.Num_a10G
  27                          d.Num_a10J = d.Num_a10G
  28                          fromInt_a1ao = PrelBase.fromInt{-8R,p-} ta10t d.Num_a10J
  29                          lit_a1an = fromInt_a1ao PrelBase.I#{-5b,w-}{i} 1#
  30                          strToInt'_aZT _ PrelBase.[]{-5i,w-}{i} = lit_a1ad
  31                          strToInt'_aZT x_r4A (a_r4B PrelBase.:{-55,w-}{i} l_r4C)
  32                                        = ((charToInt{-r3R,x-} a_r4B) *_a1ab (lit_a1aa ^_a1aq x_r4A))
  33                                          +_a1ac (strToInt'_aZT x_r4A -_a1ap lit_a1an l_r4C)
  34                      {- nonrec -}
  35                      strToInt'_a1am = strToInt'_r4x PrelBase.Int{-3g,W-} d.Integral_a10U
  36                      {- nonrec -}
  37 AbsBinds [ta119] [] [([ta119], span'{-r3O,x-}, span'_a116)]
  38     span'_a116 p_r49 PrelBase.[]{-5i,w-}{i}
  39                = (PrelBase.[]{-5i,w-}{i} ta119, PrelBase.[]{-5i,w-}{i} ta119)
  40     span'_a116 p_r4b (x_r4c PrelBase.:{-55,w-}{i} xs'_r4d)
  41                | p_r4b x_r4c
  42                = fixLeak_r4f [[ta119], ta119] x_r4c
  43                                               span'{-r3O,x-} ta119 p_r4b xs'_r4d
  44                where
  45                    {- nonrec -}
  46                    AbsBinds
  47                    [ta11N, ta11P]
  48                    []
  49                    [([ta11N, ta11P], fixLeak_r4f, fixLeak_a11p)]
  50                        fixLeak_a11p x_r4h (xs_r4i, ys_r4j)
  51                                     = (PrelBase.:{-55,w-}{i} ta11P x_r4h xs_r4i, ys_r4j)
  52                    {- nonrec -}
  53                    {- nonrec -}
  54     span'_a116 _ xs_r4l = (PrelBase.[]{-5i,w-}{i} ta119, xs_r4l)
  55 AbsBinds [] [] [([], lines'{-r3P,x-}, lines'_a125)]
  56     lines'_a125 "" = PrelBase.[]{-5i,w-}{i} [PrelBase.Char{-38,W-}]
  57     lines'_a125 s_r4o
  58                 = plumb_r4q span'{-r3O,x-} PrelBase.Char{-38,W-} /=_a1ag '\n' s_r4o
  59                 where
  60                     {- nonrec -}
  61                     AbsBinds [] [] [([], plumb_r4q, plumb_a12a)]
  62                         plumb_a12a (l_r4s, s'_r4t)
  63                                    = PrelBase.:{-55,w-}{i} [PrelBase.Char{-38,W-}]
  64                                          l_r4s
  65                                          (if PrelList.null{-rz6,p-}
  66                                                  PrelBase.Char{-38,W-} s'_r4t then
  67                                               PrelBase.[]{-5i,w-}{i} [PrelBase.Char{-38,W-}]
  68                                           else
  69                                               lines'{-r3P,x-} PrelList.tail{-rzj,p-}
  70                                                                   PrelBase.Char{-38,W-} s'_r4t)
  71                     {- nonrec -}
  72                     {- nonrec -}
  73 AbsBinds [] [] [([], whiteSpace{-r3N,x-}, whiteSpace_a12H)]
  74     whiteSpace_a12H
  75         = PrelBase.dropWhile{-rhV,p-}
  76               PrelBase.Char{-38,W-} PrelBase.isSpace{-rig,p-}
  77 AbsBinds [] [] [([], seperatedBy{-r3M,x-}, seperatedBy_a12L)]
  78     seperatedBy_a12L ch_r3W PrelBase.[]{-5i,w-}{i}
  79                      = PrelBase.[]{-5i,w-}{i} PrelBase.String{-r5n,p-}
  80     seperatedBy_a12L ch_r3Y xs_r3Z
  81                      = twaddle_r41 ch_r3Y
  82                                    span'{-r3O,x-} PrelBase.Char{-38,W-} \ x_r47
  83                                                                           -> x_r47 /=_a1ai ch_r3Y
  84                                                                         xs_r3Z
  85                      where
  86                          {- nonrec -}
  87                          AbsBinds [] [] [([], twaddle_r41, twaddle_a12S)]
  88                              twaddle_a12S ch_r43 (l_r44, (_ PrelBase.:{-55,w-}{i} r_r45))
  89                                           = PrelBase.:{-55,w-}{i} PrelBase.String{-r5n,p-}
  90                                                 l_r44 (seperatedBy{-r3M,x-} ch_r43 r_r45)
  91                          {- nonrec -}
  92                          {- nonrec -}
  93 AbsBinds
  94 [ta13L]
  95 [d.Parse_a158]
  96 [([ta13L], $d1{-r1al,x-}, d.Parse_a13z)]
  97     d.Parse_a15c = d.Parse_a13z
  98     $mparseFile_a1aC = $mparseFile{-r13C,x-} [ta13L] d.Parse_a15c
  99     d.Parse_a15e = d.Parse_a13z
 100     $mparseLine_a1aB = $mparseLine{-r13I,x-} [ta13L] d.Parse_a15e
 101     d.Parse_a15i = d.Parse_a158
 102     parseLine_a1aA = parseLine{-r4R,x-} ta13L d.Parse_a15i
 103     d.Parse_a15o = d.Parse_a13z
 104     $mparse_a1az = $mparse{-r13H,x-} [ta13L] d.Parse_a15o
 105     d.Parse_a15q = d.Parse_a158
 106     forced_a1ay = forced{-r5P,x-} ta13L d.Parse_a15q
 107     AbsBinds [] [] [([], parseFile_a1ax, parseFile_a13F)]
 108         parseFile_a13F = $mparseFile_a1aC
 109     AbsBinds [] [] [([], parseLine_a1aw, parseLine_a13S)]
 110         parseLine_a13S = $mparseLine_a1aB
 111     AbsBinds [] [] [([], parseType_a1av, parseType_a140)]
 112         parseType_a140 more_r4L
 113                        = (map_a1a8 [PrelBase.String{-r5n,p-}, ta13L] parseLine_a1aA
 114                                                                      seperatedBy{-r3M,x-} ','
 115                                                                                           ++_a1a7
 116                                                                                               PrelBase.Char{-38,W-}
 117                                                                                               l_r4N
 118                                                                                               ",",
 119                           out_r4O)
 120                        where
 121                            {- nonrec -}
 122                            AbsBinds [] [] [([], l_r4N, l_a143), ([], out_r4O, out_a144)]
 123                                (l_a143, (']' PrelBase.:{-55,w-}{i} out_a144))
 124                                    = span'{-r3O,x-} PrelBase.Char{-38,W-} \ x_r4Q
 125                                                                             -> x_r4Q /=_a1a6 ']'
 126                                                                           PrelList.tail{-rzj,p-}
 127                                                                               PrelBase.Char{-38,W-} more_r4L
 128                            {- nonrec -}
 129                            {- nonrec -}
 130     AbsBinds [] [] [([], parse_a1au, parse_a14V)]
 131         parse_a14V = $mparse_a1az
 132     AbsBinds [] [] [([], forced_a1at, forced_a153)]
 133         forced_a153 = PrelList.all{-rwP,p-} ta13L forced_a1ay
 134     d.Parse_a13z =
 135         ({-dict-}
 136          []
 137          [parseFile_a1ax, parseLine_a1aw, parseType_a1av, parse_a1au, forced_a1at])
 138 AbsBinds [] [] [([], $d2{-r1ak,x-}, d.Parse_a15w)]
 139     AbsBinds [] [] [([], parseFile_a1aH, parseFile_a15B)]
 140         parseFile_a15B = $mparseFile_a1a5
 141     AbsBinds [] [] [([], parseLine_a1aG, parseLine_a15L)]
 142         parseLine_a15L = $mparseLine_a1a4
 143     AbsBinds [] [] [([], parseType_a1aF, parseType_a15U)]
 144         parseType_a15U (ch_r4Z PrelBase.:{-55,w-}{i} str_r50)
 145                        = (ch_r4Z, str_r50)
 146     AbsBinds [] [] [([], parse_a1aE, parse_a166)]
 147         parse_a166 = $mparse_a1a3
 148     AbsBinds [] [] [([], forced_a1aD, forced_a16f)]
 149         forced_a16f n_r54 = PrelBase.True{-5E,w-}{i}
 150     d.Parse_a15w =
 151         ({-dict-}
 152          []
 153          [parseFile_a1aH, parseLine_a1aG, parseType_a1aF, parse_a1aE, forced_a1aD])
 154 AbsBinds [] [] [([], $d3{-r1aj,x-}, d.Parse_a16s)]
 155     AbsBinds [] [] [([], parseFile_a1aM, parseFile_a16x)]
 156         parseFile_a16x = $mparseFile_a1a2
 157     AbsBinds [] [] [([], parseLine_a1aL, parseLine_a16H)]
 158         parseLine_a16H = $mparseLine_a1a1
 159     AbsBinds [] [] [([], parseType_a1aK, parseType_a16Q)]
 160         parseType_a16Q str_r5a
 161                        = pl_r5c PrelBase.String{-r5n,p-} span'{-r3O,x-}
 162                                                              PrelBase.Char{-38,W-} PrelBase.isDigit{-ria,p-}
 163                                                                                    str_r5a
 164                        where
 165                            {- nonrec -}
 166                            AbsBinds [ta17b] [] [([ta17b], pl_r5c, pl_a16T)]
 167                                pl_a16T (l_r5e, r_r5f) = (strToInt{-r3Q,x-} l_r5e, r_r5f)
 168                            {- nonrec -}
 169                            {- nonrec -}
 170     AbsBinds [] [] [([], parse_a1aJ, parse_a17k)]
 171         parse_a17k = $mparse_a1a0
 172     AbsBinds [] [] [([], forced_a1aI, forced_a17t)]
 173         forced_a17t n_r5j
 174                     | n_r5j >=_a19Z lit_a19Y = PrelBase.True{-5E,w-}{i}
 175     d.Parse_a16s =
 176         ({-dict-}
 177          []
 178          [parseFile_a1aM, parseLine_a1aL, parseType_a1aK, parse_a1aJ, forced_a1aI])
 179 parseFile{-r5S,x-} =
 180     _/\_ t12 -> \ tpl_B1 ->
 181         case
 182             tpl_B1
 183         of {
 184         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 185         tpl_B1;}
 186 parseLine{-r4R,x-} =
 187     _/\_ t12 -> \ tpl_B1 ->
 188         case
 189             tpl_B1
 190         of {
 191         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 192         tpl_B2;}
 193 parseType{-r5R,x-} =
 194     _/\_ t12 -> \ tpl_B1 ->
 195         case
 196             tpl_B1
 197         of {
 198         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 199         tpl_B3;}
 200 parse{-r5Q,x-} =
 201     _/\_ t12 -> \ tpl_B1 ->
 202         case
 203             tpl_B1
 204         of {
 205         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 206         tpl_B4;}
 207 forced{-r5P,x-} =
 208     _/\_ t12 -> \ tpl_B1 ->
 209         case
 210             tpl_B1
 211         of {
 212         PrelTup.(,,,,){-65,w-}{i} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5  ->
 213         tpl_B5;}
 214 AbsBinds
 215 [ta186]
 216 [d.Parse_a19b]
 217 [([ta186], $mparseFile{-r13C,x-}, parseFile_a1aN), ([ta186],
 218                                                     $mparseLine{-r13I,x-},
 219                                                     parseLine_a1aQ), ([ta186],
 220                                                                       $mparse{-r13H,x-},
 221                                                                       parse_a1aP), ([ta186],
 222                                                                                     $mforced{-r13G,x-},
 223                                                                                     forced_a1aO)]
 224     d.Parse_a19d = d.Parse_a19b
 225     forced_a1aU = forced{-r5P,x-} ta186 d.Parse_a19d
 226     d.Parse_a19h = d.Parse_a19b
 227     parseLine_a1aT = parseLine{-r4R,x-} ta186 d.Parse_a19h
 228     d.Parse_a19j = d.Parse_a19b
 229     parse_a1aS = parse{-r5Q,x-} ta186 d.Parse_a19j
 230     d.Parse_a19l = d.Parse_a19b
 231     parseType_a1aR = parseType{-r5R,x-} ta186 d.Parse_a19l
 232     AbsBinds [] [] [([], parseFile_a1aN, parseFile_a17N)]
 233         parseFile_a17N string_r5A
 234                        | PrelList.all{-rwP,p-} ta186 forced_a1aU x_r5C = x_r5C
 235                        where
 236                            {- nonrec -}
 237                            AbsBinds [] [] [([], x_r5C, x_a17Q)]
 238                                x_a17Q
 239                                    = map_a19X [PrelBase.String{-r5n,p-}, ta186] parseLine_a1aT
 240                                                                                 lines'{-r3P,x-} string_r5A
 241                            {- nonrec -}
 242                            {- nonrec -}
 243     AbsBinds [] [] [([], parseLine_a1aQ, parseLine_a18r)]
 244         parseLine_a18r
 245             = PrelBase..{-rc2,p-}
 246                   [(ta186, PrelBase.String{-r5n,p-}), PrelBase.String{-r5n,p-}, ta186]
 247                   (pl_r5G [ta186, PrelBase.String{-r5n,p-}]) parse_a1aS
 248             where
 249                 {- nonrec -}
 250                 AbsBinds [ta18B, ta18E] [] [([ta18B, ta18E], pl_r5G, pl_a18q)]
 251                     pl_a18q (a_r5I, _) = a_r5I
 252                 {- nonrec -}
 253                 {- nonrec -}
 254     AbsBinds [] [] [([], parse_a1aP, parse_a18V)]
 255         parse_a18V
 256             = PrelBase..{-rc2,p-}
 257                   [PrelBase.String{-r5n,p-}, PrelBase.String{-r5n,p-}, (ta186, PrelBase.String{-r5n,p-})]
 258                   parseType_a1aR whiteSpace{-r3N,x-}
 259     AbsBinds [] [] [([], forced_a1aO, forced_a196)]
 260         forced_a196 x_r5O = PrelBase.True{-5E,w-}{i}
 261 d.Eq_a19n = PrelBase.$d34{-rcI,p-}
 262 /=_a1ai = PrelBase./={-rhx,p-} PrelBase.Char{-38,W-} d.Eq_a19n
 263 d.Eq_a19s = d.Eq_a19n
 264 d.Eq_a19q = PrelBase.$d28{-rcB,p-} PrelBase.Char{-38,W-} d.Eq_a19s
 265 ==_a1ah = PrelBase.=={-8Y,p-} [PrelBase.Char{-38,W-}] d.Eq_a19q
 266 /=_a1ag = /=_a1ai
 267 d.Num_a19u = PrelBase.$d4{-rcO,p-}
 268 -_a1af = PrelBase.-{-817,p-} PrelBase.Int{-3g,W-} d.Num_a19u
 269 lit_a1ae = PrelBase.I#{-5b,w-}{i} 1#
 270 lit_a1ad = PrelBase.I#{-5b,w-}{i} 0#
 271 d.Num_a19x = d.Num_a19u
 272 +_a1ac = PrelBase.+{-rhC,p-} PrelBase.Int{-3g,W-} d.Num_a19x
 273 d.Num_a19z = d.Num_a19u
 274 *_a1ab = PrelBase.*{-rhD,p-} PrelBase.Int{-3g,W-} d.Num_a19z
 275 lit_a1aa = PrelBase.I#{-5b,w-}{i} 10#
 276 -_a1a9 = -_a1af
 277 d.Functor_a19B = PrelBase.$d26{-rcz,p-}
 278 map_a1a8 = PrelBase.map{-rhy,p-} PrelBase.[]{-3j,W-} d.Functor_a19B
 279 d.MonadPlus_a19E = PrelBase.$d23{-rcw,p-}
 280 ++_a1a7 = PrelBase.++{-rhB,p-} PrelBase.[]{-3j,W-} d.MonadPlus_a19E
 281 /=_a1a6 = /=_a1ai
 282 d.Parse_a19H = $d2{-r1ak,x-}
 283 $mparseFile_a1a5 =
 284     $mparseFile{-r13C,x-} PrelBase.Char{-38,W-} d.Parse_a19H
 285 d.Parse_a19K = d.Parse_a19H
 286 $mparseLine_a1a4 =
 287     $mparseLine{-r13I,x-} PrelBase.Char{-38,W-} d.Parse_a19K
 288 d.Parse_a19M = d.Parse_a19H
 289 $mparse_a1a3 = $mparse{-r13H,x-} PrelBase.Char{-38,W-} d.Parse_a19M
 290 d.Parse_a19O = $d3{-r1aj,x-}
 291 $mparseFile_a1a2 =
 292     $mparseFile{-r13C,x-} PrelBase.Int{-3g,W-} d.Parse_a19O
 293 d.Parse_a19R = d.Parse_a19O
 294 $mparseLine_a1a1 =
 295     $mparseLine{-r13I,x-} PrelBase.Int{-3g,W-} d.Parse_a19R
 296 d.Parse_a19T = d.Parse_a19O
 297 $mparse_a1a0 = $mparse{-r13H,x-} PrelBase.Int{-3g,W-} d.Parse_a19T
 298 d.Ord_a19V = PrelBase.$d7{-rda,p-}
 299 >=_a19Z = PrelBase.>={-8Z,p-} PrelBase.Int{-3g,W-} d.Ord_a19V
 300 lit_a19Y = lit_a1ad
 301 map_a19X = map_a1a8
 302
 303
 304 NOTE: Simplifier still going after 4 iterations; bailing out.
 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 ;;