http://d.puremagic.com/issues/show_bug.cgi?id=8993
Rob Jacques <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #13 from Rob Jacques <[email protected]> 2012-11-11 23:25:31 PST --- (In reply to comment #8) > implement further relaxations bit by bit (e.g. implicit scoped > isolated->writable->isolated conversion). To clarify for those who didn't read the paper, the implicit conversion of writable->isolated only applies to the return value of a moderately pure function: (a pure function whose arguments are only isolated or immutable) So it is similar to the implicit conversion of the return of a strongly pure function from mutable to immutable. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
