runST typing ...

[Byron Cook]

What is your opinion, should this typecheck? 

import LazyST
f = runST ( return 5 )

I do.
Hugs doesnt:
*** expression     : runST (return 5)
*** term           : return 5
*** type           : Num _3 => ST b _3
*** does not match : ST c _3
*** because        : types do not match

Is it a bug?

Information: Hugs Version 971202, machine = HP-UX B.10.01 A 9000/770


- byron

------------------------------------------------------------------------
Byron Cook -- Intel Strategic CAD Labs