[racket-users] PLDI 2023, Call for Workshops and Tutorials

Please distribute widely: # Call for Workshops and Tutorials PLDI 2023 is a world-class forum for researchers and practitioners in programming language design and implementation. As in previous years, PLDI is soliciting proposals for co-located workshops and tutorials that will take place on

Re: [racket-users] Anyone successfully filtering Italian spam?

My spamassassin catches most of it, but also sometimes catches real list emails because it has stopped trusting racket-users. Some combination of bayes and txrep plugins are doing the heavy lifting, I think. -- William J. Bowman On Mon, Nov 29, 2021 at 05:45:37PM -0600, Nathaniel Griswold

[racket-users] PLDI 2022 Second Call for Papers

Please distribute widely. *Call for Papers* 2022 ACM Conference on Programming Language Design and Implementation (PLDI) Mon 20 - Fri 24 June 2022 San Diego, California, United States https://pldi22.sigplan.org/track/pldi-2022-pldi#Call-for-Papers PLDI is a premier forum for

Re: [racket-users] rename-out not working as expected

I think this is the expected behaviour of `rename-out`; you might want this library to change the dynamic displayed name: https://docs.racket-lang.org/static-rename/index.html -- William J. Bowman On Tue, Oct 12, 2021 at 03:07:13PM -0400, David Storrs wrote: > --- > ; test.rkt >

Re: [racket-users] Restarting loop from exception handler breaks with-handlers, Ctrl+C?

t%29._with-handlers%29%29>, > > but if a handler-expr procedure is called, breaks are not explicitly > > disabled, and the handler call is in tail position with respect to the > > with-handlers* > > <https://docs.racket-lang.org/reference/exns.html#%28form._%28%2

[racket-users] Restarting loop from exception handler breaks with-handlers, Ctrl+C?

I have a little model of a server below. The server handles all exceptions, and restarts itself after some errors. It also handles break?, to actually exit when requested. While this server is running, if I press Ctrl+C before `(error 'foo)` is handled, the server exits correctly with 120.

[racket-users] racket/gui/base in sandboxes in places

I'm trying to run sandboxes in places, but when the sandboxes need access to racket/gui (such as through 2htdp/universe), they get `cannot instantiate racket/gui/base' a second time`. I've tried initing racket/gui once in the server that starts the places, but this doesn't seem to work.

[racket-users] Call for Tutorials and Workshops: PLDI 2022

Please distribute widely: # Call for Workshops and Tutorials PLDI 2022 is a world-class forum for researchers and practitioners in programming language design and implementation. As in previous years, PLDI is soliciting proposals for co-located workshops and tutorials that will take place on

Re: [racket-users] Help debugging handin client connection problem

> > As expected, nothing seem to correlate with my attempts to connect from the > > handin plugin. > > > > This makes me suspect the server, but I can't reconcile that with why > > there's nothing in the logs. > > > > -- > > William J. Bowman > >

Re: [racket-users] Help debugging handin client connection problem

until you restart DrRacket - affects 8.1 BC - affects 8.1 CS - affects 8.2.0.2 CS - results in the client failing send anything to the network -- William J. Bowman On Sat, Sep 18, 2021 at 08:05:10PM -0700, 'William J. Bowman' via Racket Users wrote: > Since I'm currently experiencing the iss

Re: [racket-users] Help debugging handin client connection problem

43PM -0700, 'William J. Bowman' via Racket Users wrote: > I just tried this, but I can't seem to connect. > http://cs110.students.cs.ubc.ca:7979/ > gives "connection reset", and > https://cs110.students.cs.ubc.ca:7979/ > gives "secure connection failed". > >

Re: [racket-users] Help debugging handin client connection problem

dt wrote: > Have you tried visiting the server with a browser? That should work, > although you'll have to accept the certificate. It might also indicate some > aspect of the behavior. > > Sam > > On Sat, Sep 18, 2021, 7:13 PM 'William J. Bowman' via Racket Users < >

[racket-users] Help debugging handin client connection problem

I need some help debugging an issue with the handin package. The handin plugin (client) displays “Making secure connection to …”, and simply hangs. Closing the dialog and trying again never resolves the issue. The only method that seems to resolve the issue, although inconsistently, is

[racket-users] PLDI 2022 First Call for Papers

Please distribute widely. *Call for Papers* 2022 ACM Conference on Programming Language Design and Implementation (PLDI) Mon 20 - Fri 24 June 2022 San Diego, California, United States https://pldi22.sigplan.org/track/pldi-2022-pldi#Call-for-Papers PLDI is a premier forum for

Re: [racket-users] Questions about multiple Racket installations...

I use this: https://github.com/takikawa/racket-dev-goodies When I need to switch, I just change PLTHOME to the right directory. -- William J. Bowman On Wed, Apr 14, 2021 at 11:06:15AM -0700, Don Green wrote: > I have several versions of Racket installed. > Is there a way to switch between

Re: [racket-users] A dict? question

Exactly. `'e` is a reader macro that gets read as `(quote e)`. When it's already under a quote, the quoted quote is treated as a symbol: > (dict-ref '('yay) 'quote) '(yay) > (quote ((quote yay))) '('yay) > '((quote yay)) '('yay) > (dict-ref '((quote yay)) 'quote) '(yay) -- William J. Bowman On

Re: [racket-users] A dict? question

try (dict-ref ‘(‘yay) ‘quote) -- Sent from my phoneamajig > On Feb 27, 2021, at 15:31, Yury Bulka wrote: > > Dear Racketeers, > > I have noticed something I don't understand: > >> (dict? '(yay)) > #f >> (dict? '('yay)) > #t >> (dict-ref '('yay) 'yay) > ; dict-ref: no value for key: 'yay

