Is it possible for a tool invoked by info.rkt to access code which is outside
of the tool?
We’re building a #lang and would like to have on-demand syntax highlighting.
We’ve tried using a tool, and have successfully made a button and a menu item
that do it, but we’d like to activate
Fantastic, thank you
‐‐‐ Original Message ‐‐‐
On Sunday, January 3, 2021 12:14 PM, Ryan Culpepper
> It's the consequence of two design goals:
> 1. The `module` form is separate from the `#%module-begin` syntax hook so
> that the module's initial language can pick the
I continued doing various tests and realized that my problem was something
else, since the following code works:
(module untyped-submodule racket
(provide a macro)
(define a 2)
(define-syntax-rule (macro arg) (+ 1 arg)))
Thanks for sharing.
I honed in on the review video because I like the philosophical discussions
that come from them. I'm not sure about the comments re: toxicity in the
community and how that helps one succeed in academia, but I did see some value
in discussing the merits of LOP.
How can I require macros coming from untyped modules into typed modules?
Intuitively I'd expect that to be possible in a way or another because such
imports don't seem to violate any safety guarantees, but maybe I'm missing
You received this message because you
It's the consequence of two design goals:
1. The `module` form is separate from the `#%module-begin` syntax hook so
that the module's initial language can pick the hook macro that controls
the entire module body.
2. Racket's primitive syntax is designed so that it can be re-expanded.
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
Here are the videos:
Playing the Game with PLT Redex: https://youtu.be/NszLQNROdw0
Understanding the Type of call/cc: https://youtu.be/7Zkt_IJaYOY
Racket: Why I Think It’s a Great Language, and Why I’m Not Using It
The first two used to be articles
Since Redex can calculate all possible results in the judgment, Can I add
some negative premise to help derive the output? like
#:mode (infer I O)
[(infer A B)
*(not (infer number B)*
(Infer C B)]
I tried to replace bold line
Mail list logo