[project @ 1998-02-03 11:24:18 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 0312fb6..121f0d7 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc082.stderr
+++ b/ghc/tests/typecheck/should_compile/tc082.stderr
@@ -1,14 +1,16 @@
+
+NOTE: Simplifier still going after 4 iterations; bailing out.
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_
-ArrBase IO PrelNum
+IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
 _usages_
 PrelBase 1 :: id 1;
 _exports_
-ShouldSucceed f Normal(normal);
+ShouldSucceed f Normal(:Normal :Normal normal);
 _instances_
 instance _forall_ [a b] => {Normal (a -> b)} = $d1;
 _declarations_
 1 $d1 _:_ _forall_ [a b] => {Normal (a -> b)} ;;
 1 class Normal a where {normal :: a -> PrelBase.Bool} ;
-1 f _:_ _forall_ [ta] => ta -> PrelBase.Bool ;;
+1 f _:_ _forall_ [a] => a -> PrelBase.Bool ;;