Re: [racket-dev] Interactive Tutorial

2012-03-23 Thread Stephen Bloch
On Mar 21, 2012, at 3:34 PM, Nick Shelley wrote: > My brother has been interested in learning to program, but not super > motivated. I've tried to get him into HtDP 2e, but for him there's too much > reading and not enough doing (and when he comes to the exercises he usually > skips them anywa

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

2012-03-23 Thread Jay McCarthy
Awesome Ryan, thanks for looking into it. I now feel stupid that I didn't see that before. I found a really simple solution too. Jay On 3/22/12, Ryan Culpepper wrote: > On 03/22/2012 03:27 PM, Jay McCarthy wrote: >> Someone else noticed this warning. >> >> http://bugs.racket-lang.org/query/?cmd

Re: [racket-dev] [racket] nightly build available as a ppa

2012-03-23 Thread Sam Tobin-Hochstadt
[on dev@] On Fri, Mar 23, 2012 at 12:24 PM, Jon Rafkind wrote: > > I'm not quite sure what will happen if you have both the racket ppa and the > racket-nightly ppa but probably you shouldn't try it :p. This setup is quite > new (as of this week) so let me know if anything doesn't work. You can

Re: [racket-dev] Oversight in type for path-string?

2012-03-23 Thread Sam Tobin-Hochstadt
That's true, which is why it has to have a more complex filter than you'd expect. But if a value isn't `path-string?', then it is definitely not a `Path', and if it *is* `path-string?' then it's either a `String' or a `Path'. So we can express an approximation of it's behavior in the type. On Fr

Re: [racket-dev] Oversight in type for path-string?

2012-03-23 Thread Eric Dobson
Actually I don't think this is an over sight. The null string is a String. And Path-String is Path U String, but (path-string? (string #\null)) => #f. Sent from a mobile device. On Mar 21, 2012 5:14 PM, "John Clements" wrote: > > On Mar 21, 2012, at 3:20 PM, Sam Tobin-Hochstadt wrote: > > > On W

Re: [racket-dev] submodules

2012-03-23 Thread Matthew Flatt
At Fri, 9 Mar 2012 17:21:26 -0700, Matthew Flatt wrote: > At Fri, 9 Mar 2012 15:58:11 -0700, Jay McCarthy wrote: > > I just pushed... > > > > - module** > > > > Like module* but combines multiple occurrences of the same submodule > > name into one module* > > I like this direction --- and like e

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

2012-03-23 Thread Ryan Culpepper
On 03/22/2012 03:27 PM, Jay McCarthy wrote: Someone else noticed this warning. http://bugs.racket-lang.org/query/?cmd=view&pr=12443 As the comment below mentions, I don't actually know how to get rid of the warning, but it doesn't cause problems anymore. Does anyone have any ideas or thoughts?