Jump to page: 1 2
Thread overview
[Issue 17541] Function attribute deduction depends on compile invocation
[Issue 17541] @nogc template deduction problem (codegen different from .mangleof)
[Issue 17541] Template attribute deduction depends on compile invocation
Jul 15, 2017
Walter Bright
Mar 23
Dlang Bot
June 23, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

johanengelen@weka.io changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |industry

--
June 23, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

--- Comment #1 from johanengelen@weka.io ---
(the mangling difference between compiling `one.d` with or without `two.d` leads to linking problems at Weka)

--
June 23, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

--- Comment #2 from johanengelen@weka.io ---
In other code I hit the same issue but now with compiler-invocation-dependent deduction of `@safe` or `@trusted` for `__fieldDtor` of a struct.

--
June 23, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

johanengelen@weka.io changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|@nogc template deduction    |Template attribute
                   |problem (codegen different  |deduction depends on
                   |from .mangleof)             |compile invocation

--
June 23, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

--- Comment #3 from johanengelen@weka.io ---
And in other cases, `pure` is deduced depending on compiler invocation, and is actually deduced wrong (function is not pure but is deduced `pure`).

--
July 14, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

johanengelen@weka.io changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Template attribute          |Function attribute
                   |deduction depends on        |deduction depends on
                   |compile invocation          |compile invocation

--
July 14, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

--- Comment #4 from johanengelen@weka.io ---
This problem is bigger than just templates.
I am seeing more and more deduction errors, resulting in linker errors.

--
July 14, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

Steven Schveighoffer <schveiguy@yahoo.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code

--
July 15, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla@digitalmars.com

--- Comment #5 from Walter Bright <bugzilla@digitalmars.com> ---
https://github.com/dlang/dmd/pull/6995

--
October 26, 2017
https://issues.dlang.org/show_bug.cgi?id=17541

--- Comment #6 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/df847ccb60a37f4dbc349e8cee4a2ee6081e0c3c fix Issue 17541 - Function attribute deduction depends on compile invocation

https://github.com/dlang/dmd/commit/aabeeb0a550a0d4ba066209290c799c5cf812e87 Merge pull request #6995 from WalterBright/fix17541

fix Issue 17541 - Function attribute deduction depends on compile inv…

--
« First   ‹ Prev
1 2