ThreadId gripe

Frederik Eaton frederik at
Tue Aug 22 14:31:41 EDT 2006


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.




More information about the Libraries mailing list