[project @ 1999-02-10 15:45:52 by simonpj]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc042.stderr

diff --git a/ghc/tests/typecheck/should_compile/tc042.stderr b/ghc/tests/typecheck/should_compile/tc042.stderr
index cdba6f1..b9fff93 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc042.stderr
+++ b/ghc/tests/typecheck/should_compile/tc042.stderr
@@ -1,11 +1,11 @@
 ghc: module version changed to 1; reason: no old .hi file
-__export 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};
+__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;
 1 add :: Nat -> Nat -> Nat ;
 1 app :: __forall [alpha] => List alpha -> List alpha -> List alpha ;
 1 before :: List Nat -> List Nat ;
 1 data Boolean = FF |  TT ;
 1 data List alpha = Nil |  Cons alpha (List alpha) ;
-1 data Nat = Zero |  Succ Nat ;
+1 data Nat = ZZero |  Succ Nat ;
 1 data Pair a b = Mkpair a b ;
 1 data Tree t = Leaf t |  Node (Tree t) (Tree t) ;
 1 flatten :: __forall [alpha] => Tree alpha -> List alpha ;