[racket-dev] Machinery for eliding contracts

On Jun 9, 2014, at 6:02 PM, Eric Dobson <eric.n.dobson at gmail.com> wrote:

>> 
>> Eric, are you talking about changing the proxy values that wrap HO/mutable
>> contracted values?
> Yes. I want the proxy values to include information about who agreed
> to the contract in addition to the contract agreed to.
> 
> I actually realize that I might need more than just the contract
> agreed to because of how TR changes the generated contract to remove
> checks for what it guarantees, so that info is not in the contract.
> But I believe that can be added back as a structure property on the
> contract.


Would some form of hash-consing contracts work here? -- Matthias

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4463 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20140610/f002ced0/attachment.p7s>