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

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc082.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc082.stderr
index e69de29..4dadbce 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_succeed/tc082.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc082.stderr
@@ -0,0 +1,56 @@
+
+
+--================================================================================
+Typechecked:
+{- nonrec -}
+normal{-r3q,x-} =
+    _/\_ a{-r3o-} -> \ tpl_B1 ->
+       tpl_B1
+{- nonrec -}
+AbsBinds
+[a{-avr-}]
+[d.Normal_avk]
+[([a{-avr-}], $mnormal{-ruO,x-}, normal_avm)]
+    AbsBinds [] [] [([], normal_avm, normal_avo)]
+       normal_avo
+           =   GHCerr.noDefaultMethodError{-8k,p-}
+                   (a{-avr-} -> PrelBase.Bool{-34,p-}) "Class Normal Method normal"
+{- rec -}
+AbsBinds
+[a{-avf-}, b{-avg-}]
+[]
+[([a{-avf-}, b{-avg-}], $d1{-rvs,x-}, d.Normal_av9)]
+    AbsBinds [] [] [([], normal_avt, normal_avc)]
+       normal_avc
+           _       =   PrelBase.True{-5E,p-}{i}
+    d.Normal_av9 =
+       ({-dict-} [] [normal_avt])
+{- nonrec -}
+{- nonrec -}
+AbsBinds [t{-auZ-}] [] [([t{-auZ-}], f{-r3p,x-}, f_auN)]
+    d.Normal_av1 =
+       $d1{-rvs,x-}
+           [GHC.Void{-3T,p-}, GHC.Void{-3T,p-}]
+    normal_avu =
+       normal{-r3q,x-}
+           (GHC.Void{-3T,p-} -> GHC.Void{-3T,p-})
+           d.Normal_av1
+    f_auN
+       x_r3f   =   normal_avu PrelBase.id{-raJ,p-}
+                                  GHC.Void{-3T,p-}
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ N 1
+_instance_modules_
+ArrBase IO PrelNum
+_usages_
+PrelBase 1 :: id 1;
+_exports_
+N f Normal(normal);
+_instances_
+instance _forall_ [a b] => {Normal (a -> b)} = $d1;
+_declarations_
+1 $d1 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
+1 $mnormal _:_ _forall_ [a] {Normal a} => a -> PrelBase.Bool ;;
+1 class Normal r3o where {normal :: r3o -> PrelBase.Bool} ;
+1 f _:_ _forall_ [a] => a -> PrelBase.Bool ;;