[project @ 1997-07-31 00:05:10 by sof]

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc079.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc079.stderr
deleted file mode 100644 (file)
index c26a3f4..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc079.stderr
+++ /dev/null
@@ -1,122 +0,0 @@
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-{- nonrec -}
-op1{-r3F,x-} =
-    _/\_ a{-r3l-} -> \ tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
-op2{-r3E,x-} =
-    _/\_ a{-r3l-} -> \ tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
-{- nonrec -}
-AbsBinds
-[a{-aI8-}]
-[d.Foo_aI2]
-[([a{-aI8-}], $mop1{-rGN,x-}, op1_aIG)]
-    AbsBinds [] [] [([], op1_aIG, op1_aI5)]
-       op1_aI5
-           x_r3u   =   PrelBase.True{-5E,p-}{i}
-AbsBinds
-[a{-aI8-}]
-[d.Foo_aIb]
-[([a{-aI8-}], $mop2{-rGQ,x-}, op2_aIJ)]
-    d.Foo_aIA =
-       d.Foo_aIb
-    op1_aIK =
-       op1{-r3F,x-}
-           a{-aI8-}
-           d.Foo_aIA
-    AbsBinds [b{-aIm-}] [d.Ord_aIw] [([b{-aIm-}], op2_aIJ, op2_aIg)]
-       d.Ord_aIy =
-           d.Ord_aIw
-       <_aIL =
-           PrelBase.<{-rd6,p-}
-               b{-aIm-}
-               d.Ord_aIy
-       op2_aIg
-           x_r3y y_r3A z_r3C
-                   =   if (op1_aIK x_r3y)
-                          PrelBase.&&{-r3D,p-} (y_r3A <_aIL z_r3C) then
-                           y_r3A
-                       else
-                           z_r3C
-{- rec -}
-AbsBinds
-[a{-aGT-}]
-[d.Foo_aHg]
-[([a{-aGT-}], $d1{-rIM,x-}, d.Foo_aGK)]
-    d.Foo_aHi =
-       d.Foo_aGK
-    $mop1_aIO =
-       $mop1{-rGN,x-}
-           [a{-aGT-}]
-           d.Foo_aHi
-    d.Foo_aHk =
-       d.Foo_aGK
-    $mop2_aIN =
-       $mop2{-rGQ,x-}
-           [a{-aGT-}]
-           d.Foo_aHk
-    AbsBinds [] [] [([], op1_aGM, op1_aGP)]
-       op1_aGP
-           =   $mop1_aIO
-    AbsBinds [b{-aH7-}] [d.Ord_aHd] [([b{-aH7-}], op2_aGY, op2_aH1)]
-       d.Ord_aHf =
-           d.Ord_aHd
-       $mop2_aIP =
-           $mop2_aIN
-               b{-aH7-}
-               d.Ord_aHf
-       op2_aH1
-           =   $mop2_aIP
-    d.Foo_aGK =
-       ({-dict-} [] [op1_aGM, op2_aGY])
-{- rec -}
-AbsBinds [] [] [([], $d2{-rIQ,x-}, d.Foo_aHq)]
-    AbsBinds [] [] [([], op1_aHs, op1_aHu)]
-       op1_aHu
-           =   $mop1_aII
-    AbsBinds [b{-aHL-}] [d.Ord_aHR] [([b{-aHL-}], op2_aHC, op2_aHF)]
-       d.Ord_aHV =
-           d.Ord_aHR
-       $mop2_aIR =
-           $mop2_aIH
-               b{-aHL-}
-               d.Ord_aHV
-       op2_aHF
-           =   $mop2_aIR
-    d.Foo_aHq =
-       ({-dict-} [] [op1_aHs, op2_aHC])
-{- nonrec -}
-d.Foo_aIC =
-    $d2{-rIQ,x-}
-$mop1_aII =
-    $mop1{-rGN,x-}
-       PrelBase.Int{-3g,p-}
-       d.Foo_aIC
-d.Foo_aIF =
-    d.Foo_aIC
-$mop2_aIH =
-    $mop2{-rGQ,x-}
-       PrelBase.Int{-3g,p-}
-       d.Foo_aIF
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ Test 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-PrelBase 1 :: $d14 1 $d15 1 $d26 1 $d27 1 $d32 1 $d34 1 $d49 1 $d51 1 $d6 1 $d7 1 && 1 Eq 1 Ord 1 Ordering 1;
-PrelNum 1 :: $d17 1 $d18 1;
-_exports_
-Test Foo(op1 op2);
-_instances_
-instance _forall_ [a] {Foo a} => {Foo [a]} = $d1;
-instance {Foo PrelBase.Int} = $d2;
-_declarations_
-1 $d1 _:_ _forall_ [a] {Foo a} => {Foo [a]} ;;
-1 $d2 _:_ {Foo PrelBase.Int} ;;
-1 $mop1 _:_ _forall_ [a] {Foo a} => a -> PrelBase.Bool ;;
-1 $mop2 _:_ _forall_ [a] {Foo a} => _forall_ [b] {PrelBase.Ord b} => a -> b -> b -> b ;;
-1 class Foo r3l where {op1 :: r3l -> PrelBase.Bool; op2 :: _forall_ [r3p] {PrelBase.Ord r3p} => r3l -> r3p -> r3p -> r3p} ;