Commit 4d238db1 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update type checker errors

parent 8246d4a5
rw.hs:14:32:
Couldn't match expected type `a' against inferred type `Int'
`a' is a rigid type variable bound by
the type signature for `writeInt' at rw.hs:12:13
In the second argument of `writeIORef', namely `(1 :: Int)'
In the expression: writeIORef ref (1 :: Int)
In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)
rw.hs:19:36:
Couldn't match expected type `a' against inferred type `Bool'
`a' is a rigid type variable bound by
......
......@@ -8,6 +8,30 @@ tcfail068.hs:13:1:
In the definition of `itgen':
itgen n x = runST (newSTArray ((1, 1), n) x)
tcfail068.hs:19:13:
Couldn't match expected type `s1' against inferred type `s'
`s1' is a rigid type variable bound by
the polymorphic type `forall s1. GHC.ST.ST s1 a'
at tcfail068.hs:18:1
`s' is a rigid type variable bound by
the type signature for `itiap' at tcfail068.hs:16:57
Expected type: STArray s1 (Int, Int) a1
Inferred type: IndTree s a1
In the first argument of `readSTArray', namely `arr'
In the first argument of `(>>=)', namely `readSTArray arr i'
tcfail068.hs:24:34:
Couldn't match expected type `s1' against inferred type `s'
`s1' is a rigid type variable bound by
the polymorphic type `forall s1. GHC.ST.ST s1 a'
at tcfail068.hs:24:28
`s' is a rigid type variable bound by
the type signature for `itrap' at tcfail068.hs:23:69
Expected type: GHC.ST.ST s1 (IndTree s a1)
Inferred type: GHC.ST.ST s (IndTree s a1)
In the first argument of `runST', namely `(itrap' i k)'
In the expression: runST (itrap' i k)
tcfail068.hs:36:45:
Couldn't match expected type `s1' against inferred type `s'
`s1' is a rigid type variable bound by
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment