Hi, im a beginner with racket and im using it to implement a language in
order to test its operational semantic rules.
This is the function where i keep having the error:
(define-metafunction FS
call : env-ß classes address f ((x v)...) -> e
[(call (env-ß_1 ... ((address_1 C_1 n_1 vars_1
On an apparently related note:
I have modified Racket to allow parameterized control over how numbers are
written/printed/displayed ( cf. https://github.com/racket/racket/pull/3222
).
This works fine from command-line racket, but DrRacket (installed using
`raco pkg install -i drracket` of my
DrRacket uses `pretty-print`, which will print numbers using
`number->string`, and so (I think) won't go through your parameter.
I think there may be problems with parametering the core printer,
partly because printing is is sometimes used where `read` is supposed
to work on the result, but I
On Friday, May 29, 2020 at 11:29:38 AM UTC-4, Matthew Flatt wrote:
>
> DrRacket uses `pretty-print`, which will print numbers using
> `number->string`, and so (I think) won't go through your parameter.
>
This sounds like a good lead - curious if this also applies to `write` and
`display` as
Any ideas what I can do to stop getting this message anytime I have
DrRacket running in 2 terminals in different workspaces on linux/Ubuntu.
"Error saving preferences" is the title in the popup window.
Text in the window is:
"The preferences file is locked (because ...) so your preference change
There may be other solutions, but one way to control the evaluation of
expressions entered in the REPL
is to provide an #%top-interaction, which sets the appropriate parameters.
/Jens Axel
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To
Jens -
Interesting - does the default #%top-interaction behave differently from
#%module-begin w.r.t. to a #lang's read?
Right now my main.rkt is providing the standard #%module-begin,
#%top-interaction, #%app, #%datum, and #%top, in addition to my language's
functions + macros.
Thanks!
On Fri,
Quick follow-up:
It looks like I may somehow be able to change DrRacket's printing and
reading behavior on a per-language basis somehow using the classes here
https://docs.racket-lang.org/tools/drracket_language.html?q=drracket%3Alanguage%3Asimple-settings-printing-style
but the documentation
8 matches
Mail list logo