[racket-users] When are rackunit tests delayed? (different between 7.8 and 8)

Below is an example that behaves "correctly", as in all tests run and are counted as failured or errors correctly, in Racket 7.8, but which crashes in Racket 8. > #lang racket > > (require > rackunit > rackunit/log) > > (define (suite1) > (test-suite >"" >(test-begin >

[racket-users] Sticky scrollable nav bar in docs

One of my students asked about making the Racket docs navbar sticky and scrollable, to help when navigating very long docs pages. I made a quick hack and deployed it here: https://www.students.cs.ubc.ca/~cs-411/docs/reference/sets.html Personally I've found it very useful. Would this change

Re: [racket-users] Contracts for (partially) specifying dictionary key -> value-predicates

For the curious/eager, I've submitted a PR with my initial implementation redesigned along the lines of the discussion here: https://github.com/racket/racket/pull/3670 -- William J. Bowman On Sat, Oct 31, 2020 at 06:14:10PM -0400, Ben Greenman wrote: > On 10/31/20, jackh...@gmail.com wrote: >

Re: [racket-users] Using GraphViz inside of Scribble?

t-port stdin) > (cond [(eq? (ctl 'status) 'done-error) (error (port->string stderr))] >[else stdout])])) On Wed, Jan 27, 2021 at 09:42:16PM -0800, 'William J. Bowman' via Racket Users wrote: > I've been using graphviz inside Scribble for a bit. > I found the pack

Re: [racket-users] Using GraphViz inside of Scribble?

I've been using graphviz inside Scribble for a bit. I found the package a bit inflexible and didn't produce output to my liking, so I just rolled my own 'dot->svg' for HTML output: > (require (only-in xml cdata) > scribble/html-properties) > (define (dot->svg . rest) > (elem #:style >

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

ition 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 ‐‐‐ >> On Monday, January

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

t; This suffices since it is an existential check, not a file read. > > > > ~slg > > > > ‐‐‐ Original Message ‐‐‐ > > On Monday, January 4, 2021 6:47 PM, 'William J. Bowman' via Racket Users > > racket-users@googlegroups.com wrote: > > > >

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

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] PLT Redex & dependent type

-- William J. Bowman On Tue, Apr 10, 2018 at 07:53:37AM -0400, 'William J. Bowman' via Racket Users wrote: > Yes. https://github.com/wilbowma/cic-redex > > This isn't exactly a minimal example; I have a smaller model somewhere I'll > try to send. > > -- > Sen

Re: [racket-users] PLT Redex & dependent type

Yes. https://github.com/wilbowma/cic-redex This isn't exactly a minimal example; I have a smaller model somewhere I'll try to send. -- Sent from my phoneamajig > On Apr 10, 2018, at 06:32, Ning Shan wrote: > > Can I implement dependent type in PLT Redex? >

Re: [racket-users] how can I approximate syntax properties with `make-rename-transformer`?

~25kernel%29._make-rename-transformer%29%29 On Thu, Nov 30, 2017 at 11:21:12AM +0100, 'William J. Bowman' via Racket Users wrote: > > I can wrap the property around the target identifier, but the syntax > > property doesn't stick: > > > > (provide (rename-out [mb #%module-beg

Re: [racket-users] how can I approximate syntax properties with `make-rename-transformer`?

> I can wrap the property around the target identifier, but the syntax property > doesn't stick: > > (provide (rename-out [mb #%module-begin])) > (define-syntax mb (make-rename-transformer (syntax-property > #'other-module-begin 'foo "bar"))) > (define-syntax other-module-begin (λ (stx) #'foo))

