ghc/tests/typecheck/should_compile/tc042.stderr

   1 __export ShouldSucceed Boolean{FF TT} List{Nil Cons} Nat{ZZero Succ} Pair{Mkpair} Tree{Leaf Node} add app before flatten idb idl lEngth nUll neg rEverse sUm swap;
   2 1 add :: Nat -> Nat -> Nat ;
   3 1 app :: __forall [alpha] => List alpha -> List alpha -> List alpha ;
   4 1 before :: List Nat -> List Nat ;
   5 1 data Boolean = FF |  TT ;
   6 1 data List alpha = Nil |  Cons alpha (List alpha) ;
   7 1 data Nat = ZZero |  Succ Nat ;
   8 1 data Pair a b = Mkpair a b ;
   9 1 data Tree t = Leaf t |  Node (Tree t) (Tree t) ;
  10 1 flatten :: __forall [alpha] => Tree alpha -> List alpha ;
  11 1 idb :: Boolean -> Boolean ;
  12 1 idl :: __forall [a] => List a -> List a ;
  13 1 lEngth :: __forall [a] => List a -> Nat ;
  14 1 nUll :: __forall [alpha] => List alpha -> Boolean ;
  15 1 neg :: Boolean -> Boolean ;
  16 1 rEverse :: __forall [alpha] => List alpha -> List alpha ;
  17 1 sUm :: Tree Nat -> Nat ;
  18 1 swap :: __forall [a b] => Pair a b -> Pair b a ;