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 cleme...@brinckerhoff.org wrote: On Sep 27, 2010, at 8:14 PM,

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

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. Done.

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 for a library.

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 skipped

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 cleme...@brinckerhoff.org wrote: I want to read a chunk from the middle of a 50-megabyte file.  As far as I

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

2010-09-28 Thread Andreas Rottmann
John Clements cleme...@brinckerhoff.org 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