Sorry, my last mail got mysteriously snipped....
Here's my original posting:
-------------------------------------------------------------------------------
Date: Tue, 2 Dec 1997 13:37:34 +0000
From: Graeme Moss <[EMAIL PROTECTED]>
To: Hugs Bugs Mailing List <[EMAIL PROTECTED]>
Subject: runST, :i :t and :n
(Usual apologies if this has been reported before, I've had a quick
scan of the archive and the known bugs but couldn't find anything.)
I know that the type of `runST' is not within the realms of standard
Haskell but I've noticed some odd behaviour from Hugs (971118):
Prelude> :i runST
runST :: <unknown type> -- primitive
Prelude> :n runST
runST
(1 names listed)
Prelude> :t runST
ERROR: Syntax error in expression (unexpected end of input)
Prelude> :l ST
{I PLACED DOTS AT THE BEGINNING OF EACH LINE HERE IN MY ORIGINAL POSTING.
PERHAPS THIS CAUSED THE MASS MAILER AT YOUR END TO GET CONFUSED?}
ST> :i runST
Unknown reference `runST'
ST> :n runST
Prelude.runST
(1 names listed)
ST> :t runST
ERROR: Syntax error in expression (unexpected end of input)
I don't mind the type of `runST' being shown as <unknown>
(although I would prefer something along the lines of
`(forall s . ST s a) -> a' which I think is correct, albeit not
standard Haskell?) but the inconsistency of the response to `:i runST'
is disturbing, as is the response to `:t runST'.
Graeme.
-------------------------------------------------------------------------------
Thanks for the replies, but please note the inconsistent behaviour of
`:i runST' before and after loading ST.
Graeme.
PS. I'll know never to place a dot at the beginning of a line in the
future. :-)
