[racket-dev] test-engine/racket-tests

2010-06-08 Thread Sam Tobin-Hochstadt
I've just pushed a renaming of the `test-engine' library to use `racket' instead of `scheme' in the names. The current names are still there for compatibility. If anyone notices any problems with this, let me know. -- sam th sa...@ccs.neu.edu _

[racket-dev] scribble tables with centered cells

2010-06-15 Thread Sam Tobin-Hochstadt
I'd like to produce, with scribble, output similar to what this latex produces: \begin{tabular}{|c|c|c|} Header1 Header2 Header3 11 17 29 \end{tabular} However, I can't seem to figure out how. First, how can I make the elements centered? There doesn't seem to be a way to control the

Re: [racket-dev] Parallel Build of Collects

2010-07-05 Thread Sam Tobin-Hochstadt
On Mon, Jul 5, 2010 at 2:13 PM, Kevin Tew t...@cs.utah.edu wrote: Parallel build of collects is now the default option. This breaks for me, with current master (during 'make install'): raco setup: --- parallel build using 4 processor cores ---

Re: [racket-dev] Release Announcement for v5.0.1

2010-07-23 Thread Sam Tobin-Hochstadt
On Fri, Jul 23, 2010 at 8:19 PM, Eli Barzilay e...@barzilay.org wrote: Some suggested items below, if you have items, please mail me text that describes those that you think should be mentioned, and verify that the rest should not. I feel like we should mention items that were released in

Re: [racket-dev] Can't Find a Workaround for Bug 11017 in DrRacket

2010-07-25 Thread Sam Tobin-Hochstadt
On Sun, Jul 25, 2010 at 8:27 AM, Matthew Flatt mfl...@cs.utah.edu wrote: It's worrying, though, that you're getting a DrRacket backtrace that covers cm.rkt. Files in the main installation normally should not be instrumented for backtraces. Does your installation have any drracket

Re: [racket-dev] Release Announcement for v5.0.1

2010-07-27 Thread Sam Tobin-Hochstadt
On Tue, Jul 27, 2010 at 12:14 PM, Kevin Tew t...@cs.utah.edu wrote: On Jul 27, Kevin Tew wrote: Parallel-build is somewhat behind the scenes.  I would delay talking about it until the next release which will include -j documentation and parallel rendering of docs. Shouldn't the docs be

Re: [racket-dev] Typed Racket and importing polymorphic code

2010-08-02 Thread Sam Tobin-Hochstadt
On Mon, Aug 2, 2010 at 9:58 AM, Shriram Krishnamurthi s...@cs.brown.edu wrote: 1'. That seems unlikely given that if I instead add insert to the above (#lang racket) source file and run Check Syntax, I get the same error -- so it is indeed a static error.   (Well, maybe not static, there are

Re: [racket-dev] status of the new `racket/gui'

2010-08-02 Thread Sam Tobin-Hochstadt
On Mon, Aug 2, 2010 at 1:09 PM, Matthew Flatt mfl...@cs.utah.edu wrote: The `racket/gui' re-implementation is starting to come into focus. DrRacket mostly works, although lots and lots of problems remain. It looks very nice on my machine. One question: the open/save file dialogs on Gtk are

Re: [racket-dev] Added Sierpinski example to wikipedia page

2010-08-17 Thread Sam Tobin-Hochstadt
On Mon, Aug 16, 2010 at 11:38 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Some minimal surgery done. Note that the best way to make edits like this stick is to put the information we want on our web pages as well, and then cite it from Wikipedia. -- sam th sa...@ccs.neu.edu

Re: [racket-dev] a small Racket success story

2010-08-18 Thread Sam Tobin-Hochstadt
On Tue, Aug 17, 2010 at 9:21 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: we couldn't type the generator code (a bad interaction between mutation and occurrence typing). In almost all cases, when TR rejects your program because of this, your code is incorrect in the presence of threads

Re: [racket-dev] PLaneT Library of Iterations/Comprehensions

2010-08-18 Thread Sam Tobin-Hochstadt
On Wed, Aug 18, 2010 at 12:02 PM, Will M. Farr wmf...@gmail.com wrote: Hello all, I've been thinking for a while about putting together a PLaneT library of some iteration/comprehension forms that I often use that are not found in the racket core.  Right now, I have a small it-comp.plt local

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Sam Tobin-Hochstadt
On Tue, Aug 17, 2010 at 3:57 PM, Jay McCarthy jay.mccar...@gmail.com wrote: Please comment. I think that this: Your first task when changing old code is to build an adequate test suite to ensure you do not introduce new mistakes as you attempt to improve it. Thank you for improving the world

Re: [racket-dev] gc vs assignment

