X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc033.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc033.stderr;h=0000000000000000000000000000000000000000;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=26bba1397e7df9b400850db997244616652627a5;hpb=29b46083beaa048af4b4a68e8f96909ac98a639f;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc033.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc033.stderr deleted file mode 100644 index 26bba13..0000000 --- a/ghc/compiler/tests/typecheck/should_succeed/tc033.stderr +++ /dev/null @@ -1,40 +0,0 @@ - - ---================================================================================ -Typechecked: -{- nonrec -} -Twist2{-r4,x-}{i} = - \ tpl_B1 -> - Twist2{-r4,x-}{i} - {tpl_B1} -{- nonrec -} -Twine2{-r8,x-}{i} = - \ tpl_B1 -> - Twine2{-r8,x-}{i} - {tpl_B1} -{- rec -} -AbsBinds [] [] [([], $d1{-rGe,x-}, d.Eval_aG6)] - d.Eval_aG6 = - ({-dict-} [] []) -{- rec -} -AbsBinds [] [] [([], $d2{-rGg,x-}, d.Eval_aGb)] - d.Eval_aGb = - ({-dict-} [] []) -{- nonrec -} -ghc: module version changed to 1; reason: no old .hi file -_interface_ ShouldSucceed 1 -_instance_modules_ -ArrBase IO PrelNum -_usages_ -PrelBase 1 :: $d37 1 $d39 1 $d41 1 $d46 1 Eval 1; -_exports_ -ShouldSucceed F Twine(Twine2) Twist(Twist2); -_instances_ -instance {PrelBase.Eval Twist} = $d1; -instance {PrelBase.Eval Twine} = $d2; -_declarations_ -1 $d1 _:_ {PrelBase.Eval Twist} ;; -1 $d2 _:_ {PrelBase.Eval Twine} ;; -1 type F = Twine ; -1 data Twine = Twine2 Twist ; -1 data Twist = Twist2 Twine ;