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 *
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 wrote
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
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
> #l
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
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. Howe
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. (gui-ava
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 M
accept failed
> > > (error:1408F09C:SSL routines:ssl3_get_record:http request)
> >
> > 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
x27;t occur, it will not recur 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:
>
man
On Sat, Sep 18, 2021 at 06:59: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/
> giv
, 2021 at 09:24:05PM -0400, Sam Tobin-Hochstadt 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
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
restart
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
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 usin
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 S
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 in:
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
> (check-no
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 ma
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:
>
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'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
>
ly 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 ‐‐‐
>> On Monda
th-permissions)))
> >
> > 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-use
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
errortrace..
s-101
--
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.
>
&g
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?
> https://en.wikipedia.org/wiki/Depe
quote._~23~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 (re
> 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))
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
o
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 phone
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)
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
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 c
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 impos
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 th
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:
>
> (d
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 th
;. When compiling
> "format-id2.rkt", the attached binding information for that `#'id^`
> says "format-id1.rkt".
>
>
> To summarize, don't try to attach syntax objects as property values
> like that. I know this advice sounds ironic, given that the orig
ting
'not-free-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.
>
#x27;William J. Bowman' via Racket Users
> > 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-property-preserved? it
Before I file a bug report, I want to make sure something *else* isn't going on.
In "format-id1.rkt"
(https://gist.github.com/wilbowma/247d15e0e0bed6b239584854e79b5015), I define
and export some identifiers with preserved syntax-properties. The identifier
"id" is created using format-id with #:
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
> On
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, J
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)
Observ
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
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 bac
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)
[(#%a
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 ...))
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
> syntax-cas
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 obje
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]` for
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
>
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, than
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 that'
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 whites
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 sec
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
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 decompili
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 versi
#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
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&type=Repositories&ref=searchresults
--
William J. Bowman
On Wed, Mar 23, 2016 at 02:07:42
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 non-r
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 obtain
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
>
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 th
On Wed, Dec 16, 2015 at 03:50:08PM -0800, David K. Storrs wrote:
> Hi folks,
>
> I'm just getting started with rackunit, and I was very surprised when I found
> that it simply emits nothing if a test succeeds. Every other testing
> framework I've used before will print "ok" (or etc) on a succes
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 pall
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: #
;
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'.
> I'll try to push a
70 matches
Mail list logo