[project @ 1998-11-16 18:14:44 by simonm]

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

diff --git a/ghc/tests/typecheck/should_compile/tc082.stderr b/ghc/tests/typecheck/should_compile/tc082.stderr
index d6c860a..e81df92 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc082.stderr
+++ b/ghc/tests/typecheck/should_compile/tc082.stderr
@@ -1,11 +1,9 @@
-
-NOTE: Simplifier still going after 4 iterations; bailing out.
 ghc: module version changed to 1; reason: no old .hi file
 _exports_
-ShouldSucceed f Normal(:Normal :Normal normal);
+ShouldSucceed f Normal{:Normal :Normal normal};
 _instances_
-instance _forall_ [a b] => {Normal (a -> b)} = $dNormal0;
+instance _forall_ [$a $b] => {Normal ($a -> $b)} = $dNormal0;
 _declarations_
-1 $dNormal0 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
-1 class Normal a where {normal :: a -> PrelBase.Bool} ;
-1 f _:_ _forall_ [a] => a -> PrelBase.Bool ;;
+1 $dNormal0 _:_ _forall_ [$a $b] => {Normal ($a -> $b)} ;;
+1 class Normal $r3D where {normal :: $r3D -> PrelBase.Bool} ;
+1 f _:_ _forall_ [$a] => $a -> PrelBase.Bool ;;