ThreadId gripe

Frederik Eaton frederik at a5.repetae.net
Tue Aug 22 14:31:41 EDT 2006


Hi,

The 'Show' instance for ThreadId produces stuff like "ThreadId 1" -
not very concise. Is there an simple way to turn it into an Int or
Integer so I can call 'show' on that? Usually ThreadId's are turned
into strings for the purpose of logging, in which case one really only
wants the numeric part.

Best,

Frederik

-- 
http://ofb.net/~frederik/


More information about the Libraries mailing list