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: -------

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: -------

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: -------

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: -------