ghc/tests/typecheck/should_compile/tc082.stderr

   1
   2 NOTE: Simplifier still going after 4 iterations; bailing out.
   3 ghc: module version changed to 1; reason: no old .hi file
   4 _interface_ ShouldSucceed 1
   5 _instance_modules_
   6 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
   7 _usages_
   8 PrelBase 1 :: id 1;
   9 _exports_
  10 ShouldSucceed f Normal(:Normal :Normal normal);
  11 _instances_
  12 instance _forall_ [a b] => {Normal (a -> b)} = $d1;
  13 _declarations_
  14 1 $d1 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
  15 1 class Normal a where {normal :: a -> PrelBase.Bool} ;
  16 1 f _:_ _forall_ [a] => a -> PrelBase.Bool ;;