Commit f32268ff authored by simonpj's avatar simonpj
Browse files

[project @ 2001-12-28 17:36:49 by simonpj]

Update output
parent 0a0a2da2
......@@ -5,6 +5,10 @@
module Foo where
newtype CPS1 a = CPS1 { unCPS1 :: forall ans . (a -> ans) -> ans }
newtype CPS2 a = CPS2 (forall ans . (a -> ans) -> ans)
-- This one also has an interesting record selector;
-- caused an applyTypeArgs crash in 5.02.1
data CPS3 a = CPS3 { unCPS3 :: forall ans . (a -> ans) -> ans }
data CPS4 a = CPS4 (forall ans . (a -> ans) -> ans)
......@@ -5,7 +5,7 @@ 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 (IndTree s1 a1)
Type to generalise: ST s1 (STArray s1 (Int, Int) a1)
In the first argument of `runST', namely
`(newSTArray ((1, 1), n) x)'
In the definition of `itgen': runST (newSTArray ((1, 1), n) x)
......
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