ghc/tests/typecheck/should_compile/tc049.stderr

   1 __export ShouldSucceed fib main1 main2 main3 mem mem1 mem2 mem3 mem4 oR oR1;
   2 1 fib :: __forall [a] => {PrelBase.Ord a} -> {PrelNum.Num a} -> a -> a ;
   3 1 main1 :: PrelBase.Bool ;
   4 1 main2 :: PrelBase.Bool ;
   5 1 main3 :: PrelBase.Bool ;
   6 1 mem :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
   7 1 mem1 :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
   8 1 mem2 :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
   9 1 mem3 :: __forall [t] => {PrelBase.Eq [t]} -> t -> [t] -> PrelBase.Bool ;
  10 1 mem4 :: __forall [t] => {PrelBase.Eq [t]} -> t -> [t] -> PrelBase.Bool ;
  11 1 oR :: PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;
  12 1 oR1 :: PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;