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

Re: [racket-users] -i as an identifier

2020-09-10 Thread Robby Findler
The r6rs number syntax has explicit cases for +i and -i http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-7.html#node_sec_4.2 Robby On Thu, Sep 10, 2020 at 7:27 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > I think you read the doc correctly, but there are programs that use +i

Re: [racket-users] DrRacket docs broken for Safari when opened once from dmg

2020-09-06 Thread Robby Findler
> fine, but then clicking on "Search Manuals" goes to a non-functional >> version of the search page. >> >> Everything works in Firefox though, which is why I was thinking some >> Safari caching or being picky about running some of the javascript for &g

Re: [racket-users] DrRacket docs broken for Safari when opened once from dmg

2020-09-06 Thread Robby Findler
I recall this as a bug that we fixed. Are you seeing this problem with the latest version? I cannot recall the details anymore, but it might work to run "raco setup" from the command line (with the raco that's not on the dmg). Robby On Sun, Sep 6, 2020 at 3:56 PM gfb wrote: > > Is there way

Re: [racket-users] drracket -- getting the buffer's current filename?

2020-09-01 Thread Robby Findler
Not sure if this is what you want, but here's a thing: #lang racket (define-syntax (my-source stx) #`'#,(syntax-source stx)) my-source On Tue, Sep 1, 2020 at 9:36 AM ibar...@radford.edu wrote: > When running from inside drracket, `(find-system-path 'run-file)` > understandable returns the

Re: [racket-users] Re: find-expr: find a corresponding expression in the definition window

2020-08-31 Thread Robby Findler
That's a nice idea! The code that calls current-print can check to see if the function accepts a specific keyword parameter and, if it does, supply it with a srcloc. Robby On Mon, Aug 31, 2020 at 2:38 PM Greg Hendershott wrote: > I might be misunderstanding and the following isn't some

Re: [racket-users] printing errors

2020-08-29 Thread Robby Findler
It might make the most sense for you to extract the exn-message and print it yourself? It should contain only the "a: undefined" part. If you want to selectively access the stacktrace and decide whether or not to print that first stackframe, that'll probably require a change to DrRacket, tho -- at

Re: [racket-users] Re: new racket-lang.org website

2020-08-28 Thread Robby Findler
: https://users.cs.northwestern.edu/~robby/tmp/Web/www/ Robby On Fri, Aug 28, 2020 at 6:43 AM Dominik Pantůček < dominik.pantu...@trustica.cz> wrote: > Except for the top links, it is perfect now. > > Screenshot attached. > > Dominik > > On August 27, 2020 3:50:28 PM GMT+

Re: [racket-users] printing errors

2020-08-27 Thread Robby Findler
It may be that you're seeing the "clever"ness of the DrRacket repl. If the last character printed is a newline, it only shows it when there is another character after the newline. Robby On Thu, Aug 27, 2020 at 5:18 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > For stacktrace,

Re: [racket-users] printing errors

2020-08-27 Thread Robby Findler
Yes, something like this: (define (print-exn exn) ((error-display-handler) (if (exn? exn) (exn-message exn) (format "~a" exn)) exn)) On Thu, Aug 27, 2020 at 3:31 PM Shriram Krishnamurthi wrote: > Given an exception, is there a way to print the error using

Re: [racket-users] Re: new racket-lang.org website

2020-08-27 Thread Robby Findler
hough with smaller fonts) but change content > flex-direction to row for this range > or > 2. Have just one cut off - 650px for mobile/tablet > > On Tuesday, August 25, 2020 at 7:51:57 PM UTC+2 Robby Findler wrote: > >> Hi all: as you may know if you follow dev@, we've been rev

Re: [racket-users] new racket-lang.org website

2020-08-25 Thread Robby Findler
I've put a version that uses 550 pixels as a cutoff here, in case that the 1080 really was 540: https://users.cs.northwestern.edu/~robby/tmp/Web/www/ Robby On Tue, Aug 25, 2020 at 5:06 PM Robby Findler wrote: > Thanks Dominik. Currently the site uses the predicate "less than 460 >

[racket-users] new racket-lang.org website

2020-08-25 Thread Robby Findler
Hi all: as you may know if you follow dev@, we've been revising the website. The new version went live last night; please have a look: https://www.racket-lang.org/ A big Thank You to Matthew Butterick for the previous design which, as you can tell, inspired the current visual design. Matthew,

Re: [racket-users] find-expr: find a corresponding expression in the definition window

2020-08-25 Thread Robby Findler
On Tue, Aug 25, 2020 at 3:19 AM Michael Sperber wrote: > > Technical question for Robby: How should we represent the icon? > Just a bitmap% object? > > A bitmap is a good choice (safe because the data of the bitmap can be extracted and then turned into a safe bitmap% object on the drracket

Re: [racket-users] [scribble] code:hilite for binders

2020-08-23 Thread Robby Findler
I think I've run into this too (but my memory is foggy) and what I did was have a macro that expands into `code` and also expands into the actual code but walks over the code and drops things like code:hilite and code:comment. Robby On Sun, Aug 23, 2020 at 9:23 AM Éric Tanter wrote: > Ok, I

Re: [racket-users] Deserializing snips from untrusted input

2020-08-20 Thread Robby Findler
easier ways to cause harm. > > OTOH, when using the load-file method, the dynamic-require could be an > issue if a theoretical attacker put a .rkt file at a known path and the > input to load-file refers to that path. > > Daniel > > On Thursday, August 20, 2020 at 3:12:00 PM UT

Re: [racket-users] Deserializing snips from untrusted input

2020-08-20 Thread Robby Findler
The issue I mention in 157 is different than this one. In this situation, the snipclass needs to be installed somehow before its code will be loaded, but that installation can happen by a require (triggered by the opening of that snip). So it may be that you have code installed in a collection

Re: [racket-users] Re: Application Templates!

2020-08-20 Thread Robby Findler
On Thu, Aug 20, 2020 at 9:11 AM Deren Dohoda wrote: > I would kill to understand the intended use of the framework library. I > don't understand what I'm supposed to do with it at all. Does anyone have > an application written with framework that I can look at? Or could we make > a small

  1   2   3   4   5   6   7   8   9   >