Re: __gshared immutable array of immutable elements

2013-11-12 Thread Nicolas Sicard
On Tuesday, 12 November 2013 at 20:16:31 UTC, Dicebot wrote: On Tuesday, 12 November 2013 at 20:09:57 UTC, Martin Drašar wrote: Those two immutables are not redundant, because it is an array of immutable chars (string), that is itself immutable. It is redundant because "immutable" is transitiv

Re: __gshared immutable array of immutable elements

2013-11-12 Thread Dicebot
On Tuesday, 12 November 2013 at 20:09:57 UTC, Martin Drašar wrote: Those two immutables are not redundant, because it is an array of immutable chars (string), that is itself immutable. It is redundant because "immutable" is transitive. "immutable char[]" is equivalent. But Tango has lot of m

Re: __gshared immutable array of immutable elements

2013-11-12 Thread Martin Drašar
Dne 12.11.2013 19:49, Nicolas Sicard napsal(a): In this declaration (tango.io.Console.d from Tango2): __gshared immutable immutable(char)[] Eol = "\r\n"; Aren't the two `immutable` keywords redundant? Why would `__gshared` be necessary for such an immutable type? Thanks Hi, this declaration

__gshared immutable array of immutable elements

2013-11-12 Thread Nicolas Sicard
In this declaration (tango.io.Console.d from Tango2): __gshared immutable immutable(char)[] Eol = "\r\n"; Aren't the two `immutable` keywords redundant? Why would `__gshared` be necessary for such an immutable type? Thanks