Re: [racket-users] [meta] Please review pending member requests?

2022-06-30 Thread Robby Findler
I've just approved the ones who wrote sensible comments. If that wasn't the one to approve, please let me know and I'll approve that one, too. We had a serious spam problem on this list due to bots (I presume) subscribing, so I'm a bit gunshy about adding folks. There are other list admins too

[racket-users] Re: Combining contract checking with normalization?

2022-03-06 Thread Robby Findler
I have certainly have thought that developing a library along these lines is a good idea for many years! Robby On Sun, Mar 6, 2022 at 9:47 AM Alexis King wrote: > Hello, > > As a user of the Racket contract system, I sometimes find myself thinking > about the potential utility of “coercing” or

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2022-01-12 Thread Robby Findler
; the responsibility changes. > >>> > >>> Does that seem like a reasonable approach? > >>> > >>> Sam > >>> > >>> On Tue, Jan 11, 2022 at 2:30 PM Sage Gerard > wrote: > >>>> No no, that was helpful, than

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2022-01-11 Thread Robby Findler
s. > > If you publish an email to request invites, then the process is going to > be "ask to join" no matter what, so the mailing list configuration is > relevant for a different reason. Do we want members to start the process in > Google Groups, or by sending an email to a f

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2022-01-11 Thread Robby Findler
21 3:02 PM, Matthias Felleisen wrote: > > > > > > +2! And many thanks. (I was personally spared this spam until very > recently. No clue why) > > > > — Matthias > > > > > > > > > > On Dec 18, 2021, at 2:55 PM, Robby Findler >

Re: [racket-users] Formal semantics of PLT Redex

2021-12-21 Thread Robby Findler
something >> equivalent to: >> >> (bind 'x '(hole (hole hole))) >> >> In both cases. Does anyone understand the behavior of the shown example >> under racket 8.3? >> >> Thanks in advance!, >> Mallku >> >> [1] : https://link.springer.com

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-19 Thread Robby Findler
Felleisen wrote: > > > +2! And many thanks. (I was personally spared this spam until very > recently. No clue why) > > — Matthias > > > > > On Dec 18, 2021, at 2:55 PM, Robby Findler > wrote: > > +1! Thank you. > > Robby > > On Sat, Dec 18, 2021 a

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-18 Thread Robby Findler
+1! Thank you. Robby On Sat, Dec 18, 2021 at 1:43 PM Matthew Flatt wrote: > The "members" option sounds right to me. Thanks for tracking down a way > to improve the situation! > > At Sat, 18 Dec 2021 19:35:23 +, Sage Gerard wrote: > > Core team, > > > > Sam asked me to issue bans for a

Re: [racket-users] Formal semantics of PLT Redex

2021-12-08 Thread Robby Findler
gt; > Thanks!, > Mallku > > > [1] : https://link.springer.com/chapter/10.1007%2F978-3-642-25318-8_27 > > El miércoles, 8 de diciembre de 2021 a las 21:03:44 UTC-3, Robby Findler > escribió: > >> I think that might be it specifically about redex, I am sorry to say. &g

Re: [racket-users] Formal semantics of PLT Redex

2021-12-08 Thread Robby Findler
I think that might be it specifically about redex, I am sorry to say. Robby On Wed, Dec 8, 2021 at 5:28 PM Mallku Ernesto Soldevila Raffa < mallkuerne...@gmail.com> wrote: > Hi community!, > I'm interested in understanding the semantics of PLT Redex, since we are > working on a tool > to

Re: [racket-users] Typesetting Redex definitions

2021-10-26 Thread Robby Findler
The only way to do that currently is to use the compound rewriters (they rewrite anything with parens) and the atomic rewriters (they rewrite anything without parens). The interface that redex provides is pretty low-level and I'd like to find time to improve it, but in the meantime there are some

Re: [racket-users] How to require untrusted module?

2021-10-22 Thread Robby Findler
On Fri, Oct 22, 2021 at 12:43 PM Matthew Flatt wrote: > At Thu, 21 Oct 2021 07:37:12 -0700 (PDT), "kalime...@gmail.com" wrote: > > I've read about protect-out and current-code-inspector, but I still > cannot > > understand, how to require a module and forbid it to run protected > modules. > > >

Re: [racket-users] Having trouble getting documentation to generate

