Thread overview
[Issue 10924] covariant attribute inference for all functions
[Issue 10924] covariant attribute inference for functions
Jan 08, 2015
Zach the Mystic
Jan 08, 2015
Zach the Mystic
Dec 17, 2022
Iain Buclaw
January 08, 2015
https://issues.dlang.org/show_bug.cgi?id=10924

Zach the Mystic <reachzach@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reachzach@gmail.com

--- Comment #1 from Zach the Mystic <reachzach@gmail.com> ---
See my argument in favor of this enhancement here:

http://forum.dlang.org/thread/vlzwhhymkjgckgyoxlrq@forum.dlang.org

My suggested alternative to generating two links for each function is to introduce a linkage attribute (suggested names: "@api", "extern(noinfer)") to tell the compiler to mangle and generate .di signatures without the inferred attributes.

I'm having trouble understanding why fully inferred attributes are meeting so much resistance here:

https://github.com/D-Programming-Language/dmd/pull/1877

Related issues:

https://issues.dlang.org/show_bug.cgi?id=9914 https://issues.dlang.org/show_bug.cgi?id=13567

--
January 08, 2015
https://issues.dlang.org/show_bug.cgi?id=10924

Zach the Mystic <reachzach@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|covariant attribute         |covariant attribute
                   |inference for functions     |inference for all functions

--
December 17, 2022
https://issues.dlang.org/show_bug.cgi?id=10924

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4

--