On Tue, Aug 16, 2016 at 4:37 PM, Zefram <zef...@fysh.org> wrote:

> Elizabeth Mattijsen via RT wrote:
> >dd9b760 makes it impossible to create a Pair with a mutable key.
>
> Doesn't work.  It defeats my original test case, but you're not actually
> type-constraining the key, you're only removing a container wrapper.
>

Right, this kind of fix is a losing proposition.

I'd prefer to see a proxy around the Scalar returned by .VAR that restricts
what can be done with it, so it can't escape into the wild --- because once
a Scalar can be accessed directly, you've broken the type system.

-- 
brandon s allbery kf8nh                               sine nomine associates
allber...@gmail.com                                  ballb...@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net

Reply via email to