Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
Soon we'll need to clearly define the limits of CTFE, and what happens
when it fails.
Andrei
Andrei Alexandrescu:
Soon we'll need to clearly define the limits of CTFE, and what
happens when it fails.
It seems a bug, this is a reduction:
struct MapResult(alias fun) {
int[] _input;
@property bool empty() {
return _input.length == 0;
}
void popFront() {
On 03/27/2013 04:44 PM, bearophile wrote:
Andrei Alexandrescu:
Soon we'll need to clearly define the limits of CTFE, and what happens
when it fails.
It seems a bug, this is a reduction:
...
You might want to add it to the report, which is at:
http://d.puremagic.com/issues/show_bug.cgi?id=98
On Wednesday, 27 March 2013 at 14:48:32 UTC, Andrei Alexandrescu
wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
Soon we'll need to clearly define the limits of CTFE, and what
happens when it fails.
Timon Gehr:
You might want to add it to the report, which is at:
http://d.puremagic.com/issues/show_bug.cgi?id=9822
I will, later.
Bye,
bearophile
On Wednesday, 27 March 2013 at 14:48:32 UTC, Andrei Alexandrescu
wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
Soon we'll need to clearly define the limits of CTFE, and what
happens when it fails.
On 03/27/2013 03:48 PM, Andrei Alexandrescu wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
Soon we'll need to clearly define the limits of CTFE, and what happens
when it fails.
...
Attempt 1:
CTFE
On Wed, Mar 27, 2013 at 10:48:31AM -0400, Andrei Alexandrescu wrote:
> Found this:
> http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
IMO, this is a compiler bug. If the compiler can't correctly generate
code for something
On Wed, Mar 27, 2013 at 05:55:54PM +0100, Timon Gehr wrote:
[...]
> If CTFE does not terminate, compilation is not allowed to succeed.
Heh, I think this one is unimplementable, as it amounts to solving the
halting problem. :)
> If CTFE fails because the above criteria are not met, the evaluated
On 03/27/2013 06:20 PM, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 05:55:54PM +0100, Timon Gehr wrote:
[...]
If CTFE does not terminate, compilation is not allowed to succeed.
Heh, I think this one is unimplementable, as it amounts to solving the
halting problem. :)
...
Actually it does not.
On Wed, Mar 27, 2013 at 06:29:59PM +0100, Timon Gehr wrote:
> On 03/27/2013 06:20 PM, H. S. Teoh wrote:
> >On Wed, Mar 27, 2013 at 05:55:54PM +0100, Timon Gehr wrote:
> >[...]
> >>If CTFE does not terminate, compilation is not allowed to succeed.
> >
> >Heh, I think this one is unimplementable, as
On Wednesday, 27 March 2013 at 17:19:40 UTC, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 10:48:31AM -0400, Andrei Alexandrescu
wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
IMO, this is a compiler bu
On 3/27/13 1:17 PM, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 10:48:31AM -0400, Andrei Alexandrescu wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
IMO, this is a compiler bug. If the compiler can't
On Wednesday, 27 March 2013 at 14:48:32 UTC, Andrei Alexandrescu
wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
Soon we'll need to clearly define the limits of CTFE, and what
happens when it fails.
27-Mar-2013 23:14, Peter Alexander пишет:
On Wednesday, 27 March 2013 at 14:48:32 UTC, Andrei Alexandrescu wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-std-algorithm-cartesianpr
Soon we'll need to clearly define the limits
On Wed, 27 Mar 2013 23:43:07 +0400
Dmitry Olshansky wrote:
> 27-Mar-2013 23:14, Peter Alexander пишет:
> > On Wednesday, 27 March 2013 at 14:48:32 UTC, Andrei Alexandrescu
> > wrote:
> >> Found this:
> >> http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-resu
27-Mar-2013 23:50, Nick Sabalausky пишет:
On Wed, 27 Mar 2013 23:43:07 +0400
Dmitry Olshansky wrote:
27-Mar-2013 23:14, Peter Alexander пишет:
On Wednesday, 27 March 2013 at 14:48:32 UTC, Andrei Alexandrescu
wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-v
On 03/27/2013 06:50 PM, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 06:29:59PM +0100, Timon Gehr wrote:
On 03/27/2013 06:20 PM, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 05:55:54PM +0100, Timon Gehr wrote:
[...]
If CTFE does not terminate, compilation is not allowed to succeed.
Heh, I think th
On Wed, Mar 27, 2013 at 10:19:12PM +0100, Timon Gehr wrote:
> On 03/27/2013 06:50 PM, H. S. Teoh wrote:
> >On Wed, Mar 27, 2013 at 06:29:59PM +0100, Timon Gehr wrote:
> >>On 03/27/2013 06:20 PM, H. S. Teoh wrote:
> >>>On Wed, Mar 27, 2013 at 05:55:54PM +0100, Timon Gehr wrote:
> >>>[...]
> If C
27-Mar-2013 21:50, H. S. Teoh пишет:
On Wed, Mar 27, 2013 at 06:29:59PM +0100, Timon Gehr wrote:
On 03/27/2013 06:20 PM, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 05:55:54PM +0100, Timon Gehr wrote:
[...]
If CTFE does not terminate, compilation is not allowed to succeed.
Heh, I think this on
On 03/27/2013 10:37 PM, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 10:19:12PM +0100, Timon Gehr wrote:
On 03/27/2013 06:50 PM, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 06:29:59PM +0100, Timon Gehr wrote:
On 03/27/2013 06:20 PM, H. S. Teoh wrote:
On Wed, Mar 27, 2013 at 05:55:54PM +0100, Timon
On 03/27/2013 05:55 PM, Timon Gehr wrote:
...
- No mutable variables/fields are loaded or stored that were not
allocated during the same CTFE execution.
...
On second thought, probably loading of the value of initialized mutable
static variables should be allowed, so that it is easy to
On 03/27/2013 05:55 PM, Timon Gehr wrote:
...
- Only type casts are evaluated whose kind may not harm type safety.
...
This could easily be lifted as well by doing a more "runtime" checks (in
such a way that there is no additional overhead for the interpreter
except when there is an out-of
On Wednesday, 27 March 2013 at 19:43:13 UTC, Dmitry Olshansky
wrote:
27-Mar-2013 23:14, Peter Alexander пишет:
On Wednesday, 27 March 2013 at 14:48:32 UTC, Andrei
Alexandrescu wrote:
Found this:
http://stackoverflow.com/questions/15652718/object-error-access-violation-when-printing-result-of-st
24 matches
Mail list logo