2010-08-24 Thread Sam Tobin-Hochstadt
On Tue, Aug 24, 2010 at 11:43 AM, Kevin Tew t...@cs.utah.edu wrote: After a garbage collection all non-nursery memory is write-protected. The first write to a page (16kB) , after a garbage collection, incurs the cost of unprotecting the page so it is writable and recording that the page has

[racket-dev] futures waiting for scheme_make_envunbox

2010-08-25 Thread Sam Tobin-Hochstadt
While trying to use futures to parallelize a simple piece of code, I was able to remove all of the waiting except for this: future: 3 waiting for runtime at 1282743524205.783936: [scheme_make_envunbox] which happens continuously. What causes this function to be invoked, and how can I eliminate

Re: [racket-dev] Problem with GC or with my machine?

2010-09-03 Thread Sam Tobin-Hochstadt
I'm pretty sure that this is a bug in `unsafe-set-box*!'. The following version of que.ss doesn't have the problem, but adding the * results in the segfault. On Fri, Sep 3, 2010 at 6:12 PM, Hari Prashanth krh...@ccs.neu.edu wrote: Yes the problem goes away once I turn off the optimizer... I

Re: [racket-dev] typed/scheme n00b question

2010-09-07 Thread Sam Tobin-Hochstadt
On Tue, Sep 7, 2010 at 8:04 AM, Robby Findler ro...@eecs.northwestern.edu wrote: You can't use that type in `require/typed', though, since the contract library doesn't accept `case-' contracts like that. The like that part is that two different arms of the case- would have the same arity?

[racket-dev] certificates and phases question

2010-09-08 Thread Sam Tobin-Hochstadt
I'm puzzled by the behavior of the below program. In particular, `get' doesn't work, but `get2' does, even though the only difference is the phase at which they're executed. `get' produces the certificate error: compile: access from an uncertified context to unexported variable from module:

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

2010-09-09 Thread Sam Tobin-Hochstadt
On Mon, Aug 23, 2010 at 11:02 AM, Will M. Farr wmf...@gmail.com wrote: On Aug 23, 2010, at 7:40 AM, Matthew Flatt wrote: Maybe you want to thread the vector index through using `for/fold' instead of drawing the index from a sequence. The expansion could insert enough `#:when' clauses to

Re: [racket-dev] rename + changes = bad? (was: Fwd: [plt] Push #21110: master branch updated)

2010-09-17 Thread Sam Tobin-Hochstadt
On Fri, Sep 17, 2010 at 1:36 PM, John Clements cleme...@brinckerhoff.org wrote: Oof... it looks like doing a rename plus a few changes pretty effectively hides those changes, though I can dig them out with 'git annotate'.  Do we have a policy (or should we have) a policy stating that you

Re: [racket-dev] the racket machine

2010-09-24 Thread Sam Tobin-Hochstadt
On Fri, Sep 24, 2010 at 3:48 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I know there are a bunch of people working on things at that level, so if you have a chance to take a look at this, you might find it useful as you muck about down there (there are examples and things :). Cool!

Re: [racket-dev] slideshow not hiding KDE panel

2010-09-30 Thread Sam Tobin-Hochstadt
On Thu, Sep 30, 2010 at 6:47 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 30 Sep 2010 20:20:07 -0400, Faré wrote: I'm trying to use slideshow on Linux, and I find it annoying that it fails to be on top of the KDE panel. I admit I know next to nothing about the X protocol, and can't

Re: [racket-dev] flonum vs. inexact-real

2010-10-03 Thread Sam Tobin-Hochstadt
On Sun, Oct 3, 2010 at 10:49 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Would it make sense for typed scheme to hook up with check syntax to show the type of subexpressions (say when mousing over parens or something)? I'm not sure if that's too late in general, but it seems like

Re: [racket-dev] flonum vs. inexact-real

2010-10-03 Thread Sam Tobin-Hochstadt
On Sun, Oct 3, 2010 at 10:42 AM, Matthew Flatt mfl...@cs.utah.edu wrote: The `flonum?' predicate would be the only new predicate for now. The `inexact-integer?' predicate would imply `flonum?', but not vice-versa. I assume you mean `inexact-real?' here. The flonum operators (with names that

Re: [racket-dev] Bug? identifier `make-Int' not included in nested require spec.

2010-10-04 Thread Sam Tobin-Hochstadt
This is a known bug with the interaction of `struct' and `require/typed'. `define-struct' should work here. On Mon, Oct 4, 2010 at 7:11 PM, Hari Prashanth krh...@ccs.neu.edu wrote: Am I doing some thing wrong or is it a bug? #lang racket/load (module UNTYPED racket/base  (struct Int

Re: [racket-dev] #true and #false

2010-10-10 Thread Sam Tobin-Hochstadt
On Sun, Oct 10, 2010 at 9:39 AM, Matthew Flatt mfl...@cs.utah.edu wrote: Any other opinions? Personally, I find #true and #false visually ugly, and I also agree with Eli's feelings on terseness. I don't think I've ever accidentally confused #t and #f personally, so I'm not in favor of changing

[racket-dev] fuzz testing the bytecode reader

2010-10-19 Thread Sam Tobin-Hochstadt
Earlier today, I wrote a simple fuzz tester for bytecode reading and evaluation. The code is attached. It takes an existing zo file, reads it in as bytes, randomly flips some small portion of the bits (0.1%), and then `read's and `eval's the results. This extremely quickly finds segfaults in

Re: [racket-dev] Grr... why can't I pull?

2010-10-19 Thread Sam Tobin-Hochstadt
On Tue, Oct 19, 2010 at 2:28 PM, John Clements cleme...@brinckerhoff.org wrote: Am I doing something stupid, here? I'm having the same problem, and I'm at the same conference as John, so I suspect that's the issue. I can pull fine from my machine at Northeastern. -- sam th sa...@ccs.neu.edu

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-25 Thread Sam Tobin-Hochstadt
On Mon, Oct 25, 2010 at 10:06 AM, Doug Williams m.douglas.willi...@gmail.com wrote:   (case- (-r ((r random-source?)     (a real?)     (b (/c a)))    real?)   (-r ((a real?)     (b (/c a)))    real?))) I'm not sure that

