Re: [racket-dev] highlighting function position with an underline.

2010-10-26 Thread Neil Van Dyke
John Clements wrote at 10/26/2010 02:33 AM: Who thinks it would be helpful, though, if Check Syntax were to, say, underline the function position? Not for the non-beginner languages, please. After thinking about it for a while, I'm currently of the opinion that one serious shortcoming of ou

Re: [racket-dev] Pre-Release Checklist for v5.0.2, second call

2010-10-26 Thread Casey Klein
On Mon, Oct 25, 2010 at 12:46 PM, Ryan Culpepper wrote: > > * Casey Klein >  - Redex Tests >  Updates: >  - Redex Updates: update HISTORY >  (updates should show v5.0.2 as the most current version; email me >  to pick the changes when they're done, or tell me if there are no such >  changes.) >

Re: [racket-dev] [plt] Push #21341: master branch updated

2010-10-26 Thread Eli Barzilay
Does anyone have a preference or an objection to use this change in the release? * The important bit here is the sh installers for unix -- they're currently using `plt' and `mz'. (There were some complaints about this.) * It's easy to verify -- just run the generated installers. (And look

[racket-dev] Web language

2010-10-26 Thread Eli Barzilay
I want to finally move meta/web/html to a proper place. Any opinions about a name for the collection? Some reasonable options: * `scribble/html' -- for obvious reasons. * `scribble/web' -- possibly a too-broad name, since there's a whole bunch of stuff that could be considered part of a "we

Re: [racket-dev] highlighting function position with an underline.

2010-10-26 Thread Shriram Krishnamurthi
> I'm in the pit of despair... er, grading first-year exams, and I'm > looking at code that has terrible paren-placement issues.  I don't > take points off for this on exams, but I can only imagine how long > it takes these poor kids to get their code to run. Don't imagine. Record transcripts of

Re: [racket-dev] highlighting function position with an underline.

2010-10-26 Thread Matthias Felleisen
Or formulate a conjecture and collaborate with Guillaume to falsify it. -- Matthias _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Web language

2010-10-26 Thread Jay McCarthy
Can you do scribble/xml and if you want the XHTML specific stuff use/require scribble/xhtml? If not, then I'd suggest just plain scribble/xhtml. You aren't really making HTML as far as I know, so don't call it that. Jay On Tue, Oct 26, 2010 at 5:36 AM, Eli Barzilay wrote: > I want to finally mo

Re: [racket-dev] [plt] Push #21341: master branch updated

2010-10-26 Thread Jay McCarthy
I like the change, but I object to late changes in releases. The build script may be an okay exception. My net opinion is no opinion. Jay On Tue, Oct 26, 2010 at 5:28 AM, Eli Barzilay wrote: > Does anyone have a preference or an objection to use this change in > the release? > > * The important

Re: [racket-dev] Web language

2010-10-26 Thread Eli Barzilay
20 minutes ago, Jay McCarthy wrote: > Can you do scribble/xml and if you want the XHTML specific stuff > use/require scribble/xhtml? Well, it's kind of raw in the sense of being able to support xml if you provide all the bindings you need to use -- and I didn't want to grab another point in the `s

Re: [racket-dev] [plt] Push #21341: master branch updated

2010-10-26 Thread Eli Barzilay
10 minutes ago, Jay McCarthy wrote: > I like the change, but I object to late changes in releases. The > build script may be an okay exception. My net opinion is no opinion. (OK, so I have two weak votes on the two sides now.) The main point that makes this an exception is: > > * [...] Even if t

Re: [racket-dev] Web language

2010-10-26 Thread Jay McCarthy
On Tue, Oct 26, 2010 at 8:01 AM, Eli Barzilay wrote: > 20 minutes ago, Jay McCarthy wrote: >> Can you do scribble/xml and if you want the XHTML specific stuff >> use/require scribble/xhtml? > > Well, it's kind of raw in the sense of being able to support xml if > you provide all the bindings you n

Re: [racket-dev] Web language

2010-10-26 Thread Sam Tobin-Hochstadt
On Tue, Oct 26, 2010 at 10:01 AM, Eli Barzilay wrote: > > OK, I changed it -- but here are some of the points that made me think > that `html' is the right choice: Here's one more (and IMHO more significant) point: XHTML is on the way out as a web technology. In particular, HTML5 is treating the

Re: [racket-dev] Web language

2010-10-26 Thread Eli Barzilay
5 minutes ago, Sam Tobin-Hochstadt wrote: > On Tue, Oct 26, 2010 at 10:01 AM, Eli Barzilay wrote: > > > > OK, I changed it -- but here are some of the points that made me > > think that `html' is the right choice: > > Here's one more (and IMHO more significant) point: XHTML is on the > way out as

Re: [racket-dev] Web language

2010-10-26 Thread Sam Tobin-Hochstadt
On Tue, Oct 26, 2010 at 10:29 AM, Eli Barzilay wrote: > 5 minutes ago, Sam Tobin-Hochstadt wrote: >> On Tue, Oct 26, 2010 at 10:01 AM, Eli Barzilay wrote: >> > >> > OK, I changed it -- but here are some of the points that made me >> > think that `html' is the right choice: >> >> Here's one more (

Re: [racket-dev] Web language

2010-10-26 Thread Eli Barzilay
5 minutes ago, Sam Tobin-Hochstadt wrote: > > If you're planning to serve things under the text/html mime type > (which racket-lang.org currently does, for example) then it should > definitely be called `html'. Do you mean the "Content-Type" header? I understood at some point that this was a val

Re: [racket-dev] Web language

2010-10-26 Thread Sam Tobin-Hochstadt
On Tue, Oct 26, 2010 at 10:49 AM, Eli Barzilay wrote: > 5 minutes ago, Sam Tobin-Hochstadt wrote: >> >> If you're planning to serve things under the text/html mime type >> (which racket-lang.org currently does, for example) then it should >> definitely be called `html'. > > Do you mean the "Conten

Re: [racket-dev] highlighting function position with an underline.

2010-10-26 Thread John Clements
On Oct 26, 2010, at 5:07 AM, Shriram Krishnamurthi wrote: >> I'm in the pit of despair... er, grading first-year exams, and I'm >> looking at code that has terrible paren-placement issues. I don't >> take points off for this on exams, but I can only imagine how long >> it takes these poor kids

Re: [racket-dev] building docs, compile collects

2010-10-26 Thread Jon Rafkind
Eli helped me write a module that installs a compile manager which compiles all loaded files on the fly. $ cat compile.rkt #lang racket/base (require compiler/cm) (current-load/use-compiled (make-compilation-manager-load/use-compiled-handler)) $ racket -t compile.rkt -l racket/base -t somefile.rk

Re: [racket-dev] Pre-Release Checklist for v5.0.2, second call

2010-10-26 Thread Vincent St-Amour
At Mon, 25 Oct 2010 13:46:49 -0400, Ryan Culpepper wrote: > - Typed Scheme Tests These pass both on PPC Mac OS X and x86 debian, using the latest build with Matthew's changes to unsafe primitives. Vincent _ For list-related administrative tasks:

Re: [racket-dev] building docs, compile collects

2010-10-26 Thread Robby Findler
Perhaps the equivalent of that should be a racket commandline flag, to better support .rktl files? On Tuesday, October 26, 2010, Jon Rafkind wrote: > Eli helped me write a module that installs a compile manager which > compiles all loaded files on the fly. > $ cat compile.rkt > #lang racket/base

[racket-dev] 5.0.2 changelog

2010-10-26 Thread Jon Rafkind
Here is the raw changelog for 5.0.2. If you would like to summarize your changes please do so, otherwise someone (me/eli/ryan) will do it for you. If there are any other important items to note for this release please make a note of them. Matthew Flatt commit bf4fc2574c06132fece7342219fe6ea589e42f

Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Stevie Strickland
On Oct 26, 2010, at 2:34 PM, Jon Rafkind wrote: > Here is the raw changelog for 5.0.2. If you would like to summarize your > changes please do so, otherwise someone (me/eli/ryan) will do it for > you. If there are any other important items to note for this release > please make a note of them. > St

[racket-dev] planet remove triggers re-installation?

2010-10-26 Thread John Clements
Let me preface this by saying that I'm sure this is somehow my fault. Nevertheless, it seems broken. Trying to *remove* a planet package triggers its re-download and installation. See the transcript below. I'm guessing this has something to do with my use of development links, though I don't

Re: [racket-dev] planet remove triggers re-installation?

2010-10-26 Thread Carl Eastlund
Do you have any other packages that depend on rsound? It looks like Planet may be re-downloading it to satisfy some other dependency. References to Planet packages show up in odd places -- based on when the download occurred during "raco planet remove", I'd say some part of the documentation had a

Re: [racket-dev] Pre-Release Checklist for v5.0.2, second call

2010-10-26 Thread Sam Tobin-Hochstadt
On Mon, Oct 25, 2010 at 1:46 PM, Ryan Culpepper wrote: > * Sam Tobin-Hochstadt >  - Match Tests Done. -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Pre-Release Checklist for v5.0.2, second call

2010-10-26 Thread Carl Eastlund
On Mon, Oct 25, 2010 at 11:09 PM, Eli Barzilay wrote: > 9 hours ago, Ryan Culpepper wrote: >> [...] >> >> --> Release candidates are at >> -->   http://pre.racket-lang.org/release/installers > > There is now a build there that includes Matthew's change to the > unsafe bindings.  (As I said earlier

Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Jon Rafkind
On 10/26/2010 12:48 PM, Stevie Strickland wrote: > On Oct 26, 2010, at 2:34 PM, Jon Rafkind wrote: >> Here is the raw changelog for 5.0.2. If you would like to summarize your >> changes please do so, otherwise someone (me/eli/ryan) will do it for >> you. If there are any other important items to no

[racket-dev] corrected sxml.plt 2 1

2010-10-26 Thread John Clements
The existing version of sxml.plt has a compile-omit-paths that refers to "test.ss". Unfortunately, the actual filename is "tests.ss". This turns a one-minute installation into a terrifying fifteen-minute install-fest, covering a total of 21 additional planet packages. Is there any chance I ca

Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread John Clements
On Oct 26, 2010, at 12:28 PM, Matthias Felleisen wrote: > > 1. BSL, BSL+, ISL, and ISL+ (HtDP teaching languages) no longer support > checked signatures. > > 2. The stepper should kind of mostly work for universe programs. John? Precisely. That is: there's more junk that could be hidden, b

Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Matthias Felleisen
On Oct 26, 2010, at 3:51 PM, John Clements wrote: > > On Oct 26, 2010, at 12:28 PM, Matthias Felleisen wrote: > >> >> 1. BSL, BSL+, ISL, and ISL+ (HtDP teaching languages) no longer support >> checked signatures. >> >> 2. The stepper should kind of mostly work for universe programs. John?

Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Robby Findler
The contract library's dependent contracts are now faster and properly assign blame when they are internally inconsistent see the docs for ->i for more details. The 2htdp/image library now supports pinholes (but if you do not use the pinhole primitives then you do not see the pinholes). Robby ___

Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread John Clements
On Oct 26, 2010, at 12:53 PM, Matthias Felleisen wrote: > > On Oct 26, 2010, at 3:51 PM, John Clements wrote: > >> >> On Oct 26, 2010, at 12:28 PM, Matthias Felleisen wrote: >> >>> >>> 1. BSL, BSL+, ISL, and ISL+ (HtDP teaching languages) no longer support >>> checked signatures. >>> >>>

Re: [racket-dev] Pre-Release Checklist for v5.0.2, second call

2010-10-26 Thread Doug Williams
The PLoT tests and the plot extensions work as expected in the re-test. Also, the science collection and the new FFT routines now work as expected using the unsafe operations. Done On Mon, Oct 25, 2010 at 9:09 PM, Eli Barzilay wrote: > 9 hours ago, Ryan Culpepper wrote: > > [...] > > > > --> Re

Re: [racket-dev] swapping `unsafe-vector-ref' and `unsafe-vector*-ref'

2010-10-26 Thread Doug Williams
Thank you guys. The current science collection and FFT routines work again with the latest pre-release from last night. It did save me quite a bit of rework. Sorry for the inconvenience to you. Doug On Mon, Oct 25, 2010 at 3:38 PM, Eli Barzilay wrote: > Four hours ago, Matthew Flatt wrote: > >

Re: [racket-dev] corrected sxml.plt 2 1

2010-10-26 Thread Neil Van Dyke
John Clements wrote at 10/26/2010 03:49 PM: Is there any chance I can upload a new version of this package? Normally, we'd want to have a clear and very restricted process for this (what Debian would call "non-maintainer uploads (NMU)"). PLaneT already has trust/security issues to address

Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Vincent St-Amour
At Tue, 26 Oct 2010 12:34:07 -0600, Jon Rafkind wrote: > Vincent St-Amour > commit 8baa1682af76965400ab1071a46f8ba50f7c7165 > Turned the optimizer on by default. > commit 8d6230956dc8c207c097a389fa1f0c7273bb55b7 > Documented the optimizer. - Typed Racket's optimizer is now turned on by def