[Issue 7312] const should be abstract
http://d.puremagic.com/issues/show_bug.cgi?id=7312
Don clugd...@yahoo.com.au changed:
What|Removed |Added
CC||clugd...@yahoo.com.au
--- Comment #3 from Don clugd...@yahoo.com.au 2012-06-27 00:06:13 PDT ---
It is currently possible to declare 'const int' variables even though they are
identical to 'immutable int' ones. This is similar.
And consider:
const[] foo(S y) pure { ... }
With this proposal, that's OK for struct S, as long as the struct has a
pointer.
But if S has no pointers, the return value needs to be immutable.
That's just annoying.
This proposal doesn't add any value.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 7312] const should be abstract
http://d.puremagic.com/issues/show_bug.cgi?id=7312 timon.g...@gmx.ch changed: What|Removed |Added Status|NEW |RESOLVED Resolution||WONTFIX --- Comment #4 from timon.g...@gmx.ch 2012-06-27 04:40:06 PDT --- agreed. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7312] const should be abstract
http://d.puremagic.com/issues/show_bug.cgi?id=7312 Jonathan M Davis jmdavisp...@gmx.com changed: What|Removed |Added CC||jmdavisp...@gmx.com --- Comment #1 from Jonathan M Davis jmdavisp...@gmx.com 2012-01-18 13:55:00 PST --- I can see why it would be considered bad practice to return const from a strongly pure function, but why should it be disallowed by the compiler? -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7312] const should be abstract
http://d.puremagic.com/issues/show_bug.cgi?id=7312 timon.g...@gmx.ch changed: What|Removed |Added Priority|P2 |P3 --- Comment #2 from timon.g...@gmx.ch 2012-01-18 14:25:22 PST --- Immutable has all the constraints const has and gives actual guarantees. I don't think it is very important to enforce it, but it would be a net gain. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
