ddc: Ticket #22: Mask mutability constraints on fresh datahttp://trac.haskell.org/ddc/ticket/22
<p>
In a type like
</p>
<pre class="wiki"> fun :: forall %r1 %r2
. Int %r1 -&gt; Int %r2
:- Mutable %r2
</pre><p>
The returned Int is fresh, that its region does not appear on the lhs of an arrow or in a closure. In this case it does not matter that the data is Mutable, and this fetter can be masked.
</p>
<p>
We'll want to use the closure information the core language for this, so make sure the core type checker works.
</p>
en-usddchttp://trac.haskell.org/ddc/chrome/common/trac_banner.pnghttp://trac.haskell.org/ddc/ticket/22
Trac 0.11.1