Re: [racket-users] R7RS implementation's installation

2017-06-27 Thread Gustavo Massaccesi
(Just guessing) Do you have a proxy in the university? Can you install other packages that are not part of the main distribution, for example https://pkgs.racket-lang.org/package/cond-strict ? Gustavo On Thu, Jun 22, 2017 at 6:44 PM, Jean-Michel HUFFLEN wrote: >Dear

Re: [racket-users] Change how to print builtins

2017-06-27 Thread Matthew Flatt
Besides struct-specific printing, the pretty printer from `racket/pretty` provides a hook for changing the printed form of anything via `pretty-print-size-hook` plus `pretty-print-print-hook`. At Thu, 22 Jun 2017 18:39:15 -0700 (PDT), Sam Waxman wrote: > Hello, > > I was having trouble figuring

Re: [racket-users] Redex: difficulty with #refers-to

2017-06-27 Thread 'William J. Bowman' via Racket Users
On Tue, Jun 27, 2017 at 09:21:59AM -0700, Justin Pombrio wrote: > I'm trying to define a language in Redex that includes a list of top-level > function definitions: > > (p ::= > (prog (defun (x x) e) ... e)) > > And all function names should be in scope in all function bodies (other

Re: [racket-users] Re: DrRacket becomes unresponsive when confronted with a long line

2017-06-27 Thread Robby Findler
I think that this is boiling down to an issue in the design of the internal datastructures of the editor. Specifically, they use a linear data structure to record each line and so very very long lines like that are going to cause performance problems, generally speaking. Below is an example

Re: [racket-users] Redex: difficulty with #refers-to

2017-06-27 Thread Robby Findler
On Tue, Jun 27, 2017 at 3:23 PM, 'William J. Bowman' via Racket Users wrote: > (Unfortunately, there is a known bug in Redex that #...bind is undocumented, > so you had no way to know about this) I agree that #:...bind is complex and the documentation is not

Re: [racket-users] Redex: difficulty with #refers-to

2017-06-27 Thread Justin Pombrio
On Tuesday, June 27, 2017 at 4:23:35 PM UTC-4, William J. Bowman wrote: > On Tue, Jun 27, 2017 at 09:21:59AM -0700, Justin Pombrio wrote: > > I'm trying to define a language in Redex that includes a list of top-level > > function definitions: > > > > (p ::= > > (prog (defun (x x) e)

Re: [racket-users] DrRacket Font Selection

2017-06-27 Thread Robby Findler
So I guess this is a bug somewhere in how event handling is happening. If you wanted to work around it temporarily so you can set the font how you want to, you could change this `unless` expression to be just its body, ie `(force-cache receiver)`.

[racket-users] Redex: difficulty with #refers-to

2017-06-27 Thread Justin Pombrio
I'm trying to define a language in Redex that includes a list of top-level function definitions: (p ::= (prog (defun (x x) e) ... e)) And all function names should be in scope in all function bodies (other things should be in scope as well, but I'm ignoring them here for

[racket-users] Built-in way to list all children of a directory?

2017-06-27 Thread Glenn Hoetker
Naive question, here. As far as I can tell, (directory-list some-path) yields a list of files and directories immediately below some-path. I wish to capture all files and directories in some-path or any of the sub-directories of some-path. I didn't find an obvious option for doing so. Before

Re: [racket-users] Built-in way to list all children of a directory?

2017-06-27 Thread Matthew Flatt
At Tue, 27 Jun 2017 18:31:21 -0700 (PDT), Glenn Hoetker wrote: > As far as I can tell, (directory-list some-path) yields a list of > files and directories immediately below some-path. I wish to capture > all files and directories in some-path or any of the sub-directories > of some-path. I would

Re: [racket-users] Built-in way to list all children of a directory?

2017-06-27 Thread Matthew Butterick
> On Jun 27, 2017, at 6:31 PM, Glenn Hoetker > wrote: > > Naive question, here. As far as I can tell, (directory-list some-path) > yields a list of files and directories immediately below some-path. I wish to > capture all files and

Re: [racket-users] Built-in way to list all children of a directory?

2017-06-27 Thread Glenn Hoetker
Struggling as a newbie with the documentation for find-files. In particular, the "predicate" part of (find-files predicate [ start-path] #:skip-filtered-directory? skip-filtered-directory? #:follow-links?

Re: [racket-users] Redex: difficulty with #refers-to

2017-06-27 Thread 'William J. Bowman' via Racket Users
On Tue, Jun 27, 2017 at 07:21:48PM -0500, Robby Findler wrote: > On Tue, Jun 27, 2017 at 3:23 PM, 'William J. Bowman' via Racket Users > wrote: > > (Unfortunately, there is a known bug in Redex that #...bind is > > undocumented, so you had no way to know about

Re: [racket-users] Built-in way to list all children of a directory?

2017-06-27 Thread Ben Greenman
The predicate can be any function. All files: `(find-files (lambda (x) #true) start-path)` All pdf files: `(find-files (lambda (x) (equal? #".pdf" (path-get-extension x))) some-path)` There's also the `file/glob` module. All pdf files: `(glob (build-path some-path "**" "*.pdf"))` Iterator for