[racket-users] DrRacket: Freezing in the Background

2020-09-01 Thread Evan L
Hi, I was wondering what I should do if DrRacket freezes in the background. So far, I've had this problem on both the 7.7 and 7.5 versions of the program. Details: DrRacket freezes in the background when left open for an extended period of time. The program is frozen permanently and

[racket-users] [ANN] Xsmith 2.0

2020-09-01 Thread William G Hatch
Announcing the release of Xsmith version 2.0! Xsmith is a DSL for making random test case generators (fuzzers) for programming language implementations. Xsmith is designed to generate valid test cases that can be used for differential testing between multiple different implementations of

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

2020-09-01 Thread Laurent
What do you want this for, more precisely? On Tue, Sep 1, 2020 at 3:35 PM ibar...@radford.edu wrote: > When running from inside drracket, `(find-system-path 'run-file)` > understandable returns the DrRacket executable. Is there a way for me to > further find the name of the source-file, in

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

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

2020-09-01 Thread ibar...@radford.edu
When running from inside drracket, `(find-system-path 'run-file)` understandable returns the DrRacket executable. Is there a way for me to further find the name of the source-file, in that situation? --Ian -- You received this message because you are subscribed to the Google Groups