On 05/09/2012 10:09 PM, Jacob Carlborg wrote:
On 2012-05-09 19:05, Adam Wilson wrote:
This pull fixes this problem and a bunch of others:
https://github.com/D-Programming-Language/dmd/pull/928. However, it
currently fails to build on Linux and fails the unittests on Windows
thanks to a problem with the dur template function in std.datetime. The
solution used by this pull is to include the function body of the
auto-function as that was needed to allow Phobos to build correctly
using the DRT DI files. This is the only workable solution as DMD does
not know the type of an auto-function when DI files are generated. No
semantic analysis has been performed and since semantic analysis could
change the layout of a module you wouldn't want it to be
performed.
The correct way to solve this in the long run is to have the compiler
replace "auto" with the inferred type. If the whole semantic analysis
phase cannot be run the we need to have some kind of limited semantic
analysis phase or some other phase to infer the types.
The type cannot be inferred without full semantic analysis in general.
Furthermore, it could be different based on compilation options (or
maybe based on in what order the modules were passed to DMD on the
command line.)
