j
k
j a
j l
On 11 March 2011 12:04, Bas van Dijk wrote:
Unfortunately foo still doesn't type check in 7.0.2: foo :: (forall s. ST s a) -> a foo st = ($) runST st
Unfortunately foo still doesn't type check in 7.0.2:
foo :: (forall s. ST s a) -> a foo st = ($) runST st
Note that the following does type check with ImpredicativeTypes: bar = id runST Bas
Back to the thread
Back to the list
