www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 4064] New: [CTFE] array.reverse doesn't work

reply d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=4064

           Summary: [CTFE] array.reverse doesn't work
           Product: D
           Version: future
          Platform: x86
        OS/Version: Windows
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: bearophile_hugs eml.cc


--- Comment #0 from bearophile_hugs eml.cc 2010-04-05 05:32:09 PDT ---
bool foo(int[] arr) {
    arr.reverse;
    return arr == [2, 1];
}
enum bool r = foo([1, 2]);
void main() {}


dmd 2.042 gives:

test.d(2): Error: cannot evaluate _adReverse(arr,4u) at compile time
test.d(5): Error: cannot evaluate foo([1,2]) at compile time
test.d(5): Error: cannot evaluate foo([1,2]) at compile time

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Apr 05 2010
next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=4064


Don <clugdbug yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |clugdbug yahoo.com.au
           Severity|normal                      |enhancement


--- Comment #1 from Don <clugdbug yahoo.com.au> 2010-04-10 21:52:53 PDT ---
Note that ANY call to the runtime cannot be be interpreted in CTFE (because
source code is not available). This bug, like bug 4021, is an enhancement
request.

The spec specifically says that .dup, .length, .keys, and .values are the only
built-in properties which are supported in CTFE. To support these others, they
would need to be (a) moved out of the runtime; or (b) special-cased in the
interpreter. And case (b) is not going to happen.


In 2.043, this gives the error message:

crash.d(38): Error: _adReverse cannot be interpreted at compile time, because
it
 has no available source code
crash.d(41): Error: cannot evaluate foo([1,2]) at compile time
crash.d(41): Error: cannot evaluate foo([1,2]) at compile time

which I think is slightly improved from before -- it at least explains that the
missing source code is the reason why it cannot work.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Apr 10 2010
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=4064



--- Comment #2 from bearophile_hugs eml.cc 2010-04-11 04:31:42 PDT ---
Thank you for the comments. A third (c) possibility is to change the way CTFE
is done, avoiding some duplication in the compiler.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Apr 11 2010
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=4064


Don <clugdbug yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX


--- Comment #3 from Don <clugdbug yahoo.com.au> 2011-11-02 17:43:02 PDT ---
Wontfix: Builtin .reverse and .sort are shameful and will hopefully be removed
from the language soon. The standard library functions work in CTFE now.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Nov 02 2011