Jump to page: 1 2 3
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, 2020
Dlang Bot
Mar 24, 2020
Walter Bright
Mar 24, 2020
Walter Bright
Dec 17, 2022
Iain Buclaw
Feb 17, 2023
Paul Backus
Feb 26, 2023
Paul Backus
Aug 12
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 3