Re: [racket-dev] building docs, compile collects

2010-10-25 Thread Sam Tobin-Hochstadt
On Mon, Oct 25, 2010 at 4:54 PM, Jon Rafkind rafk...@cs.utah.edu wrote: My motivation is to quickly test changes to core libraries (like collects/racket) after doing a 'git pull --rebase'. Given that this is your motivation, why not just use: 'raco setup -D' which skips the documentation

Re: [racket-dev] building docs, compile collects

2010-10-25 Thread Sam Tobin-Hochstadt
On Mon, Oct 25, 2010 at 5:15 PM, Jon Rafkind rafk...@cs.utah.edu wrote: On 10/25/2010 03:06 PM, Sam Tobin-Hochstadt wrote: On Mon, Oct 25, 2010 at 4:54 PM, Jon Rafkind rafk...@cs.utah.edu wrote: My motivation is to quickly test changes to core libraries (like collects/racket) after doing

Re: [racket-dev] Web language

2010-10-26 Thread Sam Tobin-Hochstadt
On Tue, Oct 26, 2010 at 10:01 AM, Eli Barzilay e...@barzilay.org wrote: OK, I changed it -- but here are some of the points that made me think that `html' is the right choice: Here's one more (and IMHO more significant) point: XHTML is on the way out as a web technology. In particular, HTML5

Re: [racket-dev] Web language

2010-10-26 Thread Sam Tobin-Hochstadt
On Tue, Oct 26, 2010 at 10:49 AM, Eli Barzilay e...@barzilay.org wrote: 5 minutes ago, Sam Tobin-Hochstadt wrote: If you're planning to serve things under the text/html mime type (which racket-lang.org currently does, for example) then it should definitely be called `html'. Do you mean

Re: [racket-dev] Pre-Release Checklist for v5.0.2, second call

2010-10-26 Thread Sam Tobin-Hochstadt
On Mon, Oct 25, 2010 at 1:46 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Sam Tobin-Hochstadt sa...@ccs.neu.edu  - Match Tests Done. -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo

Re: [racket-dev] [plt] Push #21356: gr2 branch updated

2010-10-27 Thread Sam Tobin-Hochstadt
mflatt has updated `gr2' from 5633895cf0 to 2b2de4ece6. http://git.racket-lang.org/plt/5633895cf0..2b2de4ece6 So, I see from this commit that you're planning to move the version number to 5.5. I think this is a mistake. We've been trying to be more conventional in our project managment, and

Re: [racket-dev] [plt] Push #21356: gr2 branch updated

2010-10-27 Thread Sam Tobin-Hochstadt
On Wed, Oct 27, 2010 at 4:22 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Is there no conventional precedent for this? There are several numbering schemes in use in projects that I know about: 1. major.minor.patch, as with us. The Linux Kernel, GCC, Subversion, Git, and many many other

Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Sam Tobin-Hochstadt
On Thu, Oct 28, 2010 at 1:40 AM, Jon Rafkind rafk...@cs.utah.edu wrote: Author: Sam Tobin-Hochstadt sa...@racket-lang.org    Faster loading of TR files? Not worth mentioning. You do have the optimizer-by-default in the changelog, right? -- sam th sa...@ccs.neu.edu

Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Sam Tobin-Hochstadt
On Thu, Oct 28, 2010 at 12:29 PM, Eli Barzilay e...@barzilay.org wrote: Three hours ago, Matthias Felleisen wrote: On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote: None seem especially worth mentioning, but the internal-definition change could be mentioned if we need more to Say: *

Re: [racket-dev] Scribble Racket Code with Here Strings

2010-10-30 Thread Sam Tobin-Hochstadt
On Sat, Oct 30, 2010 at 11:56 AM, Eli Barzilay e...@barzilay.org wrote: That is, the here string has been rendered as a normal string with lots of whitespace after. There's lots of ways to create strings and the documentation system can't tell them apart -- so it rendered it as a string, but

[racket-dev] A Workshop on Racket

2010-11-01 Thread Sam Tobin-Hochstadt
. Filling out the survey doesn't commit you to anything. If you have any other comments, questions, or feedback, please send them to me directly. For the organizers, Sam Tobin-Hochstadt _ For list-related administrative tasks: http://lists.racket

Re: [racket-dev] try the GRacket2 branch

2010-11-05 Thread Sam Tobin-Hochstadt
On Thu, Oct 28, 2010 at 2:25 AM, Matthew Flatt mfl...@cs.utah.edu wrote: The git repository now includes a gr2 branch for the new implementation of `racket/gui', which we've been informally calling GRacket2. What are the plans for merging between the master and gr2 branches? Right now, I can

