ghc/tests/typecheck/should_compile/tc092.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _interface_ ShouldSucceed 1 302
   3 _instance_modules_
   4 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
   5 _usages_
   6 PrelBase 1 :: $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalDouble0 1 $dEvalInt0 1 $dEvalOrdering0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdInt0 1 $dOrdOrdering0 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Eval 1 Ord 1 Ordering 1;
   7 PrelNum 1 :: $dEqDouble0 1 $dOrdDouble0 1;
   8 _exports_
   9 ShouldSucceed e0 e1 e2 q Empty(Empty);
  10 _instances_
  11 instance _forall_ [a :: (* -> *)] => {PrelBase.Eval (Empty a)} = $dEvalEmpty0;
  12 _declarations_
  13 1 $dEvalEmpty0 _:_ _forall_ [a :: (* -> *)] => {PrelBase.Eval (Empty a)} ;;
  14 1 data Empty q :: (* -> *) = Empty (_forall_ [a] {PrelBase.Ord a} => q a) ;
  15 1 e0 _:_ Empty PrelBase.[] ;;
  16 1 e1 _:_ Empty PrelBase.[] ;;
  17 1 e2 _:_ Empty PrelBase.[] ;;
  18 1 q _:_ _forall_ [a] {PrelBase.Ord a} => [a] ;;