Re: [racket-users] Intro and projects inquiry

Eric, I don’t mean to inadvertently kill any conversations, but I wanted to point out that there is an existing list of Racket projects on the Racket GitHub wiki: https://github.com/racket/racket/wiki/Intro-Projects It hasn’t seen an update in a while, so some of those may be solved or have

Re: [racket-users] Defining things in two phases at once

You can use 'module' to define a sub module in the same file, then import the function at both phases as you would from another file. See the docs for the module form. E.g. #lang racket (module racket A (provide foo) ... ) (require (submod 'A) (for-syntax (submod 'A)) -- Sent from my

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 > <racket-users@googlegroups.com> wrote: > > (Unfortunately, there is a known bug in Redex that #...bind is > > undocumented, so you

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] Is there a (#%variable-value ...) macro like there are for #%datum, #%app, etc?

On Tue, Jun 20, 2017 at 11:44:57AM -0700, Sam Waxman wrote: > Hey all, > > Is there a wrapper like this that works for determining the values that are > bound to variables? ... > I've achieved similar functionality by binding identifiers to identifier > macros, but it would be much simpler and

Re: [racket-users] RacketCon Code of Conduct

If men were angels... +1 for a CoC. On Sat, Jun 17, 2017 at 09:50:53PM +0300, Matthias Felleisen wrote: > > A code of conduct is a totally stupid idea for RacketCon. Racketeers were > raised properly by their parents and are well behaved. I really hate > attending conferences that need to

[racket-users] How do I debug scope-manipulating code

Does anyone have advice on how to debug scope-manipulating meta-programs? I'm not talking about the little 5 line example macros shown in the docs, but thousands of lines of meta-programming that intentionally manipulates binding, but sometimes apparently does it wrong. Part of the problem is

Re: [racket-users] How to check if a value is not false

On Sat, Apr 15, 2017 at 07:16:49AM -0700, Angus wrote: > I have a function that can return either false or a node. I have to check > four permutations: > > both nodes false, > left node false, > right node valid, left node false > both node valid > > I am doing it using cond like this: > >

Re: [racket-users] Confused about syntax properties

On Sun, Jan 29, 2017 at 10:06:30AM -0800, Matias Eyzaguirre wrote: > Hullo all, > > I'm messing around with syntax properties to try to get a feel for them, but > in one of my tests they aren't behaving the way I would expect them to. > > In my example the output is #f 1 #f, when I would have

Re: [racket-users] syntax-property lost across module boundary (WAS: format-id doesn't preserve preserved?-edness of syntax-property?)

gt; > To summarize, don't try to attach syntax objects as property values > like that. I know this advice sounds ironic, given that the original > use of properties was for syntax-valued keys like 'origin. Properties > like 'origin are meant to be extracted from just-expanded programs, > th

Re: [racket-users] Re: syntax-property lost across module boundary (WAS: format-id doesn't preserve preserved?-edness of syntax-property?)

-identifier=? correctly, make-rename-transformer was optimizing this away, although I thought I was preventing that. -- William J. Bowman PS: Thanks Leif! On Mon, Dec 12, 2016 at 12:55:24PM -0500, 'William J. Bowman' via Racket Users wrote: > Ah, thanks. > > Anyone else have ot

[racket-users] Re: syntax-property lost across module boundary (WAS: format-id doesn't preserve preserved?-edness of syntax-property?)

William J. Bowman' via Racket Users > > <racket-users@googlegroups.com> wrote: > > > > Before I file a bug report, I want to make sure something *else* isn't > > going on. > > It looks like "something else" is going on; according to > syntax-propert

Re: [racket-users] How to test that a file is syntactically correct, but don't run it

raco read or raco expand may be the closest to doing this without doing much else. https://docs.racket-lang.org/raco/read.html Is there some way to e.g. hook some of DrRackets syntax checker up to a raco check-syntax? That would be convenient in the terminal. -- Sent from my phoneamajig >

Re: [racket-users] Re: Matching on a prefab struct

What I'm doing: macros generating macros generating structs, and elimination forms those structs. Matching against a list of arbitrary fields is easier than keeping track of the actual fields. struct->list might be what I want; thanks! -- Sent from my phoneamajig > On Nov 9, 2016, at 19:23,

[racket-users] Matching on a prefab struct

The following simple example does not behave as expected on my machine. Am I expecting wrong or is the machine behaving wrong? ``` #lang racket (struct meow (e) #:prefab) (require racket/match) (match #s(meow 1) [`#s(meow ,@(list-rest a)) a]) ``` Expected behavior: return (list 1)

Re: [racket-users] syntax-parse #:with and error messages

On Thu, Sep 29, 2016 at 04:06:21PM -0400, 'William J. Bowman' via Racket Users wrote: > being printed as #%app, and only now understand (thanks Alex!) what's really > going on here. Correction: Thanks Alex*is*. -- William J. Bowman -- You received this message because you are subs

Re: [racket-users] syntax-parse #:with and error messages

On Thu, Sep 29, 2016 at 12:23:16PM -0400, Ryan Culpepper wrote: > > ; /tmp/test.rkt:29.0: my-let: expected the identifier `begin' > > ; at: quote > > ; in: (my-let ((x 5)) x) > > ; Context: > > ... > The `quote` is coming from the local expansion: ... > Meanwhile, you can also fall

[racket-users] #%plain-app prints as #%app, hindering debugging

Consider the following program: #lang racket (require (for-syntax syntax/parse)) (define (Type x) x) (begin-for-syntax (define x (local-expand #`(Type 1) 'expression null)) (displayln x) (displayln (syntax-parse x #:literals (Type #%app #%plain-app)

[racket-users] syntax-parse #:with and error messages

I recently ran into a problem that took me hours to diagnose. It turns out that a `#:with` clause in a syntax-parse was not matching, but I would never have guessed that from the error message I got. Here is a simplified example: (define-syntax-rule (my-fancy-macro syn ...) (begin syn ...))

Re: [racket-users] syntax-properties, local-expand, and a struct

On Fri, Sep 23, 2016 at 02:58:23PM -0400, Ryan Culpepper wrote: > It appears that the constructor macro (implemented by self-ctor-transformer > in racket/private/define-struct.rkt) transfers the syntax properties from > the macro use to its expansion (see the datum->syntax in the first >

[racket-users] syntax-properties, local-expand, and a struct

Under certain conditions, the value of a syntax property is duplicated. I can't figure out why, or if this is a bug, and any advice would be appreciated. I've attached the smallest program that generates this behavior that I've managed to find. The conditions seem to be: 1. Write a syntax

Re: [racket-users] Scribble: unnumbered and unindexed sections

On Sun, Sep 04, 2016 at 11:50:21AM -0700, Shriram Krishnamurthi wrote: > Is there a way to have unnumbered and unindexed section? (Yes, these are > different issues.) > > It would be helpful to have unnumbered sections, à la \[sub]section* in LaTeX. You can use `@section[#:style 'unnumbered]`

Re: [racket-users] Macros that use with-handlers

On Sat, Jul 16, 2016 at 02:16:20PM -0400, David Storrs wrote: > I saw the #:when keyword for patterns and thought that would do what I > needed. The following code seems like it should work, but it doesn't. > What am I missing? > > > (define-syntax (throws stx) > (syntax-parse stx >

Re: [racket-users] After font change, bounding box too high in Redex picts

On Fri, Jun 24, 2016 at 12:14:39PM -0500, Robby Findler wrote: > Did you trying using basic-text and the other nearby-documented > parameters to add the inset you want? I think those ones might > actually cover everything. Let me know if you can't get that to work. I did not. I'll take a look,

Re: [racket-users] After font change, bounding box too high in Redex picts

On Fri, Jun 24, 2016 at 11:47:45AM -0500, Robby Findler wrote: > The current-render-pict-adjust functionality isn't really designed to > work around your disagreements with font designers about how much > space they put around letter forms. :) or am I misinterpreting > your comment? If

Re: [racket-users] After font change, bounding box too high in Redex picts

On Thu, Jun 02, 2016 at 11:40:14PM -0400, 'William J. Bowman' via Racket Users wrote: > Attached are two screenshots of part of a model I've extracted from Redex. > > The first is after changing the default fonts. As you can see, there is a > *lot* of vertical whitespace > aroun

[racket-users] After font change, bounding box too high in Redex picts

Attached are two screenshots of part of a model I've extracted from Redex. The first is after changing the default fonts. As you can see, there is a *lot* of vertical whitespace around each judgment form clause and where clause. In particular, the top of the bounding box seems too high. The

[racket-users] ANN: A Redex model of CIC

To understand CIC, I have been working through the CIC spec. in the Coq reference manual and building a model in Redex. The model is now fairly complete, and I thought it may be of interest to these two lists, so I put the model on GitHub: https://github.com/wilbowma/cic-redex Please free to

Re: [racket-users] Compiler question

On Wed, Apr 27, 2016 at 01:52:24PM -0600, Jerry Jackson wrote: > I'd really be interested in how the two forms look when they've both been > reduced to some canonical internal format. You can use `raco expand` the result after macro expansion, and `raco decompile` to look at the result of

Re: [racket-users] Redex pattern for "sequence whose elements match this depth 0 pattern"?

On Fri, Mar 25, 2016 at 07:05:52AM -0500, Robby Findler wrote: > I think the right way to approach such questions is to start from a more > realistic example and then ask "what do we want the typeset version of this > to look like?". I like this advice. Unfortunate, I think I want the typeset

[racket-users] Redex pattern for "sequence whose elements match this depth 0 pattern"?

#lang scribble/doc Ha, you can run this email! In Redex, I have on several occasions found myself trying to use a pattern to constrain a sequence's member to match that pattern. i.e., I want to use a pattern bound at depth 0 to constrain a pattern at depth 1. Unfortunately, I can't do this, so it

Re: [racket-users] Documentation or examples for handin-server?

Once upon a time, I used the handin server for a course. All the files I used are online. It is not particularly well-documented, but may serve as reference code: https://github.com/search?q=@wilbowma+cs2500=Repositories=searchresults -- William J. Bowman On Wed, Mar 23, 2016 at 02:07:42PM

Re: [racket-users] How to shut down racket webserver without sudo kill?

On Thu, Mar 10, 2016 at 03:26:28PM -0500, Marc Kaufmann wrote: > In case you are wondering why I start the server with root privileges, it > seems that I need those to listen to ports 80 and 443. On Linux, you can use setcap to enable specific executable to bind low ports even when running as

Re: [racket-users] Simple question on begin and call-by-value

On Fri, Jan 08, 2016 at 12:58:14PM -0800, Eduardo Bonelli wrote: > Hello, > > Why do the values of these two expressions differ? > > > (begin (void)) > > ((lambda x (begin x)) (void)) > '(#) > > In the second case, I understand that CBV would evaluate the argument > "(void)" to

Re: [racket-users] backwards incompatible change to redex: does it break your models?

On Sun, Dec 20, 2015 at 08:42:25PM -0600, Robby Findler wrote: > The reason the "E_1" and the "e_1" are treated differently is that the > "e" is mentioned in "binding" position of the shortcut. That is what > makes it special. Does this make sense? Yes, thank you. > (Have a read of the paragraph

Re: [racket-users] backwards incompatible change to redex: does it break your models?

I noticed this last week when I upgraded Redex for other reasons. It broke one of my models, and I was momentarily confused. In fact, I took the error message to mean I had somehow introduced an error and spent some time staring at my tests to see if I had introduced a syntax error. I only fixed

Re: [racket-users] More concise testing in PLT Redex? (new redex-chk pkg)

Thanks, I've been meaning to do something about this for months! Do they make use of `default-equiv`? -- William J. Bowman On Wed, Nov 04, 2015 at 05:50:01AM -0800, Andrew Kent wrote: > Dear other PLT Redex users, > > Do you have any clever tricks/tools to make testing in PLT Redex > more

[racket-users] Contract error when installing Gregor

I get the following contract error when installed Gregor (the excellent date and time library) on my machine. Any one know if this is a problem with my setup and if so how to resolve? ; find-relative-path: contract violation ; expected: (and/c path-for-some-system? simple-form?) ; given: # ;

[racket-users] Re: Redex: call for alpha-equivalence beta testers

Paul asked me to forward this as racket-users is currently rejecting him: > On Sep 24, 2015, at 14:36, Paul Stansifer wrote: > > Sorry about that; it looks like I forgot to check the examples after > disabling 'rib'. The fix is to change all instances of 'rib' to 'shadow'.