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 _instances_
   5 instance {PrelBase.Eval Boolean} = $dEvalBoolean0;
   6 instance _forall_ [a] => {PrelBase.Eval (List a)} = $dEvalList0;
   7 instance {PrelBase.Eval Nat} = $dEvalNat0;
   8 instance _forall_ [a b] => {PrelBase.Eval (Pair a b)} = $dEvalPair0;
   9 instance _forall_ [a] => {PrelBase.Eval (Tree a)} = $dEvalTree0;
  10 _declarations_
  11 1 $dEvalBoolean0 _:_ {PrelBase.Eval Boolean} ;;
  12 1 $dEvalList0 _:_ _forall_ [a] => {PrelBase.Eval (List a)} ;;
  13 1 $dEvalNat0 _:_ {PrelBase.Eval Nat} ;;
  14 1 $dEvalPair0 _:_ _forall_ [a b] => {PrelBase.Eval (Pair a b)} ;;
  15 1 $dEvalTree0 _:_ _forall_ [a] => {PrelBase.Eval (Tree a)} ;;
  16 1 add _:_ Nat -> Nat -> Nat ;;
  17 1 app _:_ _forall_ [a] => List a -> List a -> List a ;;
  18 1 before _:_ List Nat -> List Nat ;;
  19 1 data Boolean = FF |  TT ;
  20 1 data List alpha = Nil |  Cons alpha (List alpha) ;
  21 1 data Nat = Zero |  Succ Nat ;
  22 1 data Pair a b = Mkpair a b ;
  23 1 data Tree t = Leaf t |  Node (Tree t) (Tree t) ;
  24 1 flatten _:_ _forall_ [a] => Tree a -> List a ;;
  25 1 idb _:_ Boolean -> Boolean ;;
  26 1 idl _:_ _forall_ [a] => List a -> List a ;;
  27 1 lEngth _:_ _forall_ [a] => List a -> Nat ;;
  28 1 nUll _:_ _forall_ [a] => List a -> Boolean ;;
  29 1 neg _:_ Boolean -> Boolean ;;
  30 1 rEverse _:_ _forall_ [a] => List a -> List a ;;
  31 1 sUm _:_ Tree Nat -> Nat ;;
  32 1 swap _:_ _forall_ [a b] => Pair a b -> Pair b a ;;