Re: [racket-dev] Behavioral subtyping for editor% and its implementing classes

2010-12-07 Thread Matthias Felleisen
If we take it out of editor%, we should not encounter any problems whatsoever. It is possible that additional implements-interface checks will succeed, but I am doubtful. Other than that I can't think of any problems. Should Asumu try and just run the whole test suite and if it works you

Re: [racket-dev] Behavioral subtyping for editor% and its implementing classes

2010-12-07 Thread Matthew Flatt
Sounds fine. At Tue, 7 Dec 2010 15:20:54 -0500, Matthias Felleisen wrote: If we take it out of editor%, we should not encounter any problems whatsoever. It is possible that additional implements-interface checks will succeed, but I am doubtful. Other than that I can't think of any

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-12-07 Thread Jay McCarthy
I've just committed the culmination of this thread. I've removed the coercive contracts and replaced them with a global imperative any-response hook that defaults to off but can easily be turned on to support X-exprs or the old behavior of the Web Server. Jay On Fri, Nov 26, 2010 at 5:55 PM,

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-12-07 Thread Robby Findler
Thanks, Jay. Robby On Tuesday, December 7, 2010, Jay McCarthy jay.mccar...@gmail.com wrote: I've just committed the culmination of this thread. I've removed the coercive contracts and replaced them with a global imperative any-response hook that defaults to off but can easily be turned on

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-12-07 Thread YC
On Tue, Dec 7, 2010 at 1:17 PM, Jay McCarthy jay.mccar...@gmail.com wrote: I've removed the coercive contracts and replaced them with a global imperative any-response hook that defaults to off but can easily be turned on to support X-exprs or the old behavior of the Web Server. Great!

[racket-dev] tags on github

2010-12-07 Thread Eli Barzilay
If you go to the racket page at github (https://github.com/plt/racket) and hit the downloads button, you get a download with three ancient versions. The reson for that is that it sorts the tags in reverse lexicographic order. (The same holds for the switch tags dropdown list.) I've asked on

Re: [racket-dev] tags on github

2010-12-07 Thread Robby Findler
It is a kind out of the way place but it would be a shame if someone went there, esp. since the latest stuff is in the middle of the list. But I wouldn't want you to spend too much time on it. Robby On Tue, Dec 7, 2010 at 7:18 PM, Eli Barzilay e...@barzilay.org wrote: If you go to the racket

Re: [racket-dev] tags on github

2010-12-07 Thread Eli Barzilay
6 minutes ago, Robby Findler wrote: It is a kind out of the way place but it would be a shame if someone went there, esp. since the latest stuff is in the middle of the list. OK, so I'll take it as a yes vote. Any suggestion for new names? One option is to go with the common misconception of

Re: [racket-dev] tags on github

2010-12-07 Thread Robby Findler
On Tue, Dec 7, 2010 at 7:52 PM, Eli Barzilay e...@barzilay.org wrote: 6 minutes ago, Robby Findler wrote: It is a kind out of the way place but it would be a shame if someone went there, esp. since the latest stuff is in the middle of the list. OK, so I'll take it as a yes vote.  Any

Re: [racket-dev] tags on github

2010-12-07 Thread Eli Barzilay
Four minutes ago, Robby Findler wrote: On Tue, Dec 7, 2010 at 7:52 PM, Eli Barzilay e...@barzilay.org wrote: 6 minutes ago, Robby Findler wrote: It is a kind out of the way place but it would be a shame if someone went there, esp. since the latest stuff is in the middle of the list.

Re: [racket-dev] tags on github

2010-12-07 Thread John Clements
On Dec 7, 2010, at 5:52 PM, Eli Barzilay wrote: 6 minutes ago, Robby Findler wrote: It is a kind out of the way place but it would be a shame if someone went there, esp. since the latest stuff is in the middle of the list. OK, so I'll take it as a yes vote. Any suggestion for new names?

Re: [racket-dev] tags on github

2010-12-07 Thread Eli Barzilay
Two minutes ago, John Clements wrote: On Dec 7, 2010, at 5:52 PM, Eli Barzilay wrote: 6 minutes ago, Robby Findler wrote: It is a kind out of the way place but it would be a shame if someone went there, esp. since the latest stuff is in the middle of the list. OK, so I'll take it