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

(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 Racket developers, > >

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

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 o

Re: [racket-users] DrRacket Font Selection

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)`. https://github.com/racket/drracket/blob/master/drr

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

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 simplicity):

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

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

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 program

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

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] Redex: difficulty with #refers-to

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 ideal, but I believe you helped me im

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

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 this) > > I agree that #:...bind is

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

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 I

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

> 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 directories in some-path or any o

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

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 u

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

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? fol

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

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 all