2021-09-28 Thread Robby Findler
I'm not quite following from the thread, but it sure sounds like there is a bug in raco setup (or similar) somewhere that isn't reporting an error properly. Is that the case? Robby On Tue, Sep 28, 2021 at 4:12 PM David Storrs wrote: > > > On Tue, Sep 28, 2021 at 3:30 PM Ben Greenman > wrote:

Re: [racket-users] What is the correct name for non-list parenthesized forms?

2021-09-24 Thread Robby Findler
Another approach is to give it a name in the documentation and use that name (following Jay's earlier message). Robby On Fri, Sep 24, 2021 at 1:37 PM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > I think I wouldn’t say “accepts”; I usually reserve this term for >

Re: [racket-users] What is the correct name for non-list parenthesized forms?

2021-09-24 Thread Robby Findler
An answer to a third question that might also have been the one that was asked :) You might call it a "sequence". Robby On Fri, Sep 24, 2021 at 12:50 PM Jay McCarthy wrote: > I think the word you're looking for is "syntax". Many people think that > languages like Racket "don't have syntax"

Re: [racket-users] Find the source location of the syntax error in DrRacket

2021-08-14 Thread Robby Findler
I'm not 100% sure but I think that's right: the marks clobber each other so that you see the inner frame and a `let`'s body is in tail position wrt to the let itself. So in this program: #lang racket/base (define (f x) (car x)) (let () (let () (+ (let () (let () (f

Re: [racket-users] Pousse Player Programs

2021-08-07 Thread Robby Findler
I see that in 8.2 but I'm not seeing it in a more recent build. Maybe try a snapshot? https://snapshot.racket-lang.org/ There is information about how to make players here: https://github.com/racket/games/blob/master/pousse/robots.txt I didn't try it out, but if you do and run into problems, let

Re: [racket-users] Question from a beginner. Why Racket Over Scheme?

2021-07-13 Thread Robby Findler
I would say that the stuff in HtDP is teaching you the fundamentals of programming; it isn't (about) teaching you a specific programming language. These fundamentals apply to any programming language you might wish to program in. And, of course, the book does use a (set of) languages to teach you,

Re: [racket-users] parenthesis colours

2021-07-05 Thread Robby Findler
Boom wrote: > On Mon, Jul 05, 2021 at 07:52:39AM -0500, Robby Findler wrote: > > Glad to hear it! Sorry the defaults looked bad. > > They look pretty enough. They just aren't useful. > I turned the parentheses bright yellow. > Unless yellow comflicts with some other use of t

Re: [racket-users] parenthesis colours

2021-07-04 Thread Robby Findler
If you go to the preference dialog, choose "Colors", and then choose "Racket" you should be able to adjust each color independently. There are also some themes for DrRacket in dark mode that have different color schemes; I think Tol's is installed by default and there are more on the pkg server.

Re: [racket-users] Re: machine and network outage at Northeastern

