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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 {- nonrec -}
   8 AbsBinds
   9 [t{-aY0-}]
  10 [d.Num_aY7, d.Ord_aYc]
  11 [([t{-aY0-}], f3{-r3A,x-}, f3_aXr)]
  12     +_a100 =
  13         PrelBase.+{-rcZ,p-}
  14             t{-aY0-}
  15             d.Num_aY7
  16     d.Num_aYa =
  17         d.Num_aY7
  18     fromInt_aZZ =
  19         PrelBase.fromInt{-8R,p-}
  20             t{-aY0-}
  21             d.Num_aYa
  22     lit_aZY =
  23         fromInt_aZZ PrelBase.I#{-5b,p-}{i} 1#
  24     <_aZX =
  25         PrelBase.<{-raS,p-}
  26             t{-aY0-}
  27             d.Ord_aYc
  28     fromInt_aZW =
  29         fromInt_aZZ
  30     lit_aZV =
  31         fromInt_aZW PrelBase.I#{-5b,p-}{i} 3#
  32     d.Ord_aYf =
  33         d.Ord_aYc
  34     >_aZU =
  35         PrelBase.>{-rd6,p-}
  36             t{-aY0-}
  37             d.Ord_aYf
  38     fromInt_aZT =
  39         fromInt_aZZ
  40     lit_aZS =
  41         fromInt_aZT PrelBase.I#{-5b,p-}{i} 2#
  42     f3_aXr
  43         x_r3t   =   (x_r3t +_a100 lit_aZY,
  44                      x_r3t <_aZX lit_aZV,
  45                      g3_r3v
  46                          PrelBase.Bool{-34,p-} PrelBase.True{-5E,p-}{i},
  47                      g3_r3v
  48                          PrelBase.Char{-38,p-} 'c')
  49                 where
  50                     {- nonrec -}
  51                     AbsBinds [a{-aXM-}] [] [([a{-aXM-}], g3_r3v, g3_aXv)]
  52                         g3_aXv
  53                             =   \ y_r3x   ->  if x_r3t >_aZU lit_aZS then
  54                                                   PrelBase.[]{-5i,p-}{i}
  55                                                       a{-aXM-}
  56                                               else
  57                                                   [y_r3x] (a{-aXM-})
  58                     {- nonrec -}
  59 {- nonrec -}
  60 {- nonrec -}
  61 AbsBinds
  62 [t{-aYP-}]
  63 [d.Num_aYW, d.Ord_aZ1]
  64 [([t{-aYP-}], f2{-r3B,x-}, f2_aYi)]
  65     +_a109 =
  66         PrelBase.+{-rcZ,p-}
  67             t{-aYP-}
  68             d.Num_aYW
  69     d.Num_aYZ =
  70         d.Num_aYW
  71     fromInt_a108 =
  72         PrelBase.fromInt{-8R,p-}
  73             t{-aYP-}
  74             d.Num_aYZ
  75     lit_a107 =
  76         fromInt_a108 PrelBase.I#{-5b,p-}{i} 1#
  77     <_a106 =
  78         PrelBase.<{-raS,p-}
  79             t{-aYP-}
  80             d.Ord_aZ1
  81     fromInt_a105 =
  82         fromInt_a108
  83     lit_a104 =
  84         fromInt_a105 PrelBase.I#{-5b,p-}{i} 3#
  85     d.Ord_aZ4 =
  86         d.Ord_aZ1
  87     >_a103 =
  88         PrelBase.>{-rd6,p-}
  89             t{-aYP-}
  90             d.Ord_aZ4
  91     fromInt_a102 =
  92         fromInt_a108
  93     lit_a101 =
  94         fromInt_a102 PrelBase.I#{-5b,p-}{i} 2#
  95     f2_aYi
  96         x_r3l   =   (x_r3l +_a109 lit_a107,
  97                      x_r3l <_a106 lit_a104,
  98                      g2_r3n
  99                          PrelBase.Bool{-34,p-} PrelBase.True{-5E,p-}{i},
 100                      g2_r3n
 101                          PrelBase.Char{-38,p-} 'c')
 102                 where
 103                     {- nonrec -}
 104                     AbsBinds [a{-aYr-}] [] [([a{-aYr-}], g2_r3n, g2_aYo)]
 105                         g2_aYo
 106                             y_r3r   =   if x_r3l >_a103 lit_a101 then
 107                                             PrelBase.[]{-5i,p-}{i}
 108                                                 a{-aYr-}
 109                                         else
 110                                             [y_r3r] (a{-aYr-})
 111                     {- nonrec -}
 112 {- nonrec -}
 113 {- nonrec -}
 114 AbsBinds
 115 [t{-aZC-}]
 116 [d.Num_aZJ, d.Ord_aZO]
 117 [([t{-aZC-}], f{-r3C,x-}, f_aZ7)]
 118     +_a10j =
 119         PrelBase.+{-rcZ,p-}
 120             t{-aZC-}
 121             d.Num_aZJ
 122     d.Num_aZM =
 123         d.Num_aZJ
 124     fromInt_a10i =
 125         PrelBase.fromInt{-8R,p-}
 126             t{-aZC-}
 127             d.Num_aZM
 128     lit_a10h =
 129         fromInt_a10i PrelBase.I#{-5b,p-}{i} 1#
 130     <_a10g =
 131         PrelBase.<{-raS,p-}
 132             t{-aZC-}
 133             d.Ord_aZO
 134     fromInt_a10f =
 135         fromInt_a10i
 136     lit_a10e =
 137         fromInt_a10f PrelBase.I#{-5b,p-}{i} 3#
 138     d.Ord_aZR =
 139         d.Ord_aZO
 140     >_a10d =
 141         PrelBase.>{-rd6,p-}
 142             t{-aZC-}
 143             d.Ord_aZR
 144     fromInt_a10c =
 145         fromInt_a10i
 146     lit_a10a =
 147         fromInt_a10c PrelBase.I#{-5b,p-}{i} 2#
 148     f_aZ7
 149         x_r3f   =   (x_r3f +_a10j lit_a10h,
 150                      x_r3f <_a10g lit_a10e,
 151                      g_r3h
 152                          PrelBase.Bool{-34,p-} PrelBase.True{-5E,p-}{i},
 153                      g_r3h
 154                          PrelBase.Char{-38,p-} 'c')
 155                 where
 156                     {- nonrec -}
 157                     AbsBinds [t{-aZn-}] [] [([t{-aZn-}], g_r3h, g_aZb)]
 158                         g_aZb
 159                             y_r3j   =   if x_r3f >_a10d lit_a10a then
 160                                             PrelBase.[]{-5i,p-}{i}
 161                                                 t{-aZn-}
 162                                         else
 163                                             [y_r3j] (t{-aZn-})
 164                     {- nonrec -}
 165 {- nonrec -}
 166 ghc: module version changed to 1; reason: no old .hi file
 167 _interface_ ShouldSucceed 1
 168 _instance_modules_
 169 ArrBase IO PrelNum
 170 _usages_
 171 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;
 172 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
 173 PrelTup 1 :: $d11 1 $d15 1 $d2 1 $d51 1;
 174 _exports_
 175 ShouldSucceed f f2 f3;
 176 _declarations_
 177 1 f _:_ _forall_ [a] {PrelBase.Num a, PrelBase.Ord a} => a -> (a, PrelBase.Bool, [PrelBase.Bool], [PrelBase.Char]) ;;
 178 1 f2 _:_ _forall_ [a] {PrelBase.Num a, PrelBase.Ord a} => a -> (a, PrelBase.Bool, [PrelBase.Bool], [PrelBase.Char]) ;;
 179 1 f3 _:_ _forall_ [a] {PrelBase.Num a, PrelBase.Ord a} => a -> (a, PrelBase.Bool, [PrelBase.Bool], [PrelBase.Char]) ;;