Re: [racket-users] Making evaluators / handin server setup

2019-01-13 Thread Matthew Flatt
At Sat, 12 Jan 2019 13:53:59 -0800, Jordan Johnson wrote: > Having downloaded Racket 7.1, I’m playing with evaluator-related code again > (for the first time since October), and now am seeing this behavior in > DrRacket: > > > > (require racket/sandbox) > > > (define e (make-evaluator 'lang/htdp

Re: [racket-users] Making evaluators / handin server setup

2019-01-12 Thread Jordan Johnson
Hi Matthew et al., Following up some work from last fall: On Oct 6, 2018, at 15:58, Matthew Flatt wrote: > At Wed, 26 Sep 2018 15:57:12 -0700, Jordan Johnson wrote: >>> (require racket/sandbox) >>> (make-evaluator "beginner-lang.rkt") >> . . ../../../../../../../../Applications/Racket >> v7.0/c

Re: [racket-users] Making evaluators / handin server setup

2018-10-06 Thread Matthew Flatt
At Wed, 26 Sep 2018 15:57:12 -0700, Jordan Johnson wrote: > > (require racket/sandbox) > > (make-evaluator "beginner-lang.rkt") > . . ../../../../../../../../Applications/Racket > v7.0/collects/racket/private/kw-file.rkt:102:2: open-input-file: `read' > access > denied for /Users/jteach/Library/

[racket-users] Making evaluators / handin server setup

2018-09-26 Thread Jordan Johnson
Dear Racketeers, I’m writing about difficulties using make-evaluator in Racket v7.0 with a module that selectively (or not) re-exports bindings from an existing language. This is related to work I’m doing with the handin server. - the short version - Create this file, and use as follows: