ghc/compiler/tests/deSugar/ds013.stderr

   1 Desugared:
   2 Tests.f :: for all d. <Fractional d> -> d
   3 Tests.f =
   4     /\ t78 -> \ dict.97 ->
   5         let dict.95 = dict.97 in
   6         let dict.90 = dict.95 in
   7         let dict.87 = dict.90 in
   8         let dict.85 = dict.87 in
   9         let dict.93 = (sdsel.Fractional.Num t78) dict.85 in
  10         let dict.83 = dict.93 in
  11         let dict.81 = dict.83 in
  12         let dict.79 = dict.81 in
  13         let
  14           f.77 =
  15               (+ t78)
  16                   dict.79
  17                   ((- t78)
  18                        dict.81
  19                        ((+ t78)
  20                             dict.83
  21                             ((fromRational t78)
  22                                  dict.85 (MkDouble! 1.5000000000000000##))
  23                             ((fromRational t78)
  24                                  dict.87 (MkDouble! 2.0000000000000000##)))
  25                        ((fromRational t78)
  26                             dict.90 (MkDouble! 3.1415926500000002##)))
  27                   ((* t78)
  28                        dict.93
  29                        ((fromRational t78)
  30                             dict.95 (MkDouble! 4.2000000000000002##))
  31                        ((fromRational t78)
  32                             dict.97 (MkDouble! 5.1111111111111107##)))
  33         in  f.77
  34 dict.103 :: <Num Float>
  35 dict.103 = dfun.Num.Float
  36 dict.105 :: <Num Float>
  37 dict.105 = dfun.Num.Float
  38 dict.107 :: <Num Float>
  39 dict.107 = dfun.Num.Float
  40 dict.109 :: <Fractional Float>
  41 dict.109 = dfun.Fractional.Float
  42 dict.111 :: <Fractional Float>
  43 dict.111 = dfun.Fractional.Float
  44 dict.114 :: <Fractional Float>
  45 dict.114 = dfun.Fractional.Float
  46 dict.117 :: <Num Float>
  47 dict.117 = dfun.Num.Float
  48 dict.119 :: <Fractional Float>
  49 dict.119 = dfun.Fractional.Float
  50 dict.121 :: <Fractional Float>
  51 dict.121 = dfun.Fractional.Float
  52 Tests.g :: Float
  53 Tests.g =
  54     plusFloat
  55         (minusFloat
  56              (plusFloat
  57                   (MkFloat! 1.5000000000000000#) (MkFloat! 2.0000000000000000#))
  58              (MkFloat! 3.1415926500000002#))
  59         (timesFloat
  60              (MkFloat! 4.2000000000000002#) (MkFloat! 5.1111111111111107#))
  61 dict.127 :: <Num Double>
  62 dict.127 = dfun.Num.Double
  63 dict.129 :: <Num Double>
  64 dict.129 = dfun.Num.Double
  65 dict.131 :: <Num Double>
  66 dict.131 = dfun.Num.Double
  67 dict.133 :: <Fractional Double>
  68 dict.133 = dfun.Fractional.Double
  69 dict.135 :: <Fractional Double>
  70 dict.135 = dfun.Fractional.Double
  71 dict.138 :: <Fractional Double>
  72 dict.138 = dfun.Fractional.Double
  73 dict.141 :: <Num Double>
  74 dict.141 = dfun.Num.Double
  75 dict.143 :: <Fractional Double>
  76 dict.143 = dfun.Fractional.Double
  77 dict.145 :: <Fractional Double>
  78 dict.145 = dfun.Fractional.Double
  79 Tests.h :: Double
  80 Tests.h =
  81     plusDouble
  82         (minusDouble
  83              (plusDouble
  84                   (MkDouble! 1.5000000000000000##)
  85                   (MkDouble! 2.0000000000000000##))
  86              (MkDouble! 3.1415926500000002##))
  87         (timesDouble
  88              (MkDouble! 4.2000000000000002##) (MkDouble! 5.1111111111111107##))
  89