ghc/tests/typecheck/should_compile/tc034.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed g AList(ANull ANode) IntList;
   4 _instances_
   5 instance _forall_ [a] => {PrelBase.Eval (AList a)} = $dEvalAList0;
   6 _declarations_
   7 1 $dEvalAList0 _:_ _forall_ [a] => {PrelBase.Eval (AList a)} ;;
   8 1 data AList a = ANull |  ANode a (AList a) ;
   9 1 g _:_ _forall_ [a] {PrelBase.Num a} => AList PrelBase.Bool -> a ;;
  10 1 type IntList = AList PrelBase.Int ;