[project @ 1997-09-05 14:11:05 by simonm]
[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / ds013.stderr
index 6238e97..9240f59 100644 (file)
 ================================================================================
 Desugared:
 Rec {
-d.Num_a12Q  :: 
-    {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
-{-# L #-}
-d.Num_a12Q =
-    PrelNum.$d16{-rrq,p-}
-+_a19S  :: 
-    PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-{-# L #-}
-+_a19S =
-    PrelBase.+{-rcF,p-}
-       _@_ PrelBase.Double{-3a,p-} d.Num_a12Q
-d.Num_a12T  :: 
-    {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
-{-# L #-}
-d.Num_a12T =
-    d.Num_a12Q
--_a19R  :: 
-    PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-{-# L #-}
--_a19R =
-    PrelBase.-{-817,p-}
-       _@_ PrelBase.Double{-3a,p-} d.Num_a12T
-d.Fractional_a12W  :: 
-    {PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,p-}}
-{-# L #-}
-d.Fractional_a12W =
-    PrelNum.$d14{-rro,p-}
-fromRational_a19Q  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
-{-# L #-}
-fromRational_a19Q =
-    PrelNum.fromRational{-8T,p-}
-       _@_ PrelBase.Double{-3a,p-} d.Fractional_a12W
-lit_a19P  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19P =
-    fromRational_a19Q
-       _rational_  3 2
-fromRational_a19O  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
-{-# L #-}
-fromRational_a19O =
-    fromRational_a19Q
-lit_a19N  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19N =
-    fromRational_a19O
-       _rational_  2 1
-fromRational_a19M  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
-{-# L #-}
-fromRational_a19M =
-    fromRational_a19Q
-lit_a19L  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19L =
-    fromRational_a19M
-       _rational_  62831853 20000000
-d.Num_a131  :: 
-    {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
-{-# L #-}
-d.Num_a131 =
-    d.Num_a12Q
-*_a19K  :: 
-    PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-{-# L #-}
-*_a19K =
-    PrelBase.*{-rU,p-}
-       _@_ PrelBase.Double{-3a,p-} d.Num_a131
-fromRational_a19J  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
-{-# L #-}
-fromRational_a19J =
-    fromRational_a19Q
-lit_a19I  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19I =
-    fromRational_a19J
-       _rational_  21 5
-fromRational_a19H  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Double{-3a,p-}
-{-# L #-}
-fromRational_a19H =
-    fromRational_a19Q
-lit_a19G  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19G =
-    fromRational_a19H
-       _rational_  5111111111111111111111111111 1000000000000000000000000000
-d.Num_a135  :: 
-    {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,p-}}
-{-# L #-}
-d.Num_a135 =
-    PrelNum.$d25{-rrA,p-}
-+_a19F  :: 
-    PrelBase.Float{-3c,p-}
-    -> PrelBase.Float{-3c,p-}
-    -> PrelBase.Float{-3c,p-}
-{-# L #-}
-+_a19F =
-    PrelBase.+{-rcF,p-}
-       _@_ PrelBase.Float{-3c,p-} d.Num_a135
-d.Num_a138  :: 
-    {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,p-}}
-{-# L #-}
-d.Num_a138 =
-    d.Num_a135
--_a19E  :: 
-    PrelBase.Float{-3c,p-}
-    -> PrelBase.Float{-3c,p-}
-    -> PrelBase.Float{-3c,p-}
-{-# L #-}
--_a19E =
-    PrelBase.-{-817,p-}
-       _@_ PrelBase.Float{-3c,p-} d.Num_a138
-d.Fractional_a13b  :: 
-    {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,p-}}
-{-# L #-}
-d.Fractional_a13b =
-    PrelNum.$d23{-rry,p-}
-fromRational_a19D  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
-{-# L #-}
-fromRational_a19D =
-    PrelNum.fromRational{-8T,p-}
-       _@_ PrelBase.Float{-3c,p-} d.Fractional_a13b
-lit_a19C  :: 
-    PrelBase.Float{-3c,p-}
-{-# L #-}
-lit_a19C =
-    fromRational_a19D
-       _rational_  3 2
-fromRational_a19B  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
-{-# L #-}
-fromRational_a19B =
-    fromRational_a19D
-lit_a19A  :: 
-    PrelBase.Float{-3c,p-}
-{-# L #-}
-lit_a19A =
-    fromRational_a19B
-       _rational_  2 1
-fromRational_a19z  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
-{-# L #-}
-fromRational_a19z =
-    fromRational_a19D
-lit_a19y  :: 
-    PrelBase.Float{-3c,p-}
-{-# L #-}
-lit_a19y =
-    fromRational_a19z
-       _rational_  62831853 20000000
-d.Num_a13g  :: 
-    {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,p-}}
-{-# L #-}
-d.Num_a13g =
-    d.Num_a135
-*_a19x  :: 
-    PrelBase.Float{-3c,p-}
-    -> PrelBase.Float{-3c,p-}
-    -> PrelBase.Float{-3c,p-}
-{-# L #-}
-*_a19x =
-    PrelBase.*{-rU,p-}
-       _@_ PrelBase.Float{-3c,p-} d.Num_a13g
-fromRational_a19w  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
-{-# L #-}
-fromRational_a19w =
-    fromRational_a19D
-lit_a19v  :: 
-    PrelBase.Float{-3c,p-}
-{-# L #-}
-lit_a19v =
-    fromRational_a19w
-       _rational_  21 5
-fromRational_a19u  :: 
-    PrelNum.Rational{-3r,p-} -> PrelBase.Float{-3c,p-}
-{-# L #-}
-fromRational_a19u =
-    fromRational_a19D
-lit_a19r  :: 
-    PrelBase.Float{-3c,p-}
-{-# L #-}
-lit_a19r =
-    fromRational_a19u
-       _rational_  5111111111111111111111111111 1000000000000000000000000000
-+_a19q  :: 
-    PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-{-# L #-}
-+_a19q =
-    +_a19S
--_a19p  :: 
-    PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-{-# L #-}
--_a19p =
-    -_a19R
-lit_a19o  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19o =
-    lit_a19P
-lit_a19n  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19n =
-    lit_a19N
-lit_a19m  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19m =
-    lit_a19L
-*_a19l  :: 
-    PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-{-# L #-}
-*_a19l =
-    *_a19K
-lit_a19k  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19k =
-    lit_a19I
-lit_a19j  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-lit_a19j =
-    lit_a19G
-+_a19i  :: 
-    PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-{-# L #-}
-+_a19i =
-    +_a19q
-h_a106  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-h_a106 =
-    let { ds_d1hq  :: 
-             PrelBase.Double{-3a,p-}
++_a14Y  ::  PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+{-# L #-}
++_a14Y =
+    +_a13j
+h_aUa  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+h_aUa =
+    let { ds_d18Q  ::  PrelBase.Double{-3a,W-}
          {-# L #-}
-         ds_d1hq =
+         ds_d18Q =
       let {
-       ds_d1hC  :: 
-           PrelBase.Double{-3a,p-}
+       ds_d192  ::  PrelBase.Double{-3a,W-}
        {-# L #-}
-       ds_d1hC =
-           +_a19i
-               lit_a19o lit_a19n
-      } in 
-       -_a19p
-           ds_d1hC lit_a19m
+       ds_d192 =
+           +_a14Y lit_a13l lit_a13m
+      } in  -_a13k ds_d192 lit_a13n
     } in
     let {
-      ds_d1hu  :: 
-         PrelBase.Double{-3a,p-}
+      ds_d18U  ::  PrelBase.Double{-3a,W-}
       {-# L #-}
-      ds_d1hu =
-         *_a19l
-             lit_a19k lit_a19j
-    } in 
-      +_a19q
-         ds_d1hq ds_d1hu
-h{-r4,x-}  :: 
-    PrelBase.Double{-3a,p-}
+      ds_d18U =
+         *_a13o lit_a13p lit_a13q
+    } in  +_a13j ds_d18Q ds_d18U
+h{-r4,x-}  ::  PrelBase.Double{-3a,W-}
 {-# L #-}
 h{-r4,x-} =
-    h_a106
-+_a1aJ  :: 
-    PrelBase.Float{-3c,p-}
-    -> PrelBase.Float{-3c,p-}
-    -> PrelBase.Float{-3c,p-}
-{-# L #-}
-+_a1aJ =
-    +_a19F
-g_a10L  :: 
-    PrelBase.Float{-3c,p-}
-{-# L #-}
-g_a10L =
-    let { ds_d1ib  :: 
-             PrelBase.Float{-3c,p-}
+    h_aUa
++_a148  ::  PrelBase.Float{-3c,W-}
+           -> PrelBase.Float{-3c,W-}
+           -> PrelBase.Float{-3c,W-}
+{-# L #-}
++_a148 =
+    +_a134
+g_aUB  ::  PrelBase.Float{-3c,W-}
+{-# L #-}
+g_aUB =
+    let { ds_d19B  ::  PrelBase.Float{-3c,W-}
          {-# L #-}
-         ds_d1ib =
+         ds_d19B =
       let {
-       ds_d1in  :: 
-           PrelBase.Float{-3c,p-}
+       ds_d19N  ::  PrelBase.Float{-3c,W-}
        {-# L #-}
-       ds_d1in =
-           +_a1aJ
-               lit_a19C lit_a19A
-      } in 
-       -_a19E
-           ds_d1in lit_a19y
+       ds_d19N =
+           +_a148 lit_a137 lit_a139
+      } in  -_a135 ds_d19N lit_a13b
     } in
     let {
-      ds_d1if  :: 
-         PrelBase.Float{-3c,p-}
+      ds_d19F  ::  PrelBase.Float{-3c,W-}
       {-# L #-}
-      ds_d1if =
-         *_a19x
-             lit_a19v lit_a19r
-    } in 
-      +_a19F
-         ds_d1ib ds_d1if
-g{-r2,x-}  :: 
-    PrelBase.Float{-3c,p-}
+      ds_d19F =
+         *_a13c lit_a13f lit_a13i
+    } in  +_a134 ds_d19B ds_d19F
+g{-r2,x-}  ::  PrelBase.Float{-3c,W-}
 {-# L #-}
 g{-r2,x-} =
-    g_a10L
-+_a1bs  :: 
-    PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-    -> PrelBase.Double{-3a,p-}
-{-# L #-}
-+_a1bs =
-    +_a19S
-f_a11q  :: 
-    PrelBase.Double{-3a,p-}
-{-# L #-}
-f_a11q =
-    let { ds_d1iW  :: 
-             PrelBase.Double{-3a,p-}
+    g_aUB
++_a12R  ::  PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+{-# L #-}
++_a12R =
+    +_a12S
+f_aV2  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+f_aV2 =
+    let { ds_d1am  ::  PrelBase.Double{-3a,W-}
          {-# L #-}
-         ds_d1iW =
+         ds_d1am =
       let {
-       ds_d1j8  :: 
-           PrelBase.Double{-3a,p-}
+       ds_d1ay  ::  PrelBase.Double{-3a,W-}
        {-# L #-}
-       ds_d1j8 =
-           +_a1bs
-               lit_a19P lit_a19N
-      } in 
-       -_a19R
-           ds_d1j8 lit_a19L
+       ds_d1ay =
+           +_a12R lit_a12U lit_a12W
+      } in  -_a12Q ds_d1ay lit_a12Y
     } in
     let {
-      ds_d1j0  :: 
-         PrelBase.Double{-3a,p-}
+      ds_d1aq  ::  PrelBase.Double{-3a,W-}
       {-# L #-}
-      ds_d1j0 =
-         *_a19K
-             lit_a19I lit_a19G
-    } in 
-      +_a19S
-         ds_d1iW ds_d1j0
-f{-r5,x-}  :: 
-    PrelBase.Double{-3a,p-}
+      ds_d1aq =
+         *_a12Z lit_a131 lit_a133
+    } in  +_a12S ds_d1am ds_d1aq
+f{-r5,x-}  ::  PrelBase.Double{-3a,W-}
 {-# L #-}
 f{-r5,x-} =
-    f_a11q
+    f_aV2
+d.Num_aWi  ::  {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,W-}}
+{-# L #-}
+d.Num_aWi =
+    PrelNum.$d16{-rnW,p-}
++_a12S  ::  PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+{-# L #-}
++_a12S =
+    PrelBase.+{-rfj,p-} _@_ PrelBase.Double{-3a,W-} d.Num_aWi
+d.Num_aWl  ::  {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,W-}}
+{-# L #-}
+d.Num_aWl =
+    d.Num_aWi
+-_a12Q  ::  PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+{-# L #-}
+-_a12Q =
+    PrelBase.-{-817,p-} _@_ PrelBase.Double{-3a,W-} d.Num_aWl
+d.Fractional_aWo  ::  {PrelNum.Fractional{-26,p-} PrelBase.Double{-3a,W-}}
+{-# L #-}
+d.Fractional_aWo =
+    PrelNum.$d14{-rnU,p-}
+fromRational_a12T  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Double{-3a,W-}
+{-# L #-}
+fromRational_a12T =
+    PrelNum.fromRational{-8T,p-}
+       _@_ PrelBase.Double{-3a,W-} d.Fractional_aWo
+lit_a12U  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a12U =
+    fromRational_a12T _rational_  3 2
+fromRational_a12V  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Double{-3a,W-}
+{-# L #-}
+fromRational_a12V =
+    fromRational_a12T
+lit_a12W  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a12W =
+    fromRational_a12V _rational_  2 1
+fromRational_a12X  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Double{-3a,W-}
+{-# L #-}
+fromRational_a12X =
+    fromRational_a12T
+lit_a12Y  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a12Y =
+    fromRational_a12X _rational_  62831853 20000000
+d.Num_aWt  ::  {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,W-}}
+{-# L #-}
+d.Num_aWt =
+    d.Num_aWi
+*_a12Z  ::  PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+{-# L #-}
+*_a12Z =
+    PrelBase.*{-rX,p-} _@_ PrelBase.Double{-3a,W-} d.Num_aWt
+fromRational_a130  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Double{-3a,W-}
+{-# L #-}
+fromRational_a130 =
+    fromRational_a12T
+lit_a131  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a131 =
+    fromRational_a130 _rational_  21 5
+fromRational_a132  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Double{-3a,W-}
+{-# L #-}
+fromRational_a132 =
+    fromRational_a12T
+lit_a133  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a133 =
+    fromRational_a132
+       _rational_  5111111111111111111111111111 1000000000000000000000000000
+d.Num_aWx  ::  {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,W-}}
+{-# L #-}
+d.Num_aWx =
+    PrelNum.$d25{-ro6,p-}
++_a134  ::  PrelBase.Float{-3c,W-}
+           -> PrelBase.Float{-3c,W-}
+           -> PrelBase.Float{-3c,W-}
+{-# L #-}
++_a134 =
+    PrelBase.+{-rfj,p-} _@_ PrelBase.Float{-3c,W-} d.Num_aWx
+d.Num_aWA  ::  {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,W-}}
+{-# L #-}
+d.Num_aWA =
+    d.Num_aWx
+-_a135  ::  PrelBase.Float{-3c,W-}
+           -> PrelBase.Float{-3c,W-}
+           -> PrelBase.Float{-3c,W-}
+{-# L #-}
+-_a135 =
+    PrelBase.-{-817,p-} _@_ PrelBase.Float{-3c,W-} d.Num_aWA
+d.Fractional_aWD  ::  {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,W-}}
+{-# L #-}
+d.Fractional_aWD =
+    PrelNum.$d23{-ro4,p-}
+fromRational_a136  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Float{-3c,W-}
+{-# L #-}
+fromRational_a136 =
+    PrelNum.fromRational{-8T,p-}
+       _@_ PrelBase.Float{-3c,W-} d.Fractional_aWD
+lit_a137  ::  PrelBase.Float{-3c,W-}
+{-# L #-}
+lit_a137 =
+    fromRational_a136 _rational_  3 2
+fromRational_a138  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Float{-3c,W-}
+{-# L #-}
+fromRational_a138 =
+    fromRational_a136
+lit_a139  ::  PrelBase.Float{-3c,W-}
+{-# L #-}
+lit_a139 =
+    fromRational_a138 _rational_  2 1
+fromRational_a13a  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Float{-3c,W-}
+{-# L #-}
+fromRational_a13a =
+    fromRational_a136
+lit_a13b  ::  PrelBase.Float{-3c,W-}
+{-# L #-}
+lit_a13b =
+    fromRational_a13a _rational_  62831853 20000000
+d.Num_aWI  ::  {PrelBase.Num{-2c,p-} PrelBase.Float{-3c,W-}}
+{-# L #-}
+d.Num_aWI =
+    d.Num_aWx
+*_a13c  ::  PrelBase.Float{-3c,W-}
+           -> PrelBase.Float{-3c,W-}
+           -> PrelBase.Float{-3c,W-}
+{-# L #-}
+*_a13c =
+    PrelBase.*{-rX,p-} _@_ PrelBase.Float{-3c,W-} d.Num_aWI
+fromRational_a13e  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Float{-3c,W-}
+{-# L #-}
+fromRational_a13e =
+    fromRational_a136
+lit_a13f  ::  PrelBase.Float{-3c,W-}
+{-# L #-}
+lit_a13f =
+    fromRational_a13e _rational_  21 5
+fromRational_a13h  ::  PrelNum.Rational{-3r,p-}
+                      -> PrelBase.Float{-3c,W-}
+{-# L #-}
+fromRational_a13h =
+    fromRational_a136
+lit_a13i  ::  PrelBase.Float{-3c,W-}
+{-# L #-}
+lit_a13i =
+    fromRational_a13h
+       _rational_  5111111111111111111111111111 1000000000000000000000000000
++_a13j  ::  PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+{-# L #-}
++_a13j =
+    +_a12S
+-_a13k  ::  PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+{-# L #-}
+-_a13k =
+    -_a12Q
+lit_a13l  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a13l =
+    lit_a12U
+lit_a13m  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a13m =
+    lit_a12W
+lit_a13n  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a13n =
+    lit_a12Y
+*_a13o  ::  PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+           -> PrelBase.Double{-3a,W-}
+{-# L #-}
+*_a13o =
+    *_a12Z
+lit_a13p  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a13p =
+    lit_a131
+lit_a13q  ::  PrelBase.Double{-3a,W-}
+{-# L #-}
+lit_a13q =
+    lit_a133
 end Rec }