[project @ 2001-03-29 14:35:20 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail068.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail068.stderr b/ghc/tests/typecheck/should_fail/tcfail068.stderr
index 137b143..0837ecc 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail068.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail068.stderr
@@ -5,11 +5,11 @@ tcfail068.hs:12:
        It is reachable from the type variable(s) `a'
          which is free in the signature
     Signature type:     forall s. ST s a
-    Type to generalise: ST s1 (STArray s1 (Int, Int) a1)
+    Type to generalise: ST s1 (IndTree s1 a1)
     When checking an expression type signature
     In the first argument of `runST', namely
        `(newSTArray ((1, 1), n) x)'
-    In the right-hand side of an equation for `itgen':
+    in the definition of function `itgen':
        runST (newSTArray ((1, 1), n) x)
 
 tcfail068.hs:17:
@@ -19,12 +19,12 @@ tcfail068.hs:17:
        The following variables in the environment mention `s1'
          arr :: IndTree s1 a
     Signature type:     forall s. ST s a1
-    Type to generalise: ST s1 (STArray s1 (Int, Int) a)
+    Type to generalise: ST s1 (IndTree s1 a)
     When checking an expression type signature
     In the first argument of `runST', namely
        `((readSTArray arr i)
          >>= (\ val -> (writeSTArray arr i (f val)) >> (return arr)))'
-    In the right-hand side of an equation for `itiap':
+    in the definition of function `itiap':
        runST ((readSTArray arr i)
               >>= (\ val -> (writeSTArray arr i (f val)) >> (return arr)))
 
@@ -33,29 +33,26 @@ tcfail068.hs:23:
        Quantified type variable `s' escapes
        It unifies with `s1', which is mentioned in the environment
        The following variables in the environment mention `s1'
-         itrap' :: Int -> Int -> ST s1 (STArray s1 (Int, Int) a)
-         itrapsnd :: Int -> Int -> ST s1 (STArray s1 (Int, Int) a)
+         itrap' :: Int -> Int -> ST s1 (IndTree s1 a)
+         itrapsnd :: Int -> Int -> ST s1 (IndTree s1 a)
          arr :: IndTree s1 a
     Signature type:     forall s. ST s a1
-    Type to generalise: ST s1 (STArray s1 (Int, Int) a)
+    Type to generalise: ST s1 (IndTree s1 a)
     When checking an expression type signature
     In the first argument of `runST', namely `(itrap' i k)'
-    In the right-hand side of an equation for `itrap':
-       runST (itrap' i k)
+    in the definition of function `itrap': runST (itrap' i k)
 
 tcfail068.hs:35:
     Inferred type is less polymorphic than expected
        Quantified type variable `s' escapes
        It unifies with `s1', which is mentioned in the environment
        The following variables in the environment mention `s1'
-         itrapstate' :: Int
-                        -> Int -> c -> ST s1 (c, STArray s1 (Int, Int) b)
-         itrapstatesnd :: Int
-                          -> Int -> c -> ST s1 (c, STArray s1 (Int, Int) b)
+         itrapstate' :: Int -> Int -> c -> ST s1 (c, IndTree s1 b)
+         itrapstatesnd :: Int -> Int -> c -> ST s1 (c, IndTree s1 b)
          arr :: IndTree s1 b
     Signature type:     forall s. ST s a
     Type to generalise: ST s1 (c, IndTree s1 b)
     When checking an expression type signature
     In the first argument of `runST', namely `(itrapstate' i k s)'
-    In the right-hand side of an equation for `itrapstate':
+    in the definition of function `itrapstate':
        runST (itrapstate' i k s)