[racket-dev] comment boxes

From: Guillaume Marceau (gmarceau at gmail.com)
Date: Tue Jun 29 12:57:07 EDT 2010

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.