ghc/tests/typecheck/should_compile/tc074.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed B(X Y) T(D C);
   4 _instances_
   5 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (B a)} = $dEqB0;
   6 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} = $dEqT0;
   7 instance _forall_ [a] => {PrelBase.Eval (B a)} = $dEvalB0;
   8 instance _forall_ [a] => {PrelBase.Eval (T a)} = $dEvalT0;
   9 _declarations_
  10 1 $dEqB0 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (B a)} ;;
  11 1 $dEqT0 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} ;;
  12 1 $dEvalB0 _:_ _forall_ [a] => {PrelBase.Eval (B a)} ;;
  13 1 $dEvalT0 _:_ _forall_ [a] => {PrelBase.Eval (T a)} ;;
  14 1 data B b = X |  Y b ;
  15 1 data T a = D (B a) |  C ;