ghc/tests/typecheck/should_compile/tc042.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed add app before flatten idb idl lEngth nUll neg rEverse sUm swap Boolean{FF TT} List{Nil Cons} Nat{Zero Succ} Pair{Mkpair} Tree{Leaf Node};
   4 _declarations_
   5 1 add _:_ Nat -> Nat -> Nat ;;
   6 1 app _:_ _forall_ [$a] => List $a -> List $a -> List $a ;;
   7 1 before _:_ List Nat -> List Nat ;;
   8 1 data Boolean = FF |  TT ;
   9 1 data List $r5K = Nil |  Cons $r5K (List $r5K) ;
  10 1 data Nat = Zero |  Succ Nat ;
  11 1 data Pair $r5O $r5P = Mkpair $r5O $r5P ;
  12 1 data Tree $r5D = Leaf $r5D |  Node (Tree $r5D) (Tree $r5D) ;
  13 1 flatten _:_ _forall_ [$a] => Tree $a -> List $a ;;
  14 1 idb _:_ Boolean -> Boolean ;;
  15 1 idl _:_ _forall_ [$a] => List $a -> List $a ;;
  16 1 lEngth _:_ _forall_ [$a] => List $a -> Nat ;;
  17 1 nUll _:_ _forall_ [$a] => List $a -> Boolean ;;
  18 1 neg _:_ Boolean -> Boolean ;;
  19 1 rEverse _:_ _forall_ [$a] => List $a -> List $a ;;
  20 1 sUm _:_ Tree Nat -> Nat ;;
  21 1 swap _:_ _forall_ [$a $b] => Pair $a $b -> Pair $b $a ;;