[racket-dev] comment boxes

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Jun 29 13:04:54 EDT 2010

Some kind of compression could help, but at the moment the format is
designed so that if someone were to copy and paste the contents of a
file into an email window and send it to us, we could still use it
(wierd linebreaks and all) and even if it gets truncated there is some
hope of recovering some of the content of the file. There probably is
a way to do better, but these properties have proven useful in the


On Tue, Jun 29, 2010 at 11:57 AM, Guillaume Marceau <gmarceau at gmail.com> wrote:
> On Sat, Jun 26, 2010 at 2:30 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> Saving comment boxes requires the file to be saved in our fancy file
>> format and it adds a fair amount of overhead to do that.
> My impression is that all overhead would pretty much disappear if the
> binary format was gzipped.
> I would like to see a variant of the .rkt format with implicit
> compression, like .jar's, or .pdf's. These are compressed, but without
> the file name extension exposing that fact to users.

Posted on the dev mailing list.