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

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc078.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc078.stderr
deleted file mode 100644 (file)
index 1baa76e..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc078.stderr
+++ /dev/null
@@ -1,132 +0,0 @@
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-{- nonrec -}
-MkBar{-r3l,x-}{i} =
-    _/\_ a{-r3k-} -> \ tpl_B1 tpl_B2 ->
-       MkBar{-r3l,x-}{i}
-           {_@_ a{-r3k-} tpl_B1 tpl_B2}
-{- rec -}
-AbsBinds [a{-aId-}] [] [([a{-aId-}], $d3{-rIh,x-}, d.Eval_aGn)]
-    d.Eval_aGn =
-       ({-dict-} [] [])
-{- rec -}
-AbsBinds
-[a{-aGA-}]
-[d.Ord_aHn, d.Eq_aHo]
-[([a{-aGA-}], $d1{-rIi,x-}, d.Ord_aGt)]
-    d.Eq_aHp =
-       d.Eq_aHo
-    d.Ord_aHt =
-       d.Ord_aGt
-    $mcompare_aIp =
-       PrelBase.$mcompare{-rbW,p-}
-           (Bar{-r3m,x-} a{-aGA-})
-           d.Ord_aHt
-    d.Ord_aHv =
-       d.Ord_aGt
-    $m<_aIo =
-       PrelBase.$m<{-rbO,p-}
-           (Bar{-r3m,x-} a{-aGA-})
-           d.Ord_aHv
-    d.Ord_aHx =
-       d.Ord_aGt
-    $m<=_aIn =
-       PrelBase.$m<={-rbP,p-}
-           (Bar{-r3m,x-} a{-aGA-})
-           d.Ord_aHx
-    d.Ord_aHz =
-       d.Ord_aGt
-    $m>=_aIm =
-       PrelBase.$m>={-rbS,p-}
-           (Bar{-r3m,x-} a{-aGA-})
-           d.Ord_aHz
-    d.Ord_aHB =
-       d.Ord_aGt
-    $m>_aIl =
-       PrelBase.$m>{-rbR,p-}
-           (Bar{-r3m,x-} a{-aGA-})
-           d.Ord_aHB
-    d.Ord_aHD =
-       d.Ord_aGt
-    $mmax_aIk =
-       PrelBase.$mmax{-rc5,p-}
-           (Bar{-r3m,x-} a{-aGA-})
-           d.Ord_aHD
-    d.Ord_aHF =
-       d.Ord_aGt
-    $mmin_aIj =
-       PrelBase.$mmin{-rc7,p-}
-           (Bar{-r3m,x-} a{-aGA-})
-           d.Ord_aHF
-    AbsBinds [] [] [([], compare_aGv, compare_aGx)]
-       compare_aGx
-           =   $mcompare_aIp
-    AbsBinds [] [] [([], <_aGE, <_aGG)]
-       <_aGG
-           =   $m<_aIo
-    AbsBinds [] [] [([], <=_aGM, <=_aGO)]
-       <=_aGO
-           =   $m<=_aIn
-    AbsBinds [] [] [([], >=_aGU, >=_aGW)]
-       >=_aGW
-           =   $m>=_aIm
-    AbsBinds [] [] [([], >_aH2, >_aH4)]
-       >_aH4
-           =   $m>_aIl
-    AbsBinds [] [] [([], max_aHa, max_aHc)]
-       max_aHc
-           =   $mmax_aIk
-    AbsBinds [] [] [([], min_aHi, min_aHk)]
-       min_aHk
-           =   $mmin_aIj
-    d.Ord_aGt =
-       ({-dict-}
-        [d.Eq_aHp]
-        [compare_aGv, <_aGE, <=_aGM, >=_aGU, >_aH2, max_aHa, min_aHi])
-{- rec -}
-AbsBinds
-[a{-aHW-}]
-[d.Eq_aI5]
-[([a{-aHW-}], $d2{-rIq,x-}, d.Eq_aHP)]
-    d.Eq_aI9 =
-       d.Eq_aHP
-    $m==_aIs =
-       PrelBase.$m=={-rbQ,p-}
-           (Bar{-r3m,x-} a{-aHW-})
-           d.Eq_aI9
-    d.Eq_aIb =
-       d.Eq_aHP
-    $m/=_aIr =
-       PrelBase.$m/={-rbN,p-}
-           (Bar{-r3m,x-} a{-aHW-})
-           d.Eq_aIb
-    AbsBinds [] [] [([], ==_aHR, ==_aHT)]
-       ==_aHT
-           =   $m==_aIs
-    AbsBinds [] [] [([], /=_aI0, /=_aI2)]
-       /=_aI2
-           =   $m/=_aIr
-    d.Eq_aHP =
-       ({-dict-} [] [==_aHR, /=_aI0])
-{- nonrec -}
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ M 1
-_instance_modules_
-ArrBase IO PrelNum
-_usages_
-PrelBase 1 :: $d14 1 $d15 1 $d32 1 $d34 1 $d37 1 $d39 1 $d41 1 $d45 1 $d46 1 $d49 1 $d51 1 $d6 1 $d7 1 Eq 1 Eval 1 Ord 1 Ordering 1;
-PrelNum 1 :: $d17 1 $d18 1;
-_exports_
-M Bar(MkBar);
-_instances_
-instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Ord (Bar a)} = $d1;
-instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (Bar a)} = $d2;
-instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $d3;
-_declarations_
-1 $d1 _:_ _forall_ [a] {PrelBase.Ord a, PrelBase.Eq (Bar a)} => {PrelBase.Ord (Bar a)} ;;
-1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (Bar a)} ;;
-1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
-1 data Bar r3k = MkBar PrelBase.Int r3k ;