$ racket -i -l scribble/reader -e "(use-at-readtable)" -l
your-lang-without-@-support

should do the trick. For example, to start a REPL in typed/racket with
@-reader support, you would use:

$ racket -i -l scribble/reader -e "(use-at-readtable)" -l typed/racket
> @+[2 3]
  - : Integer [more precisely: Positive-Index]
5

Documentation source:
https://docs.racket-lang.org/scribble/reader-internals.html

On Mon, Mar 2, 2020, 1:24 PM Stephen De Gabrielle <spdegabrie...@gmail.com>
wrote:

>
> I tried this but had no luck;
>
> Miriams-MBP:~ spdegabrielle$ cat start.rkt
>
> #lang at-exp racket/base
>
> (require racket/format)
>
> (displayln "try me")
>
> (~a "foo bar")
>
> @~a{foo bar}
>
>
> Miriams-MBP:~ spdegabrielle$ racket -t ~/start.rkt -i
>
> Welcome to Racket v7.6.
>
> try me
>
> "foo bar"
>
> "foo bar"
>
> > (~a "foo bar")
>
> ; readline-input:1:0: #%top-interaction: unbound identifier;
>
> ;  also, no #%app syntax transformer is bound
>
> ;   at: #%top-interaction
>
> ;   in: (#%top-interaction ~a "foo bar")
>
> ; [,bt for context]
>
> > @~a{foo bar}
>
>   ; readline-input:2:0: #%top-interaction: unbound identifier;
>
> ;  also, no #%app syntax transformer is bound
>
> ;   at: #%top-interaction
>
> ;   in: (#%top-interaction ~a "foo bar")
>
> ; [,bt for context]
>
>
>
> On Mon, Mar 2, 2020 at 4:57 PM Faré <fah...@gmail.com> wrote:
>
>> How may I start a racket command-line (or emacs subprocess) with the
>> at-exp racket language? (or at-exp something else) The obvious
>> racket -l 'at-exp racket'
>> doesn't work.
>>
>> —♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics•
>> http://fare.tunes.org
>> The universe isn't made of atoms, it's made of stories — Muriel Rukeyser
>>
>> --
>> 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 it, send an
>> email to racket-users+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/racket-users/CAN7nBXeD%3DspMKcN4Dz3zxoYJTo3vTwpVXNy6%3DHBP3e0tevaZBw%40mail.gmail.com
>> .
>>
> --
> 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 it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/CAGHj7-JHX3b%2BG-2czkcQUd3b_k3VXyd%3D_XwAMw7-kWvR6mtEgg%40mail.gmail.com
> <https://groups.google.com/d/msgid/racket-users/CAGHj7-JHX3b%2BG-2czkcQUd3b_k3VXyd%3D_XwAMw7-kWvR6mtEgg%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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 it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CACehHmC%3Dm27CC1FjXFA6c5vxs7eOszC72ChpgOwWb08TquRaXg%40mail.gmail.com.

Reply via email to