ghc/tests/typecheck/should_compile/tc049.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [] [] [([], main3{-r3W,x-}, main3_aT0)]
   3     main3_aT0
   4         = [[lit_aXN] (PrelBase.Int{-3g,W-}),
   5            [lit_aXM] (PrelBase.Int{-3g,W-})] ([PrelBase.Int{-3g,W-}])
   6           ==_aXO [[lit_aXL] (PrelBase.Int{-3g,W-})] ([PrelBase.Int{-3g,W-}])
   7 AbsBinds [] [] [([], main2{-r3X,x-}, main2_aTs)]
   8     main2_aTs = "Hello" ==_aXP "Goodbye"
   9 AbsBinds [] [] [([], main1{-r3Y,x-}, main1_aTB)]
  10     main1_aTB
  11         = [[(lit_aXR,
  12              PrelBase.True{-5E,w-}{i})] ((PrelBase.Int{-3g,W-}, PrelBase.Bool{-34,W-}))] ([(PrelBase.Int{-3g,W-}, PrelBase.Bool{-34,W-})])
  13           ==_aXS [[(lit_aXQ,
  14                     PrelBase.False{-58,w-}{i})] ((PrelBase.Int{-3g,W-}, PrelBase.Bool{-34,W-}))] ([(PrelBase.Int{-3g,W-}, PrelBase.Bool{-34,W-})])
  15 AbsBinds
  16 [taUC]
  17 [d.Eq_aUX]
  18 [([taUC], mem3{-r40,x-}, mem3_aU9), ([taUC],
  19                                      mem4{-r3Z,x-},
  20                                      mem4_aUa)]
  21     d.Eq_aUV = PrelBase.$d28{-rb4,p-} taUC d.Eq_aUX
  22     ==_aXT = PrelBase.=={-8Y,p-} [taUC] d.Eq_aUV
  23     mem3_aU9 x_r3N PrelBase.[]{-5i,w-}{i} = PrelBase.False{-58,w-}{i}
  24     mem3_aU9 x_r3P (y_r3Q PrelBase.:{-55,w-}{i} ys_r3R)
  25              = if [x_r3P] (taUC) ==_aXT [y_r3Q] (taUC) then
  26                    mem4_aUa x_r3P ys_r3R
  27                else
  28                    PrelBase.False{-58,w-}{i}
  29     mem4_aUa y_r3T (x_r3U PrelBase.:{-55,w-}{i} xs_r3V)
  30              = mem3_aU9 y_r3T xs_r3V
  31 AbsBinds [] [] [([], oR1{-r42,x-}, oR1_aUZ)]
  32     oR1_aUZ a_r3E b_r3F
  33             = if a_r3E then PrelBase.True{-5E,w-}{i} else b_r3F
  34 AbsBinds [] [] [([], oR{-r44,x-}, oR_aVf)]
  35     oR_aVf a_r3v b_r3w
  36            = if a_r3v then PrelBase.True{-5E,w-}{i} else b_r3w
  37 AbsBinds
  38 [taWj]
  39 [d.Eq_aWm]
  40 [([taWj], mem2{-r41,x-}, mem2_aVv), ([taWj],
  41                                      mem1{-r43,x-},
  42                                      mem1_aVw)]
  43     ==_aXV = PrelBase.=={-8Y,p-} taWj d.Eq_aWm
  44     ==_aXU = ==_aXV
  45     mem2_aVv x_r3H PrelBase.[]{-5i,w-}{i} = PrelBase.False{-58,w-}{i}
  46     mem2_aVv x_r3J (y_r3K PrelBase.:{-55,w-}{i} ys_r3L)
  47              = (x_r3J ==_aXV y_r3K) oR{-r44,x-} (mem1_aVw x_r3J ys_r3L)
  48     mem1_aVw x_r3y PrelBase.[]{-5i,w-}{i} = PrelBase.False{-58,w-}{i}
  49     mem1_aVw x_r3A (y_r3B PrelBase.:{-55,w-}{i} ys_r3C)
  50              = (x_r3A ==_aXU y_r3B) oR1{-r42,x-} (mem2_aVv x_r3A ys_r3C)
  51 AbsBinds [taWM] [d.Eq_aWP] [([taWM], mem{-r45,x-}, mem_aWo)]
  52     ==_aXW = PrelBase.=={-8Y,p-} taWM d.Eq_aWP
  53     mem_aWo x_r3p PrelBase.[]{-5i,w-}{i} = PrelBase.False{-58,w-}{i}
  54     mem_aWo x_r3r (y_r3s PrelBase.:{-55,w-}{i} ys_r3t)
  55             = (x_r3r ==_aXW y_r3s) oR{-r44,x-} (mem_aWo x_r3r ys_r3t)
  56 AbsBinds
  57 [taXc]
  58 [d.Ord_aXg, d.Num_aXj]
  59 [([taXc], fib{-r46,x-}, fib_aWR)]
  60     <=_aY5 = PrelBase.<={-rgd,p-} taXc d.Ord_aXg
  61     fromInt_aY4 = PrelBase.fromInt{-8R,p-} taXc d.Num_aXj
  62     lit_aY3 = fromInt_aY4 PrelBase.I#{-5b,w-}{i} 2#
  63     d.Num_aXl = d.Num_aXj
  64     +_aY2 = PrelBase.+{-rg6,p-} taXc d.Num_aXl
  65     d.Num_aXn = d.Num_aXj
  66     -_aY1 = PrelBase.-{-817,p-} taXc d.Num_aXn
  67     fromInt_aY0 = fromInt_aY4
  68     lit_aXZ = fromInt_aY0 PrelBase.I#{-5b,w-}{i} 1#
  69     -_aXY = -_aY1
  70     lit_aXX = lit_aY3
  71     fib_aWR n_r3n
  72             = if n_r3n <=_aY5 lit_aY3 then
  73                   n_r3n
  74               else
  75                   (fib_aWR n_r3n -_aY1 lit_aXZ) +_aY2 (fib_aWR n_r3n -_aXY lit_aXX)
  76 d.Eq_aXw = PrelBase.$d8{-rbE,p-}
  77 d.Eq_aXx = PrelBase.$d33{-rba,p-}
  78 d.Eq_aXu =
  79     PrelTup.$d9{-rwm,p-} [PrelBase.Int{-3g,W-}, PrelBase.Bool{-34,W-}]
  80         [d.Eq_aXw, d.Eq_aXx]
  81 d.Eq_aXs =
  82     PrelBase.$d28{-rb4,p-}
  83         (PrelBase.Int{-3g,W-}, PrelBase.Bool{-34,W-})
  84         d.Eq_aXu
  85 d.Eq_aXq =
  86     PrelBase.$d28{-rb4,p-}
  87         [(PrelBase.Int{-3g,W-}, PrelBase.Bool{-34,W-})]
  88         d.Eq_aXs
  89 ==_aXS =
  90     PrelBase.=={-8Y,p-}
  91         [[(PrelBase.Int{-3g,W-}, PrelBase.Bool{-34,W-})]]
  92         d.Eq_aXq
  93 lit_aXR = PrelBase.I#{-5b,w-}{i} 1#
  94 lit_aXQ = PrelBase.I#{-5b,w-}{i} 2#
  95 d.Eq_aXD = PrelBase.$d34{-rbb,p-}
  96 d.Eq_aXB = PrelBase.$d28{-rb4,p-} PrelBase.Char{-38,W-} d.Eq_aXD
  97 ==_aXP = PrelBase.=={-8Y,p-} [PrelBase.Char{-38,W-}] d.Eq_aXB
  98 d.Eq_aXK = d.Eq_aXw
  99 d.Eq_aXI = PrelBase.$d28{-rb4,p-} PrelBase.Int{-3g,W-} d.Eq_aXK
 100 d.Eq_aXG = PrelBase.$d28{-rb4,p-} [PrelBase.Int{-3g,W-}] d.Eq_aXI
 101 ==_aXO = PrelBase.=={-8Y,p-} [[PrelBase.Int{-3g,W-}]] d.Eq_aXG
 102 lit_aXN = lit_aXR
 103 lit_aXM = lit_aXQ
 104 lit_aXL = PrelBase.I#{-5b,w-}{i} 3#
 105
 106 ghc: module version changed to 1; reason: no old .hi file
 107 _interface_ ShouldSucceed 1
 108 _instance_modules_
 109 ArrBase IO PrelNum
 110 _usages_
 111 PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d27 1 $d28 1 $d3 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 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
 112 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
 113 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
 114 _exports_
 115 ShouldSucceed fib main1 main2 main3 mem mem1 mem2 mem3 mem4 oR oR1;
 116 _declarations_
 117 1 fib _:_ _forall_ [ta] {PrelBase.Ord ta, PrelBase.Num ta} => ta -> ta ;;
 118 1 main1 _:_ PrelBase.Bool ;;
 119 1 main2 _:_ PrelBase.Bool ;;
 120 1 main3 _:_ PrelBase.Bool ;;
 121 1 mem _:_ _forall_ [ta] {PrelBase.Eq ta} => ta -> [ta] -> PrelBase.Bool ;;
 122 1 mem1 _:_ _forall_ [ta] {PrelBase.Eq ta} => ta -> [ta] -> PrelBase.Bool ;;
 123 1 mem2 _:_ _forall_ [ta] {PrelBase.Eq ta} => ta -> [ta] -> PrelBase.Bool ;;
 124 1 mem3 _:_ _forall_ [ta] {PrelBase.Eq ta} => ta -> [ta] -> PrelBase.Bool ;;
 125 1 mem4 _:_ _forall_ [ta] {PrelBase.Eq ta} => ta -> [ta] -> PrelBase.Bool ;;
 126 1 oR _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;
 127 1 oR1 _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;