[Issue 15981] New: infer function types for auto functions

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Sun May 1 16:59:13 PDT 2016


          Issue ID: 15981
           Summary: infer function types for auto functions
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody at puremagic.com
          Reporter: greensunny12 at gmail.com

> Why didn't we go with all functions being able to infer const, pure etc rather than just templates?

The problem is essentially untractable when there are loops in the call graph.

That being said, it would make sense to do it for auto functions.

(discussion: http://forum.dlang.org/post/esfmscijqfjcfdawkfpe@forum.dlang.org)

I just put this here, so it doesn't get forgotten ;-)


More information about the Digitalmars-d-bugs mailing list