[Issue 10810] wrong forward reference error when using return type deduction and a cyclic call flow

d-bugmail at puremagic.com d-bugmail at puremagic.com
Mon Aug 12 19:20:44 PDT 2013


http://d.puremagic.com/issues/show_bug.cgi?id=10810


Henning Pohl <henning at still-hidden.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor


--- Comment #4 from Henning Pohl <henning at still-hidden.de> 2013-08-12 19:20:42 PDT ---
> The D programs that compile after the fix that wouldn't have compiled
> before.

I just wondered what DMD would do when I throw this at it. Of course those
return type depencies can get awfully complex and can involve tons of
functions.

> Indeed, but in order to fix this issue, we need a computationally decidable
> notion of dependence of function return types.

And it will be hard to get this implemented. The current behavior is neither
surprising nor dangerous. De facto no one will encounter this bug so I will
lower the importance to minor.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list