Re: [racket-dev] Simple loop checking in beginner?

2010-11-10 Thread Sam Tobin-Hochstadt
On Wed, Nov 10, 2010 at 10:40 AM, namekuseijin namekusei...@gmail.com wrote: On Wed, Nov 10, 2010 at 12:13 AM, John Clements cleme...@brinckerhoff.org wrote: ;; NOW I'M A STUDENT: ;; only-long-strings : (listof string) - (listof string) ;; return a list containing the strings longer than 2

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Sam Tobin-Hochstadt
On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: You know, it's not inconceivable such a thing could happen if you had a PURELY syntactic *interpreter*. I remember when I got to Brown, they were using one of those weirdo Scheme interpreters, and had come to

Re: [racket-dev] [racket] newbie: foreign C structure definition question

2010-11-16 Thread Sam Tobin-Hochstadt
[redirected to d...@] On Tue, Nov 16, 2010 at 11:28 PM, Eli Barzilay e...@barzilay.org wrote: 20 minutes ago, Jay McCarthy wrote: I've complained about this before, which is why I was able to quickly answer your question. I don't endorse the current behavior. (Just a reminder: this is

Re: [racket-dev] [racket] newbie: foreign C structure definition question

2010-11-17 Thread Sam Tobin-Hochstadt
On Wed, Nov 17, 2010 at 2:12 AM, Eli Barzilay e...@barzilay.org wrote: Two hours ago, Sam Tobin-Hochstadt wrote: Python's 'ctypes' library, which also uses libffi under the hood, has arrays:   http://docs.python.org/library/ctypes.html#arrays and also unions, which we don't have:   http

Re: [racket-dev] TR - no source locations?

2010-11-20 Thread Sam Tobin-Hochstadt
There are a lot of things you could mean by Typed Racket doesn't preserve source locations. Some of them TR definitely preserves source locations, and some are hard cases where TR tries but doesn't always succeed. So I am also interested in an example. On Sat, Nov 20, 2010 at 1:55 PM, Carl

Re: [racket-dev] TR - no source locations?

2010-11-26 Thread Sam Tobin-Hochstadt
On Fri, Nov 26, 2010 at 5:26 AM, Noel Welsh noelwe...@gmail.com wrote: On Tue, Nov 23, 2010 at 6:18 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: What's happening here is that the typed wrapper in `typed/rackunit' is treating `check-equal?' as a function, but it's really an identifier

Re: [racket-dev] Hacking on the collects

2010-12-06 Thread Sam Tobin-Hochstadt
On Mon, Dec 6, 2010 at 12:04 PM, Jakub Piotr Cłapa jpc...@zenburn.net wrote: I added support for secure websockets to net/websocket/client and now I am wondering how I should make such changes in th future to easily integrate them back into racket? What I have tried: 1. Fork racket on github

Re: [racket-dev] Hacking on the collects

2010-12-06 Thread Sam Tobin-Hochstadt
On Mon, Dec 6, 2010 at 12:16 PM, Jay McCarthy jay.mccar...@gmail.com wrote: If you do a pull request on github, it will not be useful because github is a mirror and I'll just need to get the patch some other way anyways. I'd rather you sent the patch directly to me. This isn't quite right.

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

2010-12-10 Thread Sam Tobin-Hochstadt
On Fri, Dec 10, 2010 at 8:26 AM, Casey Klein clkl...@eecs.northwestern.edu wrote: On Fri, Dec 10, 2010 at 7:00 AM, Eli Barzilay e...@barzilay.org wrote: As for a suggestion, I don't have anything concrete (and I don't have nearly enough contract experience to say something concrete) -- but in

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-11 Thread Sam Tobin-Hochstadt
On Sat, Dec 11, 2010 at 9:47 PM, Robby Findler ro...@eecs.northwestern.edu wrote: This seems like an unfortunate naming discrepancy. I agree. I think the solution is to change Racket, however. From the perspective of the type system, inexact integers are useless - they have no closure

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-12 Thread Sam Tobin-Hochstadt
On Sat, Dec 11, 2010 at 10:53 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Changing Racket is tricky, but I think using the `Integer' type for something useless (it's not even currently represented in the TR type system) would be a mistake. Well, the change to TR would be to change

