`read-syntax` is special, because its job is to convert the surface notation of
a #lang into S-expressions. So whatever is happening in `read-syntax` is
happening during compile time, even if we're using functions rather than
macros. In general, the reader is the most idiosyncratic part of the
Thank you for your answer , it does not really solve my general problem (I
think), but it enabled progress. I changed my read-syntax to:
(define (read-syntax _ port)
(define semi-ast (lex/j port))
(define module-datum `(module mod/j typed/racket (,@(pre-expand
semi-ast
(datum->syntax
It would be good if you can share a link to the code. It is difficult to
guess where is the problem is with this information. Is there an online
public repository with the code?
Unfortunately, no. But you are right. I will try and provide an
excerpt on which the crash reproduces.
Best
> On Apr 12, 2019, at 6:00 PM, Raoul Schorer wrote:
>
> Is there a way to achieve expansion to typed/racket from my custom language,
> please?
With the caveat that I'm probably overlooking some wrinkle pertaining to Typed
Racket — in general, the language of the expander module doesn't
Fantastic, that was faster and easier than I thought! So nice to not
constantly mess up all my commands any more... A good start to a new week.
:-)
Cheers,
Marc
On Mon, Apr 15, 2019 at 10:51 AM Marc Kaufmann
wrote:
> Ha, thanks. I should have searched the docs for readline, not for vi-mode
>
Ha, thanks. I should have searched the docs for readline, not for vi-mode
and vi mode. I'll let you know how it goes.
Marc
On Mon, Apr 15, 2019 at 10:30 AM Tom Gillespie wrote:
> I'm not sure if this will fix your vi-mode issues, but here is some info
> on the readline situation. You should be
I'm not sure if this will fix your vi-mode issues, but here is some info on
the readline situation. You should be able to get readline support by
installing readline-gpl via `raco pkg install readline-gpl` (as the name
suggests it was removed from core racket due to gpl compatibility
concerns).
Hi all,
I use vi-mode in the cli and in all the repls that use readline. Racket's
repl does not use readline for reading. Is there a way to get vi-mode going
anyway, either by wrapping readline around first or something else? And if
it's possible, would this require switching off something
8 matches
Mail list logo