[project @ 1997-05-26 05:58:06 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
index e69de29..592f2e6 100644 (file)
--- a/ghc/compiler/tests/deriving/drv003.stderr
+++ b/ghc/compiler/tests/deriving/drv003.stderr
@@ -0,0 +1,184 @@
+
+
+================================================================================
+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