[project @ 1997-05-26 05:37:13 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc081.stderr

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc081.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc081.stderr
index e69de29..9667058 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_succeed/tc081.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc081.stderr
@@ -0,0 +1,179 @@
+
+
+--================================================================================
+Typechecked:
+{- nonrec -}
+{- nonrec -}
+{- nonrec -}
+AbsBinds
+[t{-aY0-}]
+[d.Num_aY7, d.Ord_aYc]
+[([t{-aY0-}], f3{-r3A,x-}, f3_aXr)]
+    +_a100 =
+       PrelBase.+{-rcZ,p-}
+           t{-aY0-}
+           d.Num_aY7
+    d.Num_aYa =
+       d.Num_aY7
+    fromInt_aZZ =
+       PrelBase.fromInt{-8R,p-}
+           t{-aY0-}
+           d.Num_aYa
+    lit_aZY =
+       fromInt_aZZ PrelBase.I#{-5b,p-}{i} 1#
+    <_aZX =
+       PrelBase.<{-raS,p-}
+           t{-aY0-}
+           d.Ord_aYc
+    fromInt_aZW =
+       fromInt_aZZ
+    lit_aZV =
+       fromInt_aZW PrelBase.I#{-5b,p-}{i} 3#
+    d.Ord_aYf =
+       d.Ord_aYc
+    >_aZU =
+       PrelBase.>{-rd6,p-}
+           t{-aY0-}
+           d.Ord_aYf
+    fromInt_aZT =
+       fromInt_aZZ
+    lit_aZS =
+       fromInt_aZT PrelBase.I#{-5b,p-}{i} 2#
+    f3_aXr
+       x_r3t   =   (x_r3t +_a100 lit_aZY,
+                    x_r3t <_aZX lit_aZV,
+                    g3_r3v
+                        PrelBase.Bool{-34,p-} PrelBase.True{-5E,p-}{i},
+                    g3_r3v
+                        PrelBase.Char{-38,p-} 'c')
+               where
+                   {- nonrec -}
+                   AbsBinds [a{-aXM-}] [] [([a{-aXM-}], g3_r3v, g3_aXv)]
+                       g3_aXv
+                           =   \ y_r3x   ->  if x_r3t >_aZU lit_aZS then
+                                                 PrelBase.[]{-5i,p-}{i}
+                                                     a{-aXM-}
+                                             else
+                                                 [y_r3x] (a{-aXM-})
+                   {- nonrec -}
+{- nonrec -}
+{- nonrec -}
+AbsBinds
+[t{-aYP-}]
+[d.Num_aYW, d.Ord_aZ1]
+[([t{-aYP-}], f2{-r3B,x-}, f2_aYi)]
+    +_a109 =
+       PrelBase.+{-rcZ,p-}
+           t{-aYP-}
+           d.Num_aYW
+    d.Num_aYZ =
+       d.Num_aYW
+    fromInt_a108 =
+       PrelBase.fromInt{-8R,p-}
+           t{-aYP-}
+           d.Num_aYZ
+    lit_a107 =
+       fromInt_a108 PrelBase.I#{-5b,p-}{i} 1#
+    <_a106 =
+       PrelBase.<{-raS,p-}
+           t{-aYP-}
+           d.Ord_aZ1
+    fromInt_a105 =
+       fromInt_a108
+    lit_a104 =
+       fromInt_a105 PrelBase.I#{-5b,p-}{i} 3#
+    d.Ord_aZ4 =
+       d.Ord_aZ1
+    >_a103 =
+       PrelBase.>{-rd6,p-}
+           t{-aYP-}
+           d.Ord_aZ4
+    fromInt_a102 =
+       fromInt_a108
+    lit_a101 =
+       fromInt_a102 PrelBase.I#{-5b,p-}{i} 2#
+    f2_aYi
+       x_r3l   =   (x_r3l +_a109 lit_a107,
+                    x_r3l <_a106 lit_a104,
+                    g2_r3n
+                        PrelBase.Bool{-34,p-} PrelBase.True{-5E,p-}{i},
+                    g2_r3n
+                        PrelBase.Char{-38,p-} 'c')
+               where
+                   {- nonrec -}
+                   AbsBinds [a{-aYr-}] [] [([a{-aYr-}], g2_r3n, g2_aYo)]
+                       g2_aYo
+                           y_r3r   =   if x_r3l >_a103 lit_a101 then
+                                           PrelBase.[]{-5i,p-}{i}
+                                               a{-aYr-}
+                                       else
+                                           [y_r3r] (a{-aYr-})
+                   {- nonrec -}
+{- nonrec -}
+{- nonrec -}
+AbsBinds
+[t{-aZC-}]
+[d.Num_aZJ, d.Ord_aZO]
+[([t{-aZC-}], f{-r3C,x-}, f_aZ7)]
+    +_a10j =
+       PrelBase.+{-rcZ,p-}
+           t{-aZC-}
+           d.Num_aZJ
+    d.Num_aZM =
+       d.Num_aZJ
+    fromInt_a10i =
+       PrelBase.fromInt{-8R,p-}
+           t{-aZC-}
+           d.Num_aZM
+    lit_a10h =
+       fromInt_a10i PrelBase.I#{-5b,p-}{i} 1#
+    <_a10g =
+       PrelBase.<{-raS,p-}
+           t{-aZC-}
+           d.Ord_aZO
+    fromInt_a10f =
+       fromInt_a10i
+    lit_a10e =
+       fromInt_a10f PrelBase.I#{-5b,p-}{i} 3#
+    d.Ord_aZR =
+       d.Ord_aZO
+    >_a10d =
+       PrelBase.>{-rd6,p-}
+           t{-aZC-}
+           d.Ord_aZR
+    fromInt_a10c =
+       fromInt_a10i
+    lit_a10a =
+       fromInt_a10c PrelBase.I#{-5b,p-}{i} 2#
+    f_aZ7
+       x_r3f   =   (x_r3f +_a10j lit_a10h,
+                    x_r3f <_a10g lit_a10e,
+                    g_r3h
+                        PrelBase.Bool{-34,p-} PrelBase.True{-5E,p-}{i},
+                    g_r3h
+                        PrelBase.Char{-38,p-} 'c')
+               where
+                   {- nonrec -}
+                   AbsBinds [t{-aZn-}] [] [([t{-aZn-}], g_r3h, g_aZb)]
+                       g_aZb
+                           y_r3j   =   if x_r3f >_a10d lit_a10a then
+                                           PrelBase.[]{-5i,p-}{i}
+                                               t{-aZn-}
+                                       else
+                                           [y_r3j] (t{-aZn-})
+                   {- nonrec -}
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_usages_
+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;
+PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
+PrelTup 1 :: $d11 1 $d15 1 $d2 1 $d51 1;
+_exports_
+ShouldSucceed f f2 f3;
+_declarations_
+1 f _:_ _forall_ [a] {PrelBase.Num a, PrelBase.Ord a} => a -> (a, PrelBase.Bool, [PrelBase.Bool], [PrelBase.Char]) ;;
+1 f2 _:_ _forall_ [a] {PrelBase.Num a, PrelBase.Ord a} => a -> (a, PrelBase.Bool, [PrelBase.Bool], [PrelBase.Char]) ;;
+1 f3 _:_ _forall_ [a] {PrelBase.Num a, PrelBase.Ord a} => a -> (a, PrelBase.Bool, [PrelBase.Bool], [PrelBase.Char]) ;;