Re: [racket-dev] String search in mred/private/wxme: knuth-bendix?!

2012-11-29 Thread Robby Findler
On Thu, Nov 29, 2012 at 5:15 PM, Matthew Flatt wrote: >> Assuming that it is KMP, is there a reason why we're not using Boyer-Moore >> here instead? My understanding was BM was faster than KMP for common >> situations. IIUC, the BM speedup comes from skipping over portions of the text. In our ca

[racket-dev] "standard-module-name-resolver: collection not found" after raco exe/distribute

2012-11-29 Thread Edward Blake
Hello, I wasn't sure if this or the users list was the right mailing list for bug reports so I guessed a bit. After passing a project through raco exe and raco distribute (Racket 5.3.1), I get the following output right after invoking the resulting executable: standard-module-name-resolver: colle

Re: [racket-dev] splicing-syntax-parameterize and syntax-parameter-value

2012-11-29 Thread J. Ian Johnson
Simpler example: (require racket/splicing racket/stxparam) (define-syntax-parameter f #f) (define x 0) ;; 0 (syntax-parameterize ([f (make-rename-transformer #'x)]) (splicing-syntax-parameterize ([f (syntax-parameter-value #'f)]) f)) ;; 0 (splicing-syntax-parameterize ([f (make-rename-transformer

Re: [racket-dev] String search in mred/private/wxme: knuth-bendix?!

2012-11-29 Thread Matthew Flatt
At Thu, 29 Nov 2012 15:22:17 -0700, Danny Yoo wrote: > I'm staring at do-find-string-all's implementation, and right before the > string-matching logic, there's a mysterious comment "Knuth Bendix" in > there. I'm staring at the code some more, and it looks more like KMP > (Knuth-Morris-Pratt) to m

[racket-dev] String search in mred/private/wxme: knuth-bendix?!

2012-11-29 Thread Danny Yoo
I'm staring at do-find-string-all's implementation, and right before the string-matching logic, there's a mysterious comment "Knuth Bendix" in there. I'm staring at the code some more, and it looks more like KMP (Knuth-Morris-Pratt) to me. (I have no idea what the Knuth-Bendix algorithm looks lik

Re: [racket-dev] Square-bracket-sensitive macros in Scribble sandboxes

2012-11-29 Thread Neil Toronto
I've pretty much made up my mind on this, so please don't feel like you have to take time to respond point-by-point. Unless you've seen a gaping hole in my reasoning, anyway, then by all means, have at it. On 11/26/2012 05:41 PM, Eli Barzilay wrote: Two hours ago, Neil Toronto wrote: For exam

[racket-dev] splicing-syntax-parameterize and syntax-parameter-value

2012-11-29 Thread J. Ian Johnson
(require racket/stxparam racket/splicing) (define-syntax-parameter f #f) (splicing-syntax-parameterize ([f #t]) (begin-for-syntax (printf "~a~%" (syntax-parameter-value #'f))) (void)) This prints #f. If I instead add a macro indirection (define-syntax (blah stx) (syntax-case stx () [(_ f) (p

Re: [racket-dev] Planet 2 Beta Release

2012-11-29 Thread Asumu Takikawa
On 2012-11-29 13:28:03 -0700, Jay McCarthy wrote: > That is my suggestion to developers. > > I think all installed packages should be either local links or named > by the naming service. All the other package source modes are for > people doing creative things, like maintaining their own sets of >

Re: [racket-dev] Planet 2 Beta Release

2012-11-29 Thread Jay McCarthy
On Thu, Nov 29, 2012 at 1:23 PM, Asumu Takikawa wrote: > On 2012-11-29 06:52:07 -0700, Matthew Flatt wrote: >> The changes are small, so far, but the most prominent change is that >> the interpretation of a package source is now determined syntactically. >> If you want to install from a local dire

Re: [racket-dev] Planet 2 Beta Release

2012-11-29 Thread Asumu Takikawa
On 2012-11-29 06:52:07 -0700, Matthew Flatt wrote: > The changes are small, so far, but the most prominent change is that > the interpretation of a package source is now determined syntactically. > If you want to install from a local directory "fish-tank", you need to > write > > raco pkg install

Re: [racket-dev] [racket-bug] all/13315: TR error messages from "raco setup" unhelpful

2012-11-29 Thread Asumu Takikawa
On 2012-11-29 10:06:49 +0100, Michael Sperber wrote: > Sam also asked about the REPL output: > > > (queue 1 2 3) > - : (Queue Any) > # > > I gather that in earlier versions of Racket, I'd get (Queue > Positive-Byte) or something similar. Is > > (ann (queue 1 2 3) (Queue Integer)) > > the right

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread David Van Horn
On 11/29/12 1:45 PM, Sam Tobin-Hochstadt wrote: On Thu, Nov 29, 2012 at 10:40 AM, David Van Horn wrote: On 11/29/12 7:31 AM, Carl Eastlund wrote: Having something like the "var" pattern can be useful for macros that expand into uses of match, if the macro doesn't want to expose that a bound v

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread Sam Tobin-Hochstadt
On Thu, Nov 29, 2012 at 10:40 AM, David Van Horn wrote: > On 11/29/12 7:31 AM, Carl Eastlund wrote: >> >> Having something like the "var" pattern can be useful for macros that >> expand into uses of match, if the macro doesn't want to expose that a >> bound variable will be a match pattern and the

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread David Van Horn
On 11/29/12 7:31 AM, Carl Eastlund wrote: Having something like the "var" pattern can be useful for macros that expand into uses of match, if the macro doesn't want to expose that a bound variable will be a match pattern and therefore must not be "_" or "...". Granted, there are ways around this

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

2012-11-29 Thread J. Ian Johnson
Thanks, Matthew. I should have added an empty set case too, since that allocates (as opposed to list and mlist). Submitted another pull request (this time with a test, sorry about that). -Ian - Original Message - From: [email protected] To: [email protected] Sent: Thursday, Novembe

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread Matthias Felleisen
+1 On Nov 29, 2012, at 7:31 AM, Carl Eastlund wrote: > Having something like the "var" pattern can be useful for macros that expand > into uses of match, if the macro doesn't want to expose that a bound variable > will be a match pattern and therefore must not be "_" or "...". Granted, > th

Re: [racket-dev] Missing spel cheker

2012-11-29 Thread Pierpaolo Bernardi
On Thu, Nov 29, 2012 at 2:46 PM, Robby Findler wrote: > There should be an menu item about fourth from the end called "Spell > Check String Constants". Not in my case. > It won't work if you don't have aspell installed, however. That's my case! Cheers P. _ Racket Deve

Re: [racket-dev] Planet 2 Beta Release

2012-11-29 Thread Matthew Flatt
I've pushed a few changes in consultation with Jay. The changes are small, so far, but the most prominent change is that the interpretation of a package source is now determined syntactically. If you want to install from a local directory "fish-tank", you need to write raco pkg install fish-tan

Re: [racket-dev] Missing spel cheker

2012-11-29 Thread Robby Findler
There should be an menu item about fourth from the end called "Spell Check String Constants". It won't work if you don't have aspell installed, however. Do you have it installed? If so, I'm guessing it probably still won't work because it won't find the binary, sadly. I don't have cygwin on my win

Re: [racket-dev] for loop singleton optimization

2012-11-29 Thread J. Ian Johnson
That's not free-identifier=? so it wouldn't be optimized. -Ian - Original Message - From: "Tobias Hammer" To: "Matthew Flatt" , "J. Ian Johnson" Cc: "dev" Sent: Thursday, November 29, 2012 4:49:15 AM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] for loop singleton optimization

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread Carl Eastlund
Having something like the "var" pattern can be useful for macros that expand into uses of match, if the macro doesn't want to expose that a bound variable will be a match pattern and therefore must not be "_" or "...". Granted, there are ways around this, but personally I think it would be nice if

Re: [racket-dev] for loop singleton optimization

2012-11-29 Thread Matthew Flatt
That works fine (i.e., does not get changed to `in-value'). Matching `set' as a literal in `syntax-case' works by identifier binding, not symbolically. If `set' has a different binding than the one exported by the module, then the optimizing case doesn't match. At Thu, 29 Nov 2012 10:49:15 +0100,

[racket-dev] Missing spel cheker

2012-11-29 Thread Pierpaolo Bernardi
Hi, in the release notes of 5.3.1, there's: • DrRacket can spell-check string constants (enable this in the Edit menu). I can't find anything related in the Edit menu, and searching for "spell" in the help desk turns out empty. (On Windows, in case it matters). Cheers P. ___

Re: [racket-dev] for loop singleton optimization

2012-11-29 Thread Tobias Hammer
What about (let ([set (lambda (a) (set 1 2 a))]) (for/list ([x (in-set (set 3))]) x)) ? Tobias On Wed, 28 Nov 2012 19:24:12 +0100, J. Ian Johnson wrote: Cool. I submitted a pull request with this change since it's always an improvement. Thanks, -Ian - Original Message -

Re: [racket-dev] [racket-bug] all/13315: TR error messages from "raco setup" unhelpful

2012-11-29 Thread Michael Sperber
Thanks Asumu for making those fixes! Asumu Takikawa writes: > On 5.3.1, you'll have to add extra type instantiations in the tests > or just remove the test files. I was also e-mailing Sam about this, so some wires got crossed: Sam, Asumu's fixes make the build go through now. Sam also asked a