ghc/compiler/tests/typecheck/should_succeed/tc049.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 d.Eq_a11Z =
   8     PrelBase.$d7{-rcB,p-}
   9 d.Eq_a120 =
  10     PrelBase.$d32{-rc8,p-}
  11 d.Eq_a11X =
  12     PrelTup.$d9{-ry4,p-}
  13         [PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}]
  14         [d.Eq_a11Z, d.Eq_a120]
  15 d.Eq_a11V =
  16     PrelBase.$d27{-rc2,p-}
  17         (PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})
  18         d.Eq_a11X
  19 d.Eq_a11T =
  20     PrelBase.$d27{-rc2,p-}
  21         [(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})]
  22         d.Eq_a11V
  23 ==_a12u =
  24     PrelBase.=={-8Y,p-}
  25         [[(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})]]
  26         d.Eq_a11T
  27 d.Num_a125 =
  28     PrelBase.$d3{-rc5,p-}
  29 fromInt_a12t =
  30     PrelBase.fromInt{-8R,p-}
  31         PrelBase.Int{-3g,p-}
  32         d.Num_a125
  33 lit_a12s =
  34     fromInt_a12t PrelBase.I#{-5b,p-}{i} 1#
  35 fromInt_a12r =
  36     fromInt_a12t
  37 lit_a12q =
  38     fromInt_a12r PrelBase.I#{-5b,p-}{i} 2#
  39 d.Eq_a12b =
  40     PrelBase.$d33{-rc9,p-}
  41 d.Eq_a129 =
  42     PrelBase.$d27{-rc2,p-}
  43         PrelBase.Char{-38,p-}
  44         d.Eq_a12b
  45 ==_a12p =
  46     PrelBase.=={-8Y,p-}
  47         [PrelBase.Char{-38,p-}]
  48         d.Eq_a129
  49 d.Eq_a12i =
  50     d.Eq_a11Z
  51 d.Eq_a12g =
  52     PrelBase.$d27{-rc2,p-}
  53         PrelBase.Int{-3g,p-}
  54         d.Eq_a12i
  55 d.Eq_a12e =
  56     PrelBase.$d27{-rc2,p-}
  57         [PrelBase.Int{-3g,p-}]
  58         d.Eq_a12g
  59 ==_a12o =
  60     PrelBase.=={-8Y,p-}
  61         [[PrelBase.Int{-3g,p-}]]
  62         d.Eq_a12e
  63 lit_a12n =
  64     lit_a12s
  65 lit_a12m =
  66     lit_a12q
  67 fromInt_a12l =
  68     fromInt_a12t
  69 lit_a12j =
  70     fromInt_a12l PrelBase.I#{-5b,p-}{i} 3#
  71 {- nonrec -}
  72 AbsBinds [] [] [([], main3{-r47,x-}, main3_aXA)]
  73     main3_aXA
  74         =   [[lit_a12n] (PrelBase.Int{-3g,p-}),
  75              [lit_a12m] (PrelBase.Int{-3g,p-})] ([PrelBase.Int{-3g,p-}])
  76             ==_a12o [[lit_a12j] (PrelBase.Int{-3g,p-})] ([PrelBase.Int{-3g,p-}])
  77 {- nonrec -}
  78 {- nonrec -}
  79 AbsBinds [] [] [([], main2{-r48,x-}, main2_aYl)]
  80     main2_aYl
  81         =   "Hello" ==_a12p "Goodbye"
  82 {- nonrec -}
  83 {- nonrec -}
  84 AbsBinds [] [] [([], main1{-r49,x-}, main1_aYv)]
  85     main1_aYv
  86         =   [[(lit_a12s,
  87                PrelBase.True{-5E,p-}{i})] ((PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}))] ([(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})])
  88             ==_a12u [[(lit_a12q,
  89                        PrelBase.False{-58,p-}{i})] ((PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}))] ([(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})])
  90 {- nonrec -}
  91 {- rec -}
  92 AbsBinds
  93 [t{-aZp-}]
  94 [d.Eq_aZS]
  95 [([t{-aZp-}], mem3{-r4b,x-}, mem3_aZc), ([t{-aZp-}],
  96                                          mem4{-r4a,x-},
  97                                          mem4_aZd)]
  98     d.Eq_aZQ =
  99         PrelBase.$d27{-rc2,p-}
 100             t{-aZp-}
 101             d.Eq_aZS
 102     ==_a12v =
 103         PrelBase.=={-8Y,p-}
 104             [t{-aZp-}]
 105             d.Eq_aZQ
 106     mem3_aZc
 107         x_r3V PrelBase.[]{-5i,p-}{i}
 108                 =   PrelBase.False{-58,p-}{i}
 109     mem3_aZc
 110         x_r3Y (y_r40 PrelBase.:{-55,p-}{i} ys_r41)
 111                 =   if [x_r3Y] (t{-aZp-}) ==_a12v [y_r40] (t{-aZp-}) then
 112                         mem4_aZd x_r3Y ys_r41
 113                     else
 114                         PrelBase.False{-58,p-}{i}
 115     mem4_aZd
 116         y_r43 (x_r45 PrelBase.:{-55,p-}{i} xs_r46)
 117                 =   mem3_aZc y_r43 xs_r46
 118 {- nonrec -}
 119 {- nonrec -}
 120 AbsBinds [] [] [([], oR1{-r4d,x-}, oR1_aZU)]
 121     oR1_aZU
 122         a_r3J b_r3L
 123                 =   if a_r3J then PrelBase.True{-5E,p-}{i} else b_r3L
 124 {- nonrec -}
 125 {- nonrec -}
 126 AbsBinds [] [] [([], oR{-r4f,x-}, oR_a102)]
 127     oR_a102
 128         a_r3x b_r3z
 129                 =   if a_r3x then PrelBase.True{-5E,p-}{i} else b_r3z
 130 {- nonrec -}
 131 {- rec -}
 132 AbsBinds
 133 [t{-a10n-}]
 134 [d.Eq_a10R]
 135 [([t{-a10n-}], mem2{-r4c,x-}, mem2_a10a), ([t{-a10n-}],
 136                                            mem1{-r4e,x-},
 137                                            mem1_a10b)]
 138     ==_a12x =
 139         PrelBase.=={-8Y,p-}
 140             t{-a10n-}
 141             d.Eq_a10R
 142     ==_a12w =
 143         ==_a12x
 144     mem2_a10a
 145         x_r3N PrelBase.[]{-5i,p-}{i}
 146                 =   PrelBase.False{-58,p-}{i}
 147     mem2_a10a
 148         x_r3Q (y_r3S PrelBase.:{-55,p-}{i} ys_r3T)
 149                 =   (x_r3Q ==_a12x y_r3S) oR{-r4f,x-} (mem1_a10b x_r3Q ys_r3T)
 150     mem1_a10b
 151         x_r3B PrelBase.[]{-5i,p-}{i}
 152                 =   PrelBase.False{-58,p-}{i}
 153     mem1_a10b
 154         x_r3E (y_r3G PrelBase.:{-55,p-}{i} ys_r3H)
 155                 =   (x_r3E ==_a12w y_r3G) oR1{-r4d,x-} (mem2_a10a x_r3E ys_r3H)
 156 {- nonrec -}
 157 {- rec -}
 158 AbsBinds
 159 [t{-a10Z-}]
 160 [d.Eq_a11c]
 161 [([t{-a10Z-}], mem{-r4g,x-}, mem_a10T)]
 162     ==_a12y =
 163         PrelBase.=={-8Y,p-}
 164             t{-a10Z-}
 165             d.Eq_a11c
 166     mem_a10T
 167         x_r3p PrelBase.[]{-5i,p-}{i}
 168                 =   PrelBase.False{-58,p-}{i}
 169     mem_a10T
 170         x_r3s (y_r3u PrelBase.:{-55,p-}{i} ys_r3v)
 171                 =   (x_r3s ==_a12y y_r3u) oR{-r4f,x-} (mem_a10T x_r3s ys_r3v)
 172 {- nonrec -}
 173 {- rec -}
 174 AbsBinds
 175 [riC{-a11y-}]
 176 [d.Ord_a11J, d.Num_a11M]
 177 [([riC{-a11y-}], fib{-r4h,x-}, fib_a11e)]
 178     <=_a12H =
 179         PrelBase.<={-rdK,p-}
 180             riC{-a11y-}
 181             d.Ord_a11J
 182     fromInt_a12G =
 183         PrelBase.fromInt{-8R,p-}
 184             riC{-a11y-}
 185             d.Num_a11M
 186     lit_a12F =
 187         fromInt_a12G PrelBase.I#{-5b,p-}{i} 2#
 188     d.Num_a11O =
 189         d.Num_a11M
 190     +_a12E =
 191         PrelBase.+{-rdD,p-}
 192             riC{-a11y-}
 193             d.Num_a11O
 194     d.Num_a11Q =
 195         d.Num_a11M
 196     -_a12D =
 197         PrelBase.-{-817,p-}
 198             riC{-a11y-}
 199             d.Num_a11Q
 200     fromInt_a12C =
 201         fromInt_a12G
 202     lit_a12B =
 203         fromInt_a12C PrelBase.I#{-5b,p-}{i} 1#
 204     -_a12A =
 205         -_a12D
 206     lit_a12z =
 207         lit_a12F
 208     fib_a11e
 209         n_r3n   =   if n_r3n <=_a12H lit_a12F then
 210                         n_r3n
 211                     else
 212                         (fib_a11e n_r3n -_a12D lit_a12B)
 213                         +_a12E (fib_a11e n_r3n -_a12A lit_a12z)
 214 {- nonrec -}
 215 tc049.hs:27:
 216     Warning: Possibly incomplete patterns
 217         in the definition of function `mem4'
 218 ghc: module version changed to 1; reason: no old .hi file
 219 _interface_ ShouldSucceed 1
 220 _instance_modules_
 221 ArrBase IO PrelNum
 222 _usages_
 223 PrelBase 1 :: $d1 1 $d11 1 $d14 1 $d15 1 $d2 1 $d21 1 $d26 1 $d27 1 $d3 1 $d32 1 $d33 1 $d34 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d45 1 $d46 1 $d49 1 $d50 1 $d51 1 $d54 1 $d55 1 $d6 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
 224 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
 225 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
 226 _exports_
 227 ShouldSucceed fib main1 main2 main3 mem mem1 mem2 mem3 mem4 oR oR1;
 228 _declarations_
 229 1 fib _:_ _forall_ [a] {PrelBase.Ord a, PrelBase.Num a} => a -> a ;;
 230 1 main1 _:_ PrelBase.Bool ;;
 231 1 main2 _:_ PrelBase.Bool ;;
 232 1 main3 _:_ PrelBase.Bool ;;
 233 1 mem _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
 234 1 mem1 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
 235 1 mem2 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
 236 1 mem3 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
 237 1 mem4 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
 238 1 oR _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;
 239 1 oR1 _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;