scoped typed variable
28 Mar
2011
28 Mar
'11
1:01 a.m.
Reading the other thread on scoped typed variable I see in http://www.haskell.org/ghc/docs/7.0.2/html/users_guide/other-type-extensions... forall a. ST s Bool I guess it is forall s. ST s Bool ?
28 Mar
28 Mar
1:05 a.m.
On Sunday 27 March 2011 17:01:15, Rustom Mody wrote:
Reading the other thread on scoped typed variable I see in http://www.haskell.org/ghc/docs/7.0.2/html/users_guide/other-type-extens ions.html#exp-type-sigs forall a. ST s Bool
I guess it is forall s. ST s Bool ?
Yes. Good spot.
5527
Age (days ago)
5527
Last active (days ago)
1 comments
2 participants
participants (2)
-
Daniel Fischer -
Rustom Mody