On Jun 9, 2014, at 6:02 PM, Eric Dobson <eric.n.dob...@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
smime.p7s
Description: S/MIME cryptographic signature
_________________________ Racket Developers list: http://lists.racket-lang.org/dev