ghc/compiler/tests/typecheck/should_succeed/tc033.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 Twist2{-r4,x-}{i} =
   7     \ tpl_B1 ->
   8         Twist2{-r4,x-}{i}
   9             {tpl_B1}
  10 {- nonrec -}
  11 Twine2{-r8,x-}{i} =
  12     \ tpl_B1 ->
  13         Twine2{-r8,x-}{i}
  14             {tpl_B1}
  15 {- rec -}
  16 AbsBinds [] [] [([], $d1{-rGe,x-}, d.Eval_aG6)]
  17     d.Eval_aG6 =
  18         ({-dict-} [] [])
  19 {- rec -}
  20 AbsBinds [] [] [([], $d2{-rGg,x-}, d.Eval_aGb)]
  21     d.Eval_aGb =
  22         ({-dict-} [] [])
  23 {- nonrec -}
  24 ghc: module version changed to 1; reason: no old .hi file
  25 _interface_ ShouldSucceed 1
  26 _instance_modules_
  27 ArrBase IO PrelNum
  28 _usages_
  29 PrelBase 1 :: $d37 1 $d39 1 $d41 1 $d46 1 Eval 1;
  30 _exports_
  31 ShouldSucceed F Twine(Twine2) Twist(Twist2);
  32 _instances_
  33 instance {PrelBase.Eval Twist} = $d1;
  34 instance {PrelBase.Eval Twine} = $d2;
  35 _declarations_
  36 1 $d1 _:_ {PrelBase.Eval Twist} ;;
  37 1 $d2 _:_ {PrelBase.Eval Twine} ;;
  38 1 type F = Twine ;
  39 1 data Twine = Twine2 Twist ;
  40 1 data Twist = Twist2 Twine ;