John Launchbury writes:
> Is the problem that Hugs gives runST a type rather than treating it as a
> language construct? Can the latter be done easily?
I thought I'd mentioned it but it might be worth repeating:
The latest version of Hugs (1.3c) doesn't have this "problem".
You can get Hugs 1.3c from:
http://www.cs.nott.ac.uk/~mpj/hugs13/
It "fixes" a lot of other problems too including Haskell's restriction
to single-parameter type classes, Haskell's restriction to rank-1
polymorphism, etc.
[Mark probably thinks of 1.3c and being an "extension" of 1.3b
- but this is a bug mailing list so I'll call it a "bugfix" :-)
Windows users might like to think of it as "Service Pack c".]
Seriously, Hugs 1.3c has a lot of cool extensions which seem likely to
appear in Standard Haskell (either as implemented or, in modified form
as a result of people's experience with them in Hugs) - people
should download 1.3c and see what it can do.
We're running a sweepstake on when the new type system will be merged
with Hugs 1.4. Consult the Hugs news page before submitting your
estimate.
Alastair
