Re: [racket-dev] fresh install ends in

2014-06-10 Thread Matthew Flatt
I've pushed a repair. At Tue, 10 Jun 2014 13:04:30 -0400, Matthias Felleisen wrote: > > > raco setup: package declares no dependencies: "txexpr" > > raco setup: package declares no dependencies: "sugar" > > hash-ref: no value found for key > > key: "racket" > > context...: > >/Users

[racket-dev] fresh install ends in

2014-06-10 Thread Matthias Felleisen
> raco setup: package declares no dependencies: "txexpr" > raco setup: package declares no dependencies: "sugar" > hash-ref: no value found for key > key: "racket" > context...: >/Users/matthias/plt/racket/collects/setup/private/pkg-deps.rkt:227:8: > for-loop >/Users/matthias/

Re: [racket-dev] Machinery for eliding contracts

2014-06-10 Thread Matthias Felleisen
I was thinking of associating the contract with the type from which it comes and no that's not hash-consing. And if it's slower, too bad. -- Matthias On Jun 10, 2014, at 12:47 PM, Eric Dobson wrote: > On Tue, Jun 10, 2014 at 6:15 AM, Matthias Felleisen > wrote: >> >> On Jun 9, 2014, at 6

Re: [racket-dev] Machinery for eliding contracts

2014-06-10 Thread Eric Dobson
On Tue, Jun 10, 2014 at 6:15 AM, Matthias Felleisen wrote: > > On Jun 9, 2014, at 6:02 PM, Eric Dobson 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 t

Re: [racket-dev] Machinery for eliding contracts

2014-06-10 Thread Matthias Felleisen
On Jun 9, 2014, at 6:02 PM, Eric Dobson 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 r

Re: [racket-dev] Slow contracts

2014-06-10 Thread Eric Dobson
On Mon, Jun 9, 2014 at 9:46 PM, Eric Dobson wrote: > Splitting this out because this is actually a different issue. This is > about us generating slow contracts. > > There are two things in play here. > > One is that TR doesn't use the new lazy parts of struct/dc. This would > require changing str