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