Re: [racket-dev] spam planet bug reports

2010-12-18 Thread Sam Tobin-Hochstadt
On Sat, Dec 18, 2010 at 9:02 AM, Robby Findler ro...@eecs.northwestern.edu wrote: So I'm guessing that this means that they are serious about spamming planet (why?!). PLaneT is result #9 for google (w/ no cookies) for the word planet. Thus I would guess that having links from there to your

Re: [racket-dev] sudo make install

2011-01-03 Thread Sam Tobin-Hochstadt
On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Or maybe there is another possible solution that involves changing how the distribution and or the docs build works? I think the conventional solution is for `make install' to do much less work than it current

Re: [racket-dev] A disassembler for Racket

2011-01-05 Thread Sam Tobin-Hochstadt
On Wed, Jan 5, 2011 at 5:39 PM, Neil Van Dyke n...@neilvandyke.org wrote: Sam Tobin-Hochstadt wrote at 01/05/2011 05:28 PM: I've been on-and-off working on a disassembler for jitted x86 functions in Racket, This is great, Sam.  Thank you. Your problem now is that, while some CL-type people

Re: [racket-dev] Git

2011-01-07 Thread Sam Tobin-Hochstadt
On Fri, Jan 7, 2011 at 10:42 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Another question: what if I commit something just for the purpose of moving to another machine and I don't want that commit to show up in the main repository? Is that possible? (My tree is currently in that

Re: [racket-dev] JFYI: Apple's Mac App store now online

2011-01-11 Thread Sam Tobin-Hochstadt
On Tue, Jan 11, 2011 at 12:52 PM, John Clements cleme...@brinckerhoff.org wrote: Anyhow, I wouldn't be surprised if in the next few years users start asking why DrRacket isn't available through the App store. I expect that, like the iOS App Store, distribution through the App store is

Re: [racket-dev] Pre-Release Checklist for v5.1, second call

2011-02-04 Thread Sam Tobin-Hochstadt
On Thu, Feb 3, 2011 at 9:08 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Sam Tobin-Hochstadt sa...@ccs.neu.edu  - Match Tests Done. -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo

Re: [racket-dev] drafting the v5.1 release announcement

2011-02-09 Thread Sam Tobin-Hochstadt
On Wed, Feb 9, 2011 at 4:28 PM, Jon Rafkind rafk...@cs.utah.edu wrote: Here are some items I pulled from the commit log I'm not sure how you selected these, but some of them aren't even in the 5.1 release (such as Vincent's changes). -- sam th sa...@ccs.neu.edu

Re: [racket-dev] drafting the v5.1 release announcement

2011-02-09 Thread Sam Tobin-Hochstadt
On Wed, Feb 9, 2011 at 3:37 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Let's get the ball rolling on the release announcement. * Images created with `2htdp/image' now automatically serialize to PNG files when asked. This means that image examples now render automatically when used in Scribble

Re: [racket-dev] Latex files

2011-02-18 Thread Sam Tobin-Hochstadt
On Fri, Feb 18, 2011 at 9:42 PM, Robby Findler ro...@eecs.northwestern.edu wrote: It wouldn't hurt to include a little script that downloads the correct versions of the files from racket-lang.org somewhere and puts them where they are currently, tho, no? At least for the JFP file, it's pretty

Re: [racket-dev] Packaging

2011-02-18 Thread Sam Tobin-Hochstadt
On Fri, Feb 18, 2011 at 8:17 PM, Robby Findler ro...@eecs.northwestern.edu wrote: One more comment: one of PLaneT's design goals what that if you have a working system and you install a new planet package, then you didn't break any of the working parts from before. The new system doesn't seem

Re: [racket-dev] Latex files

2011-02-19 Thread Sam Tobin-Hochstadt
On Sat, Feb 19, 2011 at 8:22 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 18 Feb 2011 22:44:54 -0500, Sam Tobin-Hochstadt wrote: At least for the JFP file, it's pretty clearly a copyright violation for us to distribute the file at all -- on the web page or elsewhere. We'd have

Re: [racket-dev] Latex files

