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

2021-11-29 Thread 'William J. Bowman' via Racket Users
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

2021-10-13 Thread 'William J. Bowman' via Racket Users
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

2021-10-12 Thread 'William J. Bowman' via Racket Users
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?

2021-10-07 Thread 'William J. Bowman' via Racket Users
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?

2021-10-07 Thread 'William J. Bowman' via Racket Users
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

2021-10-03 Thread 'William J. Bowman' via Racket Users
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

2021-09-21 Thread 'William J. Bowman' via Racket Users
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

2021-09-19 Thread 'William J. Bowman' via Racket Users
> > 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

2021-09-18 Thread 'William J. Bowman' via Racket Users
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

2021-09-18 Thread 'William J. Bowman' via Racket Users
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

2021-09-18 Thread 'William J. Bowman' via Racket Users
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

2021-09-18 Thread 'William J. Bowman' via Racket Users
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

2021-09-08 Thread 'William J. Bowman' via Racket Users
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...

2021-04-14 Thread 'William J. Bowman' via Racket Users
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

2021-02-27 Thread 'William J. Bowman' via Racket Users
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

2021-02-27 Thread 'William J. Bowman' via Racket Users
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)

2021-02-22 Thread 'William J. Bowman' via Racket Users
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

2021-02-17 Thread 'William J. Bowman' via Racket Users
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

2021-01-30 Thread 'William J. Bowman' via Racket Users
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?

2021-01-28 Thread 'William J. Bowman' via Racket Users
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?

2021-01-27 Thread 'William J. Bowman' via Racket Users
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?

2021-01-04 Thread 'William J. Bowman' via Racket Users
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?

2021-01-04 Thread 'William J. Bowman' via Racket Users
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?

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

2018-04-10 Thread 'William J. Bowman' via Racket Users
-- 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

2018-04-10 Thread 'William J. Bowman' via Racket Users
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`?

2017-11-30 Thread 'William J. Bowman' via Racket Users
~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`?

2017-11-30 Thread 'William J. Bowman' via Racket Users
> 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

2017-10-11 Thread 'William J. Bowman' via Racket Users
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

2017-07-03 Thread 'William J. Bowman' via Racket Users
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

2017-06-27 Thread 'William J. Bowman' via Racket Users
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

2017-06-27 Thread 'William J. Bowman' via Racket Users
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?

2017-06-20 Thread 'William J. Bowman' via Racket Users
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

2017-06-18 Thread 'William J. Bowman' via Racket Users
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

2017-05-01 Thread 'William J. Bowman' via Racket Users
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

2017-04-15 Thread 'William J. Bowman' via Racket Users
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

2017-01-29 Thread 'William J. Bowman' via Racket Users
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?)

2016-12-15 Thread 'William J. Bowman' via Racket Users
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?)

2016-12-13 Thread 'William J. Bowman' via Racket Users
-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?)

2016-12-12 Thread 'William J. Bowman' via Racket Users
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

2016-11-26 Thread 'William J. Bowman' via Racket Users
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

2016-11-09 Thread 'William J. Bowman' via Racket Users
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

2016-11-09 Thread 'William J. Bowman' via Racket Users
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

2016-09-29 Thread 'William J. Bowman' via Racket Users
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

2016-09-29 Thread 'William J. Bowman' via Racket Users
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

2016-09-28 Thread 'William J. Bowman' via Racket Users
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

2016-09-28 Thread 'William J. Bowman' via Racket Users
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

2016-09-28 Thread 'William J. Bowman' via Racket Users
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

2016-09-23 Thread 'William J. Bowman' via Racket Users
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

2016-09-04 Thread 'William J. Bowman' via Racket Users
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

2016-07-16 Thread 'William J. Bowman' via Racket Users
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

2016-06-24 Thread 'William J. Bowman' via Racket Users
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

2016-06-24 Thread 'William J. Bowman' via Racket Users
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

2016-06-24 Thread 'William J. Bowman' via Racket Users
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

2016-06-02 Thread 'William J. Bowman' via Racket Users
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

2016-05-19 Thread 'William J. Bowman' via Racket Users
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

2016-04-27 Thread 'William J. Bowman' via Racket Users
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"?

2016-03-25 Thread 'William J. Bowman' via Racket Users
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"?

2016-03-24 Thread 'William J. Bowman' via Racket Users
#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?

2016-03-23 Thread 'William J. Bowman' via Racket Users
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?

2016-03-10 Thread 'William J. Bowman' via Racket Users
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

2016-01-08 Thread 'William J. Bowman' via Racket Users
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?

2015-12-22 Thread 'William J. Bowman' via Racket Users
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?

2015-12-20 Thread 'William J. Bowman' via Racket Users
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)

2015-11-05 Thread 'William J. Bowman' via Racket Users
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

2015-11-03 Thread 'William J. Bowman' via Racket Users
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

2015-09-24 Thread 'William J. Bowman' via Racket Users
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'.