ghc/compiler/tests/deSugar/ds029.stderr

   1 Desugared:
   2 Test.f :: for all d, e. <Ord e> -> <Num e> -> d -> e
   3 Test.f =
   4     /\ o79 t102 -> \ dict.103 dict.104 x.107 ->
   5         let
   6           ds.124 =
   7               /\ t108 -> \ dict.109 dict.110 ->
   8                   let dict.111 = dict.110 in
   9                   let dict.112 = dict.111 in
  10                   let dict.113 = dict.112 in
  11                   let dict.114 = dict.113 in
  12                   let dict.115 = dict.114 in
  13                   let dict.116 = dict.109
  14                   in
  15                     let
  16                       {- CoRec -}
  17                       ds.117 =
  18                           case ((< t108) dict.116 y.118 z.119) of {
  19                             True ->
  20                                 MkTuple2!
  21                                     t108
  22                                     t108
  23                                     ((fromInteger t108)
  24                                          dict.115 (MkInteger! 0##))
  25                                     ((fromInteger t108)
  26                                          dict.114 (MkInteger! 1##))
  27                             False ->
  28                                 case ((> t108) dict.109 y.118 z.119) of {
  29                                   True ->
  30                                       MkTuple2!
  31                                           t108
  32                                           t108
  33                                           ((fromInteger t108)
  34                                                dict.113 (MkInteger! 1##))
  35                                           ((fromInteger t108)
  36                                                dict.112 (MkInteger! 2##))
  37                                   False ->
  38                                       MkTuple2!
  39                                           t108
  40                                           t108
  41                                           ((fromInteger t108)
  42                                                dict.111 (MkInteger! 2##))
  43                                           ((fromInteger t108)
  44                                                dict.110 (MkInteger! 3##))
  45                                 }
  46                           }
  47                       y.118 =
  48                           case ds.117 of {
  49                             MkTuple2 y.120 z.121 -> y.120
  50                           }
  51                       z.119 =
  52                           case ds.117 of {
  53                             MkTuple2 y.122 z.123 -> z.123
  54                           }
  55                       {- end CoRec -}
  56                     in  MkTuple2! t108 t108 y.118 z.119 in
  57         let
  58           y.130 =
  59               /\ t125 -> \ dict.126 dict.127 ->
  60                   case ((ds.124 t125) dict.126 dict.127) of {
  61                     MkTuple2 y.128 z.129 -> y.128
  62                   } in
  63         let
  64           z.136 =
  65               /\ t131 -> \ dict.132 dict.133 ->
  66                   case ((ds.124 t131) dict.132 dict.133) of {
  67                     MkTuple2 y.134 z.135 -> z.135
  68                   }
  69         in  (y.130 t102) dict.103 dict.104
  70