Re: runST typing ...

[John Launchbury]

Byron Cook wrote:
> 
> you could also make runST core dump --- but you don't do that.
> 
> maybe someone can answer this.
> 
> why cant runSt have the following type:
> 
>   runST All a . (Cxt1..Cxtn) => (All s . ST s a) -> a

It can, and it should. This is how ghc did it from the start. The State in
Haskell papers didn't consider overloading, so we didn't make this explicit. I
mentioned it to Mark Jones two years ago, and I thought he had fixed it.

John.