Re: [racket-users] Tools and Syntax Highlighting

2021-01-04 Thread Stephen De Gabrielle
Sorry I'm not good at this - some guesses below. HTH On Mon, Jan 4, 2021 at 7:46 PM Ben Ryjikov wrote: > I’m sorry - I didn’t explain what kind of highlighting we’re looking for. > > We’re building a new #lang, and we want it so that sometimes when you run, > DrRacket highlights a part of the

Re: [racket-users] Tools and Syntax Highlighting

2021-01-04 Thread Stephen De Gabrielle
On Mon, Jan 4, 2021 at 12:32 AM Ben Ryjikov wrote: > Hi Racket, > > Is it possible for a tool invoked by info.rkt to access code which is > outside of the tool? > > We’re building a #lang and would like to have on-demand syntax > highlighting. > We’ve tried using a tool, and have successfully

[racket-users] [TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)

2021-01-04 Thread p.achten
-- TFPIE 2021 3rd and Final Call for papers -- *** - Submission deadline: January 11 2021, Anywhere on Earth.

Re: [racket-users] Tools and Syntax Highlighting

2021-01-04 Thread Ben Ryjikov
I’m sorry - I didn’t explain what kind of highlighting we’re looking for. We’re building a new #lang, and we want it so that sometimes when you run, DrRacket highlights a part of the program you are running. But we only want that in certain situations, so we want to create a function which we

[racket-users] [ANNOUNCE] New package typed-compose

2021-01-04 Thread unlimitedscolobb
Hello, I am glad to announce typed-compose, a small package defining some utilities for composing functions in Typed Racket: https://pkgd.racket-lang.org/pkgn/package/typed-compose Typed Racket's compose only takes two arguments, because in general it is difficult to specify that the return

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

2021-01-04 Thread Sage Gerard
If you just want to silence the error with a blunt instrument, then you could try a parameterization where sandbox-path-permissions is set to: (append (map (λ (p) `(exists ,p)) (filesystem-root-list) (sandbox-path-permissions))) This suffices since it is an existential check, not a file

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

2021-01-04 Thread Sage Gerard
Heads up: My earlier example was missing a closing paren. Also just saw that your subject line asked "Why", so I checked. openssl/mzssl provides a parameter called `ssl-default-verify-sources'. See [1]. The parameter is created during module instantiation with a OS-dependent default value.

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

2021-01-04 Thread 'William J. Bowman' via Racket Users
Thanks for the explanation. I can't figure out why scribble/manual needs openssl, but oh well. After reading through openssl, I've gone with a slightly less blunt instrument: > (require/expose openssl/mzssl (X509_get_default_cert_file)) > > ... > [sandbox-path-permissions (append `((exists >

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

2021-01-04 Thread Sage Gerard
I don't know if Scribble needs OpenSSL, but a dependency probably does. The only precondition of that error is that openssl/mzssl appears *somewhere* among the dependencies. I run into that same error for evaluators that have nothing to do with Scribble. ~slg ‐‐‐ Original Message ‐‐‐

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

2021-01-04 Thread 'William J. Bowman' via Racket Users
Ah! I didn’t know about the module browser, thanks! And I guess this chain makes sense. -- Sent from my phoneamajig > On Jan 4, 2021, at 16:27, Robby Findler wrote: > >  > If you open a file that requires scribble/manual with the module browser > (available via the Racket menu item in

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

2021-01-04 Thread Robby Findler
Complicated systems are surprising! Somehow each little step wasn't completely crazy and yet there must be a lesson in here somewhere. :) Robby On Mon, Jan 4, 2021 at 6:45 PM 'William J. Bowman' via Racket Users < racket-users@googlegroups.com> wrote: > Ah! I didn’t know about the

Re: [racket-users] Tools and Syntax Highlighting

2021-01-04 Thread Robby Findler
I think a good first question here is "what do you want to happen when you are running the program from outside DrRacket?". DrRacket is, in a general sense, designed to reflect extra information about how a program runs when it can glean that information, but it isn't meant to be the only way that

[racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

2021-01-04 Thread 'William J. Bowman' via Racket Users
I have a sandbox that loads scribble/manual (indirectly) to render some HTML. But it crashes with the following error: > racket -e "(require racket/sandbox)" -e "((make-evaluator 'racket/base) > '(require scribble/manual))" file-exists?: `exists' access denied for /etc/ssl/cert.pem

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

2021-01-04 Thread Robby Findler
If you open a file that requires scribble/manual with the module browser (available via the Racket menu item in DrRacket), you'll see that ssl is needed by the code that opens urls (presumably to do https) which is needed by the code that handles planet requires (since planet requires may involve