On Tue, Mar 4, 2014 at 10:09 AM, Timothee Cour <thelastmammoth@gmail.com> wrote:

Thanks, that works
does it make sense to add a function to do that?
as it stands there are 2 separate ways, cast(void*)Thread.getThis and cast(void*)getTid, so having a function would make it the preferred way.

sorry that should be:

cast(void*)Thread.getThis (works)

thisTid doesn't seem useful for purpose of writing a unique identifier (and can't be cast to void*).

So the question is whether we want a wrapper for cast(void*)Thread.getThis.