Re: [racket-dev] safe version of racket/unsafe/ops?

2010-09-28 Thread Robby Findler
You could put all the requires into one file and then re-export things? (At least for now.) Also, you can end up exporting too much, ie unsafe-call-with-current-continuation :). Robby On Mon, Sep 27, 2010 at 11:20 PM, John Clements wrote: > > On Sep 27, 2010, at 8:14 PM, Robby Findler wrote: > >

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

2010-09-28 Thread Eli Barzilay
Can we please not have this?? The whole point of having uniform names is that you can use require/provide things easily so there's no need for a library. In addition, the usual way things went so far was to write safe code, and then "turn on" unsafely by adding requires with dropping the prefix,

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

2010-09-28 Thread John Clements
On Sep 28, 2010, at 8:23 AM, Eli Barzilay wrote: > Can we please not have this?? The whole point of having uniform names > is that you can use require/provide things easily so there's no need > for a library. Sure, I don't feel strongly about it. Done. To be clear, my use case is this: I'm tr

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

2010-09-28 Thread Eli Barzilay
An hour ago, John Clements wrote: > > On Sep 28, 2010, at 8:23 AM, Eli Barzilay wrote: > > > Can we please not have this?? The whole point of having uniform names > > is that you can use require/provide things easily so there's no need > > for a library. > > Sure, I don't feel strongly about it

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

2010-09-28 Thread John Clements
On Sep 28, 2010, at 10:09 AM, Eli Barzilay wrote: > An hour ago, John Clements wrote: >> >> On Sep 28, 2010, at 8:23 AM, Eli Barzilay wrote: >> >>> Can we please not have this?? The whole point of having uniform names >>> is that you can use require/provide things easily so there's no need >>>

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

2010-09-28 Thread Jon Rafkind
http://www.cs.utah.edu/~rafkind/tmp/lines.png This is not yet enabled, to see it change (show-line-numbers?) to #t. I don't know how to add menu options and configuration stuff off-hand, if anyone can whip it up quickly go for it, otherwise it will take me some extra time to figure it out.

[racket-dev] random-access file reading

2010-09-28 Thread John Clements
I want to read a chunk from the middle of a 50-megabyte file. As far as I can see, there are no random-access file primitives currently in DrRacket. Also, I don't see a "skip-bytes", so it looks like I should be allocating a junk buffer and then repeatedly calling read-bytes to read the skippe

Re: [racket-dev] random-access file reading

2010-09-28 Thread Jay McCarthy
I think you want file-position http://docs.racket-lang.org/reference/port-buffers.html#(def._((quote._~23~25kernel)._file-position)) Jay On Tue, Sep 28, 2010 at 3:15 PM, John Clements wrote: > I want to read a chunk from the middle of a 50-megabyte file.  As far as I > can see, there are no ra

Re: [racket-dev] random-access file reading

2010-09-28 Thread Andreas Rottmann
John Clements writes: > I want to read a chunk from the middle of a 50-megabyte file. As far > as I can see, there are no random-access file primitives currently in > DrRacket. Also, I don't see a "skip-bytes", so it looks like I should > be allocating a junk buffer and then repeatedly calling