2021-07-04 Thread Robby Findler
Ah, sorry about this. It should be up now. Robby On Fri, Jul 2, 2021 at 11:05 PM Shu-Hung You wrote: > The PLaneT website (https://planet.racket-lang.org/) is currently > unreachable. The error message is ERR_CONNECTION_REFUSED. > > -- > You received this message because you are subscribed to

Re: [racket-users] Speeding up the conversion of flvectors to string

2021-06-29 Thread Robby Findler
On Monday, June 28, 2021 at 10:25:36 PM UTC-4 Sam Tobin-Hochstadt wrote: > >> > >> On Mon, Jun 28, 2021 at 9:46 PM Jonathan Simpson wrote: > >> > > >> > On Sunday, June 27, 2021 at 10:29:55 AM UTC-4 Robby Findler wrote: > >> >> > &g

Re: [racket-users] Speeding up the conversion of flvectors to string

2021-06-28 Thread Robby Findler
hard to identify with profiling (hence Bogdan's helpful hint about gc logging). Robby On Mon, Jun 28, 2021 at 2:18 PM Alessandro Motta wrote: > On 27.06.21 19:34, Robby Findler wrote: > > On Sun, Jun 27, 2021 at 11:58 AM Alessandro Motta > <mailto:amott...@gmail.com>> wrot

Re: [racket-users] Speeding up the conversion of flvectors to string

2021-06-27 Thread Robby Findler
On Sun, Jun 27, 2021 at 11:58 AM Alessandro Motta wrote: > > I also like Jens' code for its pure functional elegance. I'm surprised > that building up a long list of short strings before joining them is so > much faster. After all, isn't the final `string-join` essentially doing > what the

Re: [racket-users] Speeding up the conversion of flvectors to string

2021-06-27 Thread Robby Findler
Replacing ` (~r x #:precision 1)` with `(number->string x)` and ditto for `y` eliminates the overhead of contracts and brings about another 4x speedup on my machine. That may not work, tho, depending on Alessandro's original usecase, since the strings are different. I was also going to, as

Re: [racket-users] Plot Problem: No Line; Bounds not found

2021-06-15 Thread Robby Findler
While I completely agree that testing one's function is the best practical advice here, it also seems worth an improvement to plot. Perhaps, in addition to saying "could not determine sensible plot bounds", it could also say something like "because there were no points" and perhaps even follow up

Re: [racket-users] macros in Racket repository

2021-05-09 Thread Robby Findler
Here's one way to write it in modern Racket: #lang racket (require (for-syntax syntax/parse)) (module+ test (require rackunit)) (define-syntax (my-and stx) (syntax-parse stx [(_) #'#f] [(_ e:expr) #'e] [(_ e1:expr e2:expr ...) #'(if e1 (my-and e2 ...) #f)])) (module+ test

Re: [racket-users] Package install conflicts on the Racket package catalog

2021-05-05 Thread Robby Findler
I think the issue is that you should not use "tests/private" as your collection path. You should probably either "tests/my-collection/private" or "my-collection/tests/private" as the name. Robby On Wed, May 5, 2021 at 4:38 PM Siddhartha Kasivajhula wrote: > That makes sense. Is there a

Re: [racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-03 Thread Robby Findler
te to > describe that as a plugin than DrRacket itself? > > -Sam Caldwell > > On Mon, May 3, 2021 at 11:24 AM Robby Findler > wrote: > >> On Mon, May 3, 2021 at 10:19 AM Sam Caldwell wrote: >> >>> When I first ran Ryan's example, the reference to `racket:

Re: [racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-03 Thread Robby Findler
On Mon, May 3, 2021 at 10:19 AM Sam Caldwell wrote: > When I first ran Ryan's example, the reference to `racket:let` did not > resolve to the proper link. After further investigating, this appears to be > due to scribble's default behavior of not loading extra cross-referencing > information

Re: [racket-users] Something is going slightly wrong visually with the Linux version

2021-04-13 Thread Robby Findler
-color)) > (define fg (get-label-foreground-color)) > > > Produces > > > (send bg red) > 255 > > (send bg green) > 255 > > (send bg blue) > 255 > > (send fg red) > 0 > > (send fg green) > 0 > > (send fg blue) > 0 > > > >

Re: [racket-users] Something is going slightly wrong visually with the Linux version

2021-04-13 Thread Robby Findler
if there is some way you're controlling those that defeats that computation, that might explain why you're getting the bad colors. Robby On Tue, Apr 13, 2021 at 1:41 PM Robby Findler wrote: > This looks to me like racket believes the OS is in dark mode but it really > isn't. Does this program p

Re: [racket-users] Something is going slightly wrong visually with the Linux version

2021-04-13 Thread Robby Findler
This looks to me like racket believes the OS is in dark mode but it really isn't. Does this program produce true or false? #lang racket (require mrlib/panel-wob) (white-on-black-panel-scheme?) Robby On Tue, Apr 13, 2021 at 1:38 PM Bruce O'Neel wrote: > Hi, > > The most recent snapshot

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
t I would want the blame to be on b.rkt, and also on any > function calling f() incorrectly from inside a.rkt. Reading this > thread it sounds to me like that's not easily available? > > On Wed, Apr 7, 2021 at 4:22 PM Robby Findler > wrote: > > > > No, I don't think it

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
: > I've always liked define/contract because it guarantees the safety of > the function from erroneous calls by other functions in the module, > which helps with debugging and testing. It sounds like you think > that's a bad move? > > On Wed, Apr 7, 2021 at 4:35 PM Robb

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
The short answer: you probably should use (provide (contract-out)) instead of define/contract. The slightly longer answer: when you write a contract, you are not just describing what the legal inputs and outputs are, you are also establishing a *boundary* between two regions of code. In the

Re: [racket-users] Synchronizable conjunction of events?

2021-03-15 Thread Robby Findler
Depending on what you're doing, a nack guard evt might be helpful. It lets do a form of chaining evts together. It definitely isn't and in the sense you describe but it is easy to overlook. Robby On Mon, Mar 15, 2021 at 4:50 PM Matthew Flatt wrote: > At Mon, 15 Mar 2021 13:38:46 -0700 (PDT),

Re: [racket-users] Is it safe to `read` untrusted input?

2021-02-28 Thread Robby Findler
Leaving aside bugs, the intention with those parameters you mention (-lang, -reader, -compiled) is to help with security. They certainly would allow for code execution and they are off by default precisely because they allow that. I think that the general principle (read should, with the default

Re: [racket-users] Parenthesizing infix expressions in Redex renderings?

2021-02-24 Thread Robby Findler
Yeah, I've been meaning to integrate those parts of that library into Redex proper but just haven't found the time. Also, I've thought it would be nice if Redex were able to look at the context of a particular, say, "or" or "then" expression and figure out if it needed parens. Sadly, for now you

Re: [racket-users] exporting example code from slideshow documents

2021-02-21 Thread Robby Findler
I often end up writing macros that both quote some code and expand into that code where the first one is usually via `racket` or one of the code-rendering libraries, and the second one gets used to write tests for the code in my slideshow. These tend to be short and fairly ad hoc macros because I

Re: [racket-users] put-image

2021-02-07 Thread Robby Findler
021 at 03:41, Robby Findler > wrote: > >> Any objection to adding it to 2htdp/image? >> >> Robby >> >> On Sat, Feb 6, 2021 at 6:32 PM Sorawee Porncharoenwase < >> sorawee.pw...@gmail.com> wrote: >> >>> As explained in documentation of

Re: [racket-users] put-image

2021-02-06 Thread Robby Findler
Any objection to adding it to 2htdp/image? Robby On Sat, Feb 6, 2021 at 6:32 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > As explained in documentation of WeScheme > , >

Re: [racket-users] [Redex] Side conditions in Reduction Relations

2021-02-05 Thread Robby Findler
it helped a lot, as i didn't > understand how i could also use judgments as guards in reduction relations. > Thank you again :D > Beatriz Moreira > > A quarta-feira, 3 de fevereiro de 2021 à(s) 22:17:50 UTC, Robby Findler > escreveu: > >> You mean it should be a subset, no

Re: [racket-users] [Redex] Side conditions in Reduction Relations

2021-02-03 Thread Robby Findler
order does not matter. So I evaluate the head of the sequence, and then > recursively the tail. > I tested your example you gave me just now and it passed :D > Beatriz > > A quarta-feira, 3 de fevereiro de 2021 à(s) 18:41:53 UTC, Robby Findler > escreveu: > >

Re: [racket-users] [Redex] Side conditions in Reduction Relations

2021-02-03 Thread Robby Findler
(subsequence (ts_0 ts_1 ...) > (ts_2 ... ts_0 ts_3 ...))]) > > Thank you so much! :D > > A sábado, 30 de janeiro de 2021 à(s) 20:08:17 UTC, Robby Findler escreveu: > >> Is this what you have in mind? >> >> #lang racket >> (require redex/reductio

Re: [racket-users] [Redex] Side conditions in Reduction Relations

2021-01-30 Thread Robby Findler
Is this what you have in mind? #lang racket (require redex/reduction-semantics) (define-language L (ts ::= variable number)) (define-judgment-form L #:mode (subsequence I I) #:contract (subsequence (ts ...) (ts ...)) [-- (subsequence (ts_1

Re: [racket-users] 32bit linux downloads

2021-01-26 Thread Robby Findler
The Northwestern snapshot builds (roughly nightly, built from git) have ubuntu and debian 32 bit builds and the utah one has ubuntu 32 bit builds. You can find the snapshot sites by following links from the download site but here they are for convenience: https://www.cs.utah.edu/plt/snapshots/

Re: [racket-users] Moving a Rust/Haskell abstract algebra library to Racket?

2021-01-19 Thread Robby Findler
I'm no expert on algebras, but I think the way to work on this is not to think "what Racket constructs are close that I might coopt to express what I want?" but instead to think "what do I want my programs to look like" and then design the language from there, reusing libraries as they seem

Re: [racket-users] side-conditions

2021-01-07 Thread Robby Findler
defined *notinenv* as a simple metafunction just for testing: > (define-metafunction FS > notinenv : env-ß x -> any > [(notinenv (((x -> _) ß_1 ...) env-ß ...) x) #f] > [(notinenv ((ß_1 ...) env-ß ...) x) #t]) > > Thank you :) > > A segunda-feira, 21 de dezembro

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

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

2021-01-04 Thread Robby Findler
now 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 m

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

Re: [racket-users] PLT Redex: how to falsify the judgment in define-judgment-form

2021-01-03 Thread Robby Findler
I think this boils down to a question about how redex executes judgment forms. Leaving aside modeless judgment forms (where redex will only check a derivation for you but won't ever make them up), redex is turning each judgment form into a (fancy) function from the inputs to sets of the outputs

Re: [racket-users] Unsafe structs

2021-01-02 Thread Robby Findler
On Sat, Jan 2, 2021 at 4:34 PM Dominik Pantůček < dominik.pantu...@trustica.cz> wrote: > Hello Racketeers (and Robby especially)! > > On 22. 12. 20 1:30, Robby Findler wrote: > > Is Typed Racket able to prove that your use of unsafe accessors is > > actually safe? >

Re: [racket-users] Unsafe structs

2020-12-21 Thread Robby Findler
Is Typed Racket able to prove that your use of unsafe accessors is actually safe? Robby On Mon, Dec 21, 2020 at 3:36 PM Dominik Pantůček < dominik.pantu...@trustica.cz> wrote: > > On 21. 12. 20 18:07, David Storrs wrote: > > > > The struct-plus-plus module also provides reflection, so you

Re: [racket-users] side-conditions

2020-12-21 Thread Robby Findler
I recommend you define a metafunction or judgment form that captures what you want exactly and then use that. Robby On Mon, Dec 21, 2020 at 8:32 AM Beatriz Moreira wrote: > Hi, > I have been using side-condition to check if a sequence of variables exist > is in an environment , like this : >

Re: [racket-users] Trouble with `set-copy`

2020-12-08 Thread Robby Findler
Sorry for the earlier confusion! On Tue, Dec 8, 2020 at 6:48 PM Nathaniel W Griswold wrote: > Ok. Thanks. > > > On Dec 8, 2020, at 6:47 PM, Robby Findler > wrote: > > > > Right, it is probably both things. I ran your program on yesterday's git > bui

Re: [racket-users] Trouble with `set-copy`

2020-12-08 Thread Robby Findler
ing completely > different elements. If i loop over the copied set i get 32 values from 0 to > like 31, when i have in fact added 1000 random elements to the original set > before copying. > > Nate > > > On Dec 8, 2020, at 6:43 PM, Robby Findler > wrote: > > > &

Re: [racket-users] Trouble with `set-copy`

2020-12-08 Thread Robby Findler
No, I don't think that's it. The issue is that one is a mutable set and the other isn't, so they aren't equal (even if their elements aren't equal). > (equal? (mutable-seteqv) (list->seteqv '())) #f Maybe you wanted to call list->mutable-seteqv? Or maybe just start with an immutable set? Robby

Re: [racket-users] Towards an Incremental Racket Parser for better IDE experience?

2020-12-02 Thread Robby Findler
any tools (Racket Mode <https://www.racket-mode.com/>, drcomplete > <https://github.com/yjqww6/drcomplete>) do exactly what Robby said: cache > the most recent successfully expanded code. > > > On Wed, Dec 2, 2020 at 7:08 AM Robby Findler > wrote: > >> I'm no

Re: [racket-users] Towards an Incremental Racket Parser for better IDE experience?

2020-12-02 Thread Robby Findler
I'm not sure this approach is going to work for Racket. Being able to run `read` when the input is malformed is going to only get you so far, as the macro expansion seems unlikely to work and this is a point of extension for programers using Racket. Maybe a better approach would be to help

Re: [racket-users] DrRacket caret blink

2020-11-29 Thread Robby Findler
to just have a config option since macOS doesn't offer > any global config for this. > > On Saturday, November 28, 2020 at 11:22:21 PM UTC Robby Findler wrote: > >> I've pushed a change to DrRacket so you can set a preference in it to >> turn the blink off. As Philip says, the

Re: [racket-users] DrRacket caret blink

2020-11-28 Thread Robby Findler
I've pushed a change to DrRacket so you can set a preference in it to turn the blink off. As Philip says, the more difficult part will be getting the preference from the OS but at least that's a start. Robby On Sat, Nov 28, 2020 at 2:49 PM Philip McGrath wrote: > On Sat, Nov 28, 2020 at 3:10

Re: [SPAM] Re: [racket-users] snappier place startup time

2020-11-24 Thread Robby Findler
On Tue, Nov 24, 2020 at 12:09 PM Nathaniel W Griswold wrote: > racket/fixnum, racket/flonum, and racket/vector are needed by > “private/th-place.rkt”, which is required by racket/place. Not sure why > DrRacket is saying that it’s not needed. > > Ah, sorry: DrRacket was merely saying that the

Re: [racket-users] snappier place startup time

2020-11-24 Thread Robby Findler
it might be nice for someone (maybe me) > to cut it down, since any nontrivial place will of course require > racket/place and that is kind of a long time. > > Nate > > On Nov 24, 2020, at 9:52 AM, Robby Findler > wrote: > > DrRacket thinks that there are no references to

Re: [racket-users] snappier place startup time

2020-11-24 Thread Robby Findler
DrRacket thinks that there are no references to a number of the requires in racket/place, including racket/fixnum, racket/flonum, racket/vector, and racket/runtime-path. Not sure if that's an error on DrRacket's part (and I don't see why those would be needed for their effects). Also, the only

Re: [racket-users] Messages going to spam?

2020-11-24 Thread Robby Findler
I might have approved one (and when I did I also marked the email address is came from as always allowed to post so hopefully it won't happen again). Robby On Tue, Nov 24, 2020 at 9:16 AM Nate Griswold wrote: > Thanks, Sam. That is what i wanted. > > Is there any way to allow all messages

Re: [racket-users] F1 key for custom language

2020-11-17 Thread Robby Findler
Currently, F1 doesn't actually prioritize anything based on the content of the window (well, except for the teaching languages which use a mechanism that's has not worked out very well in practice). It does need to know something about the syntax of your identifiers, bit it gets that from the

Re: [racket-users] Spell checking in DrRacket for Windows

2020-11-15 Thread Robby Findler
Two thoughts: after installing ispell, did they restart DrRacket? In their shell, when they install ispell, what path is located at? (The second question is because the normal way one starts up DrRacket, it does not inherit the PATH settings that one gets in the Terminal window, so DrRacket has to

Re: [racket-users] After installing new racket version it seems that I need to find and delete all 'compiled' dirs...

2020-11-01 Thread Robby Findler
On Sun, Nov 1, 2020 at 4:12 PM George Neuner wrote: > > On 11/1/2020 4:45 PM, Robby Findler wrote: > > It is true that running just "racket x.rkt" will not notice some > > situations where your .zo files are wrong and thus lead to the bad > > behavior George d

Re: [racket-users] After installing new racket version it seems that I need to find and delete all 'compiled' dirs...

2020-11-01 Thread Robby Findler
It is true that running just "racket x.rkt" will not notice some situations where your .zo files are wrong and thus lead to the bad behavior George describes below but I find it quite handy to use .zo files during development, as they can speed things up considerably depending on what's happening

Re: [racket-users] Should I be posting questions about Racket in us...@racket-lang.org?

2020-10-31 Thread Robby Findler
Yes. On Sat, Oct 31, 2020 at 9:36 AM Don Green wrote: > Should I be posting questions about Racket in us...@racket-lang.org? > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from

Re: [racket-users] Re: large hash/dc errors (was: Contracts for (partially) specifying dictionary key -> value-predicates)

2020-10-31 Thread Robby Findler
I'm still thinking about Ben's example but I'm seeing the description right at the top in the examples below. What am I missing? Robby #lang racket (module m racket (provide (contract-out [f (->i ([x integer?]) #:pre/desc (x) (or (> x 5) "must be

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

2020-10-30 Thread Robby Findler
On Fri, Oct 30, 2020 at 2:08 PM William J. Bowman wrote: > Let me aid this discussion by copying in the ~10 lintes of code in > question: > > > (define-syntax (dictof syn) > > (syntax-parse syn > > [(_ (k:id pred?) ...) > > (quasisyntax/loc syn > >(dictof/proc `((k . ,pred?)

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

2020-10-30 Thread Robby Findler
I didn't look at the code yet myself, but generally you want to minimize the amount of code you compile into (and so using a function is pretty minimal). Another reason is that a lot of stuff "just works" when you use functions (because they would be documented as functions and so come with

Re: [racket-users] Why ~a, ~s, and ~v?

2020-10-26 Thread Robby Findler
v is for "value" I believe. Robby On Mon, Oct 26, 2020 at 8:01 PM Sam Tobin-Hochstadt wrote: > That page actually suggests they're inherited from Common Lisp, which > seems very likely (and probably from some other Lisp before that). > > Sam > > On Mon, Oct 26, 2020 at 8:59 PM Sorawee

Re: [racket-users] Utah snapshots will switch to CS by default

2020-10-22 Thread Robby Findler
Sam has started an issue to keep track of everything: https://github.com/racket/racket/issues/3457 On Tue, Oct 20, 2020 at 10:46 PM Robby Findler wrote: > The NWU snapshots are (mostly) working again and we've gotten a pkg-build > using the CS build to go through. The results ar

Re: [racket-users] Utah snapshots will switch to CS by default

2020-10-20 Thread Robby Findler
, 2020 at 2:33 PM Robby Findler wrote: > I'm finally catching up and switching the Northwestern snapshots to BC by > default. I've made the change and the changes will kick off tonight at > midnight, Chicago time (probably failing horribly but maybe in a week or > two we'll be back

Re: [racket-users] Re: curly-fn language syntax not recognized in the repl

2020-10-20 Thread Robby Findler
I don't remember. :( On Tue, Oct 20, 2020 at 9:13 AM Greg Hendershott wrote: > It looks like this works neither in Dr Racket nor Racket Mode's REPLs. > > From a hasty, shallow look, it seems that the curly-fn package < > https://docs.racket-lang.org/curly-fn/index.html> uses a convention or >

Re: [racket-users] How hard is it to add @-exp support to racket:text%?

2020-10-15 Thread Robby Findler
If the buffer contains #"lang scribble/base" at the start, then it should "just work", no? Robby On Thu, Oct 15, 2020 at 8:19 AM Christopher Lemmer Webber < cweb...@dustycloud.org> wrote: > This isn't super high priority... but Morgan and I are working on the > first mini virtual worlds demo

Re: [racket-users] #:kind (list ... ) in defthing and defproc

2020-10-07 Thread Robby Findler
Ah, sorry! I missed that `content?` was okay. Thanks, Matthew! Robby On Wed, Oct 7, 2020 at 8:40 AM Matthew Flatt wrote: > A recent commit added a contract on `defthing` and `defproc` to enforce > the documented constraint that `#:kind` should be a string. But the > implementation is happy

Re: [racket-users] Differences running HtDP programs from DrRacket IDE vs racket command line

2020-10-06 Thread Robby Findler
Great! No guarantee, but probably this is the right repo: https://github.com/racket/htdp/issues Robby On Tue, Oct 6, 2020 at 9:04 AM Nick Lee wrote: > Thanks again Robby! I will create issues on the drracket github issues > page. > > On Tuesday, October 6, 2020 at 9:23:49 AM

Re: [racket-users] Differences running HtDP programs from DrRacket IDE vs racket command line

2020-10-06 Thread Robby Findler
On Tue, Oct 6, 2020 at 1:50 AM Nick Lee wrote: > Thank you very much Robby for the quick reply! I should have mentioned > that our students are using Beginning Student by setting the Language to > that, rather than adding #lang htdp/bsl. > Right, I got that. I merely meant to say that those are

Re: [racket-users] Differences running HtDP programs from DrRacket IDE vs racket command line

2020-10-05 Thread Robby Findler
On Mon, Oct 5, 2020 at 4:32 PM Nick Lee wrote: > > Hello, > I noticed there are differences when I run HtDP programs in DrRacket IDE > vs the "racket" command line. > > For example, the following program's test passes in DrRacket IDE: > > ;; file.rkt - Set to Beginning Student > (check-expect

Re: [racket-users] Utah snapshots will switch to CS by default

2020-09-29 Thread Robby Findler
> Sam > > On Tue, Sep 29, 2020 at 3:33 PM Robby Findler > wrote: > > > > I'm finally catching up and switching the Northwestern snapshots to BC > by default. I've made the change and the changes will kick off tonight at > midnight, Chicago time (probably failing horribl

Re: [racket-users] Utah snapshots will switch to CS by default

2020-09-29 Thread Robby Findler
I'm finally catching up and switching the Northwestern snapshots to BC by default. I've made the change and the changes will kick off tonight at midnight, Chicago time (probably failing horribly but maybe in a week or two we'll be back in business and the next paragraph will be accurate when that

Re: [racket-users] Trouble opening File

2020-09-26 Thread Robby Findler
I recommend going to the Racket website and following the download link. https://racket-lang.org/ Robby On Sat, Sep 26, 2020 at 1:29 AM Paul Kneeland wrote: > How do you update Raxket? > > Sent from my iPhone > > On Sep 25, 2020, at 5:58 PM, Robby Findler > wrote: > &g

Re: [racket-users] Trouble opening File

2020-09-25 Thread Robby Findler
This may be bad advice. Make sure you and your partner are both using the same version of Racket! Robby On Fri, Sep 25, 2020 at 4:53 PM Robby Findler wrote: > That sounds like the file was in the wxme format (i.e. it probably had > images in it) and then something got garbled in th

Re: [racket-users] Trouble opening File

2020-09-25 Thread Robby Findler
That sounds like the file was in the wxme format (i.e. it probably had images in it) and then something got garbled in the file. If your partner can still open it fine, then probably the simplest thing is for them to compress it and send you the compressed file (e.g. nowadays you can usually

Re: [racket-users] strange error message with debugging enabled

2020-09-25 Thread Robby Findler
Thanks, Jos. I think that this has been fixed (recently, since 7.8 was released). You might try a snapshot build and see if things are better for you there: https://snapshot.racket-lang.org/ Robby On Fri, Sep 25, 2020 at 9:57 AM Jos Koot wrote: > file b.rkt > #lang racket > (require "a.rkt")

Re: [racket-users] [relation-rules] found the same binder

2020-09-23 Thread Robby Findler
I'm not sure exactly what you're trying to accomplish so take this with a grain of salt, but that error message means that redex doesn't really know how to interpret your rules. Here's a simpler example that has the same error message. (reduction-relation L (--> (+ (+ n ...) n)

Re: [racket-users] [racket users] raise-user-error question

2020-09-19 Thread Robby Findler
That's some internal error "uh oh, something's wrong ... print out some hints to help people debug!" message. It looks like that's been fixed since, however as I don't see it in git build. Robby On Sat, Sep 19, 2020 at 5:31 PM Kevin Forchione wrote: > Hi guys. > > Using Racket 7.8 [cs[, If I

Re: [racket-users] Scribbling hexadecimal values

2020-09-19 Thread Robby Findler
I don't have any good hints but the reader supplies span information that can be used to disambiguate the original versions of some things (notably "#t" vs "#true"). I doubt this is enough for numbers in any general sense but following the path of actually carrying more information from the reader

Re: [racket-users] UTF-8 encoding error when opening files in DrRacket on Windows 10

2020-09-17 Thread Robby Findler
try installing the previous version for the time being. > > On Thursday, 17 September 2020 at 14:45:06 UTC+2 Robby Findler wrote: > >> We have had one other report yes. It looks like something is going wrong >> with the open file dialog. It may be possible to open files by do

Re: [racket-users] UTF-8 encoding error when opening files in DrRacket on Windows 10

2020-09-17 Thread Robby Findler
We have had one other report yes. It looks like something is going wrong with the open file dialog. It may be possible to open files by double clicking on them to sidestep the bug I am not sure. Sorry about this. Robby On Thu, Sep 17, 2020 at 6:29 AM breanndan@gmail.com <

Re: [racket-users] package manager woes on Windows 10?

2020-09-15 Thread Robby Findler
s fix. > > > > Finally, a million thanks for fixing this; I always have students (and it > happened again yesterday!) that run into this. > > > > John > > > > > > > > > On Sep 15, 2020, at 07:38, Robby Findler > wrote: > > >

Re: [racket-users] package manager woes on Windows 10?

2020-09-15 Thread Robby Findler
eturn too, why don't we simply directly change > the behavior 'single? > > On Sun, Sep 13, 2020 at 1:36 PM Robby Findler > wrote: > >> I'm not sure. I would probably add a 'single-no-return style and then >> grep the codebase for places that use 'single and change them

Re: [racket-users] package manager woes on Windows 10?

2020-09-13 Thread Robby Findler
ocs.racket-lang.org/gui/text-field_.html> too? >> >> On Sun, Sep 13, 2020 at 7:50 AM Robby Findler >> wrote: >> >>> Yea, I agree. I'd made that change locally but hadn't pushed because I >>> couldn't make the bad behavior happen reliably. Perhaps that lack

Re: [racket-users] package manager woes on Windows 10?

2020-09-13 Thread Robby Findler
Yea, I agree. I'd made that change locally but hadn't pushed because I couldn't make the bad behavior happen reliably. Perhaps that lack shouldn't stop us! Pushed now. Robby On Sat, Sep 12, 2020 at 11:15 PM jackh...@gmail.com wrote: > Could we make the "do what I mean" box just automatically

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Robby Findler
I was able to follow John's instructions and I get what Shriram had in the original message, so that seems like it is on the right track. Confusingly, however, I also seem to be getting this more helpful message: DrRacket install: invalid package source; inferred package name includes

  1   2   3   4   5   6   7   8   9   >