What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID

--- Comment #7 from 2012-01-18 17:09:48 PST ---
(In reply to comment #6)
> (In reply to comment #5)
> > Furthermore, the optimization also applies when it is the other way round
> > (mutable return value implicitly converted to immutable), so the analysis 
> > would
> > consider implicit conversions of the return value anyway.
> No. The only way an immutably pure function can return a mutable value, is if
> it created it itself -- so we know it's unique. No analysis of the body of the
> function is required.

This is not what I was suggesting. I am only reasoning about the call-site

> But, if an immutable pure function returns an immutable value, we know 
> nothing.
> It could be a parameter, or an immutable global variable, or a variable 
> created
> inside the function.

For parameter, see comment #2. immutable global variables are a deal-breaker.
Implicitly casting between shared and unshared should still be possible at
strongly pure function border. I am opening a separate issue for it.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to