X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc046.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc046.stderr;h=0000000000000000000000000000000000000000;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=54a3e3040fea5851ef8c13bbf1710dbf88789920;hpb=29b46083beaa048af4b4a68e8f96909ac98a639f;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc046.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc046.stderr deleted file mode 100644 index 54a3e30..0000000 --- a/ghc/compiler/tests/typecheck/should_succeed/tc046.stderr +++ /dev/null @@ -1,45 +0,0 @@ - - ---================================================================================ -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} ;