+++ /dev/null
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-scsel_BHC{-anH,x-} =
- _/\_ a{-r3g-} -> \ tpl_B1 ->
- case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
-op2{-r3m,x-} =
- _/\_ a{-r3g-} -> \ tpl_B1 ->
- case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
-{- nonrec -}
-AbsBinds
-[a{-anv-}]
-[d.B_ano]
-[([a{-anv-}], $mop2{-rnI,x-}, op2_anq)]
- AbsBinds [] [] [([], op2_anq, op2_ans)]
- op2_ans
- = GHCerr.noDefaultMethodError{-8k,p-}
- (a{-anv-} -> a{-anv-} -> a{-anv-}) "Class B Method op2"
-{- nonrec -}
-op1{-r3o,x-} =
- _/\_ a{-r3l-} -> \ tpl_B1 ->
- tpl_B1
-{- nonrec -}
-AbsBinds
-[a{-anG-}]
-[d.C_anz]
-[([a{-anG-}], $mop1{-rnJ,x-}, op1_anB)]
- AbsBinds [] [] [([], op1_anB, op1_anD)]
- op1_anD
- = GHCerr.noDefaultMethodError{-8k,p-}
- (a{-anG-} -> a{-anG-}) "Class C Method op1"
-{- nonrec -}
-ghc: module version changed to 1; reason: no old .hi file
-_interface_ H 1
-_instance_modules_
-ArrBase IO PrelNum
-_exports_
-H B(op2) C(op1);
-_declarations_
-1 $mop1 _:_ _forall_ [a] {C a} => a -> a ;;
-1 $mop2 _:_ _forall_ [a] {B a} => a -> a -> a ;;
-1 class {C r3g} => B r3g where {op2 :: r3g -> r3g -> r3g} ;
-1 class C r3l where {op1 :: r3l -> r3l} ;