On Sat, Jun 26, 2010 at 2:30 PM, Robby Findler <ro...@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. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
