[project @ 1997-07-31 02:33:07 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / deriving / drv003.stderr

diff --git a/ghc/compiler/tests/deriving/drv003.stderr b/ghc/compiler/tests/deriving/drv003.stderr
deleted file mode 100644 (file)
index 592f2e6..0000000
--- a/ghc/compiler/tests/deriving/drv003.stderr
+++ /dev/null
@@ -1,184 +0,0 @@
-
-
-================================================================================
-Typechecked:
-{- nonrec -}
-MkBar{-r3E,x-}{i} =
-    _/\_ a{-r3u-} -> \ tpl_B1 tpl_B2 ->
-       MkBar{-r3E,x-}{i}
-           {_@_ a{-r3u-} tpl_B1 tpl_B2}
-{- nonrec -}
-MkFoo{-r3G,x-}{i} =
-    _/\_ a{-r3z-} -> \ tpl_B1 tpl_B2 ->
-       MkFoo{-r3G,x-}{i}
-           {_@_ a{-r3z-} tpl_B1 tpl_B2}
-{- nonrec -}
-C1{-r9,x-}{i} =
-    _/\_ a{-r3B-} b{-r3C-} -> \ tpl_B1 tpl_B2 ->
-       C1{-r9,x-}{i}
-           {_@_ a{-r3B-} _@_ b{-r3C-} tpl_B1 tpl_B2}
-C2{-r8,x-}{i} =
-    _/\_ a{-r3B-} b{-r3C-} -> \ tpl_B1 tpl_B2 ->
-       C2{-r8,x-}{i}
-           {_@_ a{-r3B-} _@_ b{-r3C-} tpl_B1 tpl_B2}
-C3{-rb,x-}{i} =
-    _/\_ a{-r3B-} b{-r3C-} -> \ tpl_B1 ->
-       C3{-rb,x-}{i}
-           {_@_ a{-r3B-} _@_ b{-r3C-} tpl_B1}
-{- nonrec -}
-{- nonrec -}
-{- rec -}
-AbsBinds
-[a{-aHF-}, b{-aHG-}]
-[d.Eq_aIL, d.Ping_aIM, d.Eq_aIN, d.Ping_aIO]
-[([a{-aHF-}, b{-aHG-}], $d3{-rKF,x-}, d.Eq_aHt)]
-    d.Eq_aIU =
-       d.Eq_aIL
-    d.Eq_aIS =
-       $d2{-rKO,x-}
-           a{-aHF-}
-           d.Eq_aIU
-    ==_aKN =
-       PrelBase.=={-8Y,p-}
-           (Foo{-r3H,x-} a{-aHF-})
-           d.Eq_aIS
-    d.Ping_aIY =
-       d.Ping_aIO
-    d.Eq_aIW =
-       $d1{-rKP,x-}
-           b{-aHG-}
-           d.Ping_aIY
-    ==_aKM =
-       PrelBase.=={-8Y,p-}
-           (Bar{-r3F,x-} b{-aHG-})
-           d.Eq_aIW
-    d.Eq_aJ4 =
-       d.Eq_aIN
-    d.Ping_aJ5 =
-       d.Ping_aIO
-    d.Eq_aJ6 =
-       d.Eq_aIL
-    d.Ping_aJ7 =
-       d.Ping_aIM
-    d.Eq_aJ2 =
-       $d3{-rKF,x-}
-           [b{-aHG-}, a{-aHF-}]
-           [d.Eq_aJ4, d.Ping_aJ5, d.Eq_aJ6, d.Ping_aJ7]
-    ==_aKL =
-       PrelBase.=={-8Y,p-}
-           (T{-r3I,x-} b{-aHG-} a{-aHF-})
-           d.Eq_aJ2
-    d.Eq_aJb =
-       d.Eq_aIL
-    d.Ping_aJc =
-       d.Ping_aIM
-    d.Eq_aJd =
-       d.Eq_aIL
-    d.Ping_aJe =
-       d.Ping_aIM
-    d.Eq_aJ9 =
-       $d3{-rKF,x-}
-           [a{-aHF-}, a{-aHF-}]
-           [d.Eq_aJb, d.Ping_aJc, d.Eq_aJd, d.Ping_aJe]
-    ==_aKK =
-       PrelBase.=={-8Y,p-}
-           (T{-r3I,x-} a{-aHF-} a{-aHF-})
-           d.Eq_aJ9
-    ==_aKJ =
-       ==_aKI
-    AbsBinds [] [] [([], ==_aKI, ==_aHw)]
-       ==_aHw
-           (C1{-r9,x-}{i} a1_rGO a2_rGP) (C1{-r9,x-}{i} b1_rGR b2_rGS)
-                   =   (a1_rGO ==_aKN b1_rGR)
-                       PrelBase.&&{-rcW,p-} (a2_rGP ==_aKM b2_rGS)
-       ==_aHw
-           (C2{-r8,x-}{i} a1_rGU a2_rGV) (C2{-r8,x-}{i} b1_rGX b2_rGY)
-                   =   (a1_rGU ==_aKG b1_rGX)
-                       PrelBase.&&{-rcW,p-} (a2_rGV ==_aKL b2_rGY)
-       ==_aHw
-           (C3{-rb,x-}{i} a1_rH0) (C3{-rb,x-}{i} b1_rH2)
-                   =   a1_rH0 ==_aKK b1_rH2
-       ==_aHw
-           a_rH4 b_rH6
-                   =   PrelBase.False{-58,p-}{i}
-    AbsBinds [] [] [([], /=_aKH, /=_aIE)]
-       /=_aIE
-           a_rHa b_rHc
-                   =   PrelBase.not{-r3D,p-}
-                           ==_aKJ
-                               a_rHa b_rHc
-    d.Eq_aHt =
-       ({-dict-} [] [==_aKI, /=_aKH])
-{- rec -}
-AbsBinds [a{-aKB-}] [] [([a{-aKB-}], $d4{-rKR,x-}, d.Eval_aJo)]
-    d.Eval_aJo =
-       ({-dict-} [] [])
-{- rec -}
-AbsBinds [a{-aKC-}] [] [([a{-aKC-}], $d5{-rKT,x-}, d.Eval_aJu)]
-    d.Eval_aJu =
-       ({-dict-} [] [])
-{- rec -}
-AbsBinds
-[a{-aKD-}, b{-aKE-}]
-[]
-[([a{-aKD-}, b{-aKE-}], $d6{-rKV,x-}, d.Eval_aJB)]
-    d.Eval_aJB =
-       ({-dict-} [] [])
-{- rec -}
-AbsBinds
-[b{-aJO-}]
-[d.Ping_aJX]
-[([b{-aJO-}], $d1{-rKP,x-}, d.Eq_aJH)]
-    d.Eq_aK1 =
-       d.Eq_aJH
-    $m==_aKX =
-       PrelBase.$m=={-rcc,p-}
-           (Bar{-r3F,x-} b{-aJO-})
-           d.Eq_aK1
-    d.Eq_aK3 =
-       d.Eq_aJH
-    $m/=_aKW =
-       PrelBase.$m/={-rc9,p-}
-           (Bar{-r3F,x-} b{-aJO-})
-           d.Eq_aK3
-    AbsBinds [] [] [([], ==_aJJ, ==_aJL)]
-       ==_aJL
-           =   $m==_aKX
-    AbsBinds [] [] [([], /=_aJS, /=_aJU)]
-       /=_aJU
-           =   $m/=_aKW
-    d.Eq_aJH =
-       ({-dict-} [] [==_aJJ, /=_aJS])
-{- rec -}
-AbsBinds
-[a{-aKh-}]
-[d.Eq_aKq]
-[([a{-aKh-}], $d2{-rKO,x-}, d.Eq_aKa)]
-    d.Eq_aKu =
-       d.Eq_aKa
-    $m==_aKZ =
-       PrelBase.$m=={-rcc,p-}
-           (Foo{-r3H,x-} a{-aKh-})
-           d.Eq_aKu
-    d.Eq_aKw =
-       d.Eq_aKa
-    $m/=_aKY =
-       PrelBase.$m/={-rc9,p-}
-           (Foo{-r3H,x-} a{-aKh-})
-           d.Eq_aKw
-    AbsBinds [] [] [([], ==_aKc, ==_aKe)]
-       ==_aKe
-           =   $m==_aKZ
-    AbsBinds [] [] [([], /=_aKl, /=_aKn)]
-       /=_aKn
-           =   $m/=_aKY
-    d.Eq_aKa =
-       ({-dict-} [] [==_aKc, /=_aKl])
-{- nonrec -}
-d.Eq_aKA =
-    PrelBase.$d7{-rc2,p-}
-==_aKG =
-    PrelBase.=={-8Y,p-}
-       PrelBase.Int{-3g,p-}
-       d.Eq_aKA
-ghc: module version changed to 1; reason: no old .hi file