2011-02-19 Thread Sam Tobin-Hochstadt
. Robby On Sat, Feb 19, 2011 at 8:46 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Sat, Feb 19, 2011 at 8:22 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 18 Feb 2011 22:44:54 -0500, Sam Tobin-Hochstadt wrote: At least for the JFP file, it's pretty clearly a copyright violation

Re: [racket-dev] [racket] tests/eli-tester feedback (Was: Racket unit testing)

2011-02-20 Thread Sam Tobin-Hochstadt
On Sun, Feb 20, 2011 at 7:08 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: I also generalized the idea of test headers based on a long-standing feature request (the ability to designate tests as expected to fail). Thank you! This is indeed something I've wanted for a long time. -- sam th

Re: [racket-dev] define-wish and a call for assistance

2011-02-21 Thread Sam Tobin-Hochstadt
On Mon, Feb 21, 2011 at 8:04 AM, Kathryn Gray kathryn.g...@cl.cam.ac.uk wrote: I've added a preliminary version of define-wish to the teaching languages and the test-engine Can we please please please not have any new undocumented features added to the languages, *especially* the teaching

Re: [racket-dev] racket/stream

2011-03-17 Thread Sam Tobin-Hochstadt
On Thu, Mar 17, 2011 at 3:34 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: 1. I think we should stay away from 'stream' here. If Racket had grown out of the Unix tradition, I'd be fine with it. But we partially grew out the functional community, and they use 'stream' for a narrower

Re: [racket-dev] jit overflow error during building

2011-03-20 Thread Sam Tobin-Hochstadt
-0400, Sam Tobin-Hochstadt wrote: Currently, I can't build Racket from Git.  I get this error: env XFORM_PRECOMP=yes ../racketcgc -cqu ../../../racket/gc2/xform.rkt --setup . --cpp gcc -E -I./.. -I../../../racket/gc2/../include -pthread   -DNEWGC_BTC_ACCOUNT  -D_LARGEFILE_SOURCE

Re: [racket-dev] Making --enable -places the default.

2011-03-29 Thread Sam Tobin-Hochstadt
things that are events in the event documentation. On 03/28/2011 05:34 PM, Sam Tobin-Hochstadt wrote: Not a bug or crash, but it would be nice if a `place' was an event, in the sense of `evt?'.  Come to think of it, this would be good for `future' as well. On Mon, Mar 28, 2011 at 1:08 PM, Kevin

Re: [racket-dev] Making --enable -places the default.

2011-03-29 Thread Sam Tobin-Hochstadt
On Tue, Mar 29, 2011 at 8:42 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Mon, Mar 28, 2011 at 6:34 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: Not a bug or crash, but it would be nice if a `place' was an event, in the sense of `evt?'.  Come to think of it, this would be good

Re: [racket-dev] Making --enable -places the default.

2011-03-29 Thread Sam Tobin-Hochstadt
On Tue, Mar 29, 2011 at 9:38 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 29 Mar 2011 08:46:06 -0400, Sam Tobin-Hochstadt wrote: I just meant that (sync (future (lambda () ...))) should be the same as (touch (future (lambda () ...))) or is that hard for future-safety reasons

