Should GC.malloc be considered 'pure'?

KennyTM~ kennytm at gmail.com
Sun Jun 12 13:12:42 PDT 2011


On Jun 10, 11 01:51, KennyTM~ wrote:
> Given that the 'new' expression can be used in 'pure', should it be that
> GC allocation functions like GC.malloc, GC.qalloc and GC.extend (?) be
> weakly pure also? And should it apply to other managed allocators as
> well, e.g. the proposed TempAlloc?
>
> I'm asking this as one of the specializations of std.conv.toImpl calls
> GC.malloc, which is one of the 11 causes preventing std.conv.to from
> being pure, and GC.qalloc and GC.extend (and memcpy and Array.capacity)
> are used by std.array.appender (of pure range), and appender is also a
> major reason why std.conv.to is not pure.

Thanks everyone for commenting. I've turned this into a bug 6151
(http://d.puremagic.com/issues/show_bug.cgi?id=6151) so the discussion 
won't be lost :).


More information about the Digitalmars-d mailing list