Re: BitArray contracts

2010-08-24 Thread bearophile
Steven Schveighoffer: > If bitarray is not a template, then it's compiled in release mode inside > phobos. The in contract is probably not compiled in. I see, it's the problem discussed recently, with the proposal of the two phobos libs, one compiled with -release and one without, that the com

Re: BitArray contracts

2010-08-24 Thread Steven Schveighoffer
On Mon, 23 Aug 2010 22:49:14 -0400, bearophile wrote: This a part of std.bitmanip.BitArray: void init(void[] v, size_t numbits) in { assert(numbits <= v.length * 8); assert((v.length & 3) == 0); } body { ptr = cast(uint*)v.ptr; len = n

BitArray contracts

2010-08-23 Thread bearophile
This a part of std.bitmanip.BitArray: void init(void[] v, size_t numbits) in { assert(numbits <= v.length * 8); assert((v.length & 3) == 0); } body { ptr = cast(uint*)v.ptr; len = numbits; } But it seems this program works with no erro