Re: [racket-dev] Parametric/c (was Re: [plt] Push #22411: master branch updated)

2011-04-08 Thread Sam Tobin-Hochstadt
On Fri, Apr 8, 2011 at 11:38 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Friday, April 8, 2011, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Fri, Apr 8, 2011 at 10:57 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I think I'm not in favor of the move of parametric/c

Re: [racket-dev] exact nonnegative integers as sequences?

2011-04-18 Thread Sam Tobin-Hochstadt
On Mon, Apr 18, 2011 at 9:25 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I often write  (for ([i (in-range N)]) ...) In cases where the loop overhead is not significant (i.e., I don't care whether the compiler can tell that I'm iterating through integers), Or in cases where you're using

Re: [racket-dev] exact nonnegative integers as sequences?

2011-04-18 Thread Sam Tobin-Hochstadt
On Mon, Apr 18, 2011 at 9:58 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I also don't buy Sam's implicit argument for my example. If I had tried to port this to code to typed racket to just read off the types, I would have spent far longer as debugging via TR's error messages is going

Re: [racket-dev] lots of new tests pushed

2011-04-25 Thread Sam Tobin-Hochstadt
, 2011 at 8:14 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Apr 25, 2011 at 8:40 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Monday, April 25, 2011, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Apr 25, 2011 at 2:32 PM, Robby Findler ro...@eecs.northwestern.edu

Re: [racket-dev] Typed Racket support for Ephemerons

2011-04-26 Thread Sam Tobin-Hochstadt
On Tue, Apr 26, 2011 at 2:19 PM, Eric Dobson eric.n.dob...@gmail.com wrote: I have added support for ephemerons to Typed Racket, and submitted a pull request on Github (https://github.com/plt/racket/pull/5). This patch is supposed to fix PR 11633. All of this looks good, except that

Re: [racket-dev] narrow menus in 5.1

2011-04-26 Thread Sam Tobin-Hochstadt
This happens on my system as well, which is Ubuntu 11.04, but it didn't happen until some point after 5.1, I believe. On Tue, Apr 26, 2011 at 6:58 PM, Jon Rafkind rafk...@cs.utah.edu wrote: A user from #scheme on irc said drracket in 5.1 shows narrow menus. His system is ubuntu 10.10, the

[racket-dev] Redirecting documentation links

2011-05-06 Thread Sam Tobin-Hochstadt
Is it possible to tell Scribble to use the documentation for one binding for another binding? For example, Typed Racket has a binding for `for' which is semantically the same as `for' from `racket/base', but wraps a trivial type annotation around it. Rather than having an entry in the TR docs

Re: [racket-dev] Redirecting documentation links

2011-05-06 Thread Sam Tobin-Hochstadt
On Fri, May 6, 2011 at 10:15 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I think the right way to do this is to use defidthing with a minimal description and a pointer over to the racket for. That's certainly possible, but I don't think it's the right user experience for someone

Re: [racket-dev] racket vs. scheme vs. clojure (as it appears to others)

2011-05-06 Thread Sam Tobin-Hochstadt
The technology Noel is suggesting randomly chooses whether to give the current description, or some new description (which we would have to write). Then it measures which description leads more people to download Racket. On Fri, May 6, 2011 at 10:41 AM, Matthias Felleisen matth...@ccs.neu.edu

Re: [racket-dev] racket vs. scheme vs. clojure (as it appears to others)

2011-05-07 Thread Sam Tobin-Hochstadt
Right now, we're already using JS to decide which of the 3 initial code snippets to display. So, why not start with using Noel's tool for that, and go from there? We already have a built-in group of possibilities to measure, and we're already using JavaScript. As an aside, I suspect that

[racket-dev] syntax/stx vs racket/private/stx

2011-05-13 Thread Sam Tobin-Hochstadt
The `syntax/stx' and `racket/private/stx' libraries contain a bunch of duplication. In particular, the following functions seem identical: `stx-null?' `stx-list?' `stx-list' `stx-pair?' `stx-car' `stx-cdr'. Is there any reason not to just have `syntax/stx' reprovide them, instead of defining

Re: [racket-dev] syntax/stx vs racket/private/stx

2011-05-16 Thread Sam Tobin-Hochstadt
On Mon, May 16, 2011 at 8:36 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Mon, May 16, 2011 at 7:14 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 13 May 2011 17:38:41 -0400, Sam Tobin-Hochstadt wrote: The `syntax/stx' and `racket/private/stx' libraries contain a bunch

Re: [racket-dev] gtk too-small menu bar

2011-05-17 Thread Sam Tobin-Hochstadt
On Tue, May 17, 2011 at 12:04 PM, Robby Findler ro...@eecs.northwestern.edu wrote: In consultation with Matthew, I've pushed a change that fixes the too small menu bar problem, at least on a VM on my laptop. If you're seeing this problem, can you check and see if the change fixes it for you

Re: [racket-dev] gtk too-small menu bar

2011-05-17 Thread Sam Tobin-Hochstadt
On Tue, May 17, 2011 at 2:58 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, May 17, 2011 at 1:45 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, May 17, 2011 at 12:04 PM, Robby Findler ro...@eecs.northwestern.edu wrote: In consultation with Matthew, I've pushed

[racket-dev] Fancy application/automatic anonymous functions

2011-05-17 Thread Sam Tobin-Hochstadt
Scala has the nice feature that if you write something like this: lst.map(_ - 1) It automatically rewrites to a function like this: lst.map(x = x - 1) This makes writing some higher-order functions much easier. Of course, it's easy to make this using a macro and `#%app'. You can see the

Re: [racket-dev] gtk too-small menu bar

2011-05-17 Thread Sam Tobin-Hochstadt
On Tue, May 17, 2011 at 3:08 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, May 17, 2011 at 2:05 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, May 17, 2011 at 2:58 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, May 17, 2011 at 1:45 PM, Sam Tobin

Re: [racket-dev] Fancy application/automatic anonymous functions

2011-05-17 Thread Sam Tobin-Hochstadt
On Tue, May 17, 2011 at 3:21 PM, Robby Findler ro...@eecs.northwestern.edu wrote: What is the rule for where the lambda goes? If you have an application with one (or more) occurences of `_' as immediate subforms, then that application is rewritten into (lambda args the-original-application). It

Re: [racket-dev] gtk too-small menu bar

2011-05-17 Thread Sam Tobin-Hochstadt
On Tue, May 17, 2011 at 3:20 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, May 17, 2011 at 2:16 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, May 17, 2011 at 3:08 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, May 17, 2011 at 2:05 PM, Sam Tobin

Re: [racket-dev] gtk too-small menu bar

2011-05-17 Thread Sam Tobin-Hochstadt
On Tue, May 17, 2011 at 3:16 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:  I'll see if I can come up with a smaller test case. Here's a smaller test case for the problem/bug. Since this doesn't call any of the framework/drracket, I'm assuming it's an issue in the GTK bindings. #lang racket

Re: [racket-dev] crash in DrRacket 5.1.1

2011-05-19 Thread Sam Tobin-Hochstadt
This crashes DrRacket (but not command line Racket, or 'raco make') on Linux as well, but *only* if Debugging is off. On Thu, May 19, 2011 at 10:11 AM, Pierpaolo Bernardi olopie...@gmail.com wrote: Hello, attempting to compile the attached file crashes DrRacket. Banner: Welcome to DrRacket,

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Sam Tobin-Hochstadt
On Fri, May 20, 2011 at 10:53 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I like the idea of adjusting the semantics of internal definitions and leaving `letrec' alone. While this seems like a nice change, how does it interact with internal syntax definitions? If there are internal syntax

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Sam Tobin-Hochstadt
On Fri, May 20, 2011 at 5:25 PM, John Clements cleme...@brinckerhoff.org wrote: On May 20, 2011, at 1:39 PM, Matthias Felleisen wrote: Let me make my proposals (2 and 3) more precise because your response suggests they were too short. 1. We could make internal define the primary vehicle

[racket-dev] RacketCon -- July 23 24

2011-05-23 Thread Sam Tobin-Hochstadt
information can be found on the web page: http://con.racket-lang.org Sam Tobin-Hochstadt _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] type-case + typed racket yet?

2011-05-25 Thread Sam Tobin-Hochstadt
On Wed, May 25, 2011 at 12:27 PM, John Clements cleme...@brinckerhoff.org wrote: Is there a best-practice model for type-case-like things in typed racket yet? Obvious choices: - tagged-list style, it's all a big cond but I have to use first, second, etc to refer to fields - struct-union

Re: [racket-dev] goofy type hack (was: Re: type-case + typed racket yet?)

2011-05-25 Thread Sam Tobin-Hochstadt
On Wed, May 25, 2011 at 1:43 PM, John Clements cleme...@brinckerhoff.org wrote: I see that typed racket doesn't signal an error on a match that doesn't have clauses for all possible inputs, which is entirely reasonable; since that will signal an error, that code should typecheck fine.

Re: [racket-dev] Please help me to understand the two lines.

2011-05-30 Thread Sam Tobin-Hochstadt
On Mon, May 30, 2011 at 10:07 AM, Yingjian Ma yingjian.ma1...@gmail.com wrote: The lines are from http://pre.racket-lang.org/docs/html/reference/booleans.html section 3.1 The lines are: (boolean? v) → boolean?   v : any/c Question 1 The result (boolean? v) is a boolean.  Why is it not

Re: [racket-dev] Racket breaking and exiting

2011-06-02 Thread Sam Tobin-Hochstadt
On Thu, Jun 2, 2011 at 12:39 AM, Eduardo Bellani ebell...@gmail.com wrote: I think I understand you, but in that case it should report the undefined reference and stay on the repl, no? The next thing after `a' on the port is end-of-file, so the REPL decides that everything is done, and exits.

Re: [racket-dev] typed/racket for loops?

2011-06-07 Thread Sam Tobin-Hochstadt
: Its a bad error message I believe. (: p (Listof Fixnum)) (define p  (for/list: : (Listof Fixnum) ([i : Fixnum (in-range 30)]) i)) - Original Message - From: John Clements cleme...@brinckerhoff.org To: Sam Tobin-Hochstadt sa...@ccs.neu.edu Cc: dev dev@racket-lang.org Sent

Re: [racket-dev] more general typed/scheme bafflement...

2011-06-07 Thread Sam Tobin-Hochstadt
On Tue, Jun 7, 2011 at 4:57 PM, John Clements cleme...@brinckerhoff.org wrote: On Jun 7, 2011, at 4:26 PM, Carl Eastlund wrote: John, You had an easy time with + because it is monomorphic.  You are having trouble applying one polymorphic function (map) to another (list or list2).  

Re: [racket-dev] `take-until' etc

2011-06-08 Thread Sam Tobin-Hochstadt
Me too. I like `take-until' as well. 2011/6/8 Jay McCarthy jay.mccar...@gmail.com: I'd really like #:unless as well iPhoneから送信 On 2011/06/08, at 9:21, Eli Barzilay e...@barzilay.org wrote: Anyone seconds this? And if so, then maybe for-loops should have an `#:unless' too? (I know that

  1   2   3   4   5   6   7   >