ghc/tests/typecheck/should_compile/tc034.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 __export ShouldSucceed AList{ANull ANode} IntList g;
   3 1 data AList a = ANull |  ANode a (AList a) ;
   4 1 g :: __forall [t] {PrelBase.Num t} => AList PrelBase.Bool -> t ;
   5 1 type IntList = AList PrelBase.Int ;