this is still bugging me: how to open racket terminal with at-exp enabled; Racket -I at-exp racket doesn’t work?

@leif MFelleisen has mentioned you have developed an indentation checker. Is that available anywhere?

@pocmatos I mean, I just slapped a small script together to help him with one of his classes. But its not particularly robust.

Would you like me to send it to you?

That would be great, thanks. pmatos@linki.tools

Okay, one moment.

@pocmatos sent.

@leif thanks.

@githree huh. not sure. racket -i -I typed/racket works fine, but racket -i -I at-exp complains about not finding share/pkgs/at-exp-lib/at-exp/main.rkt… but typed/racket doesn’t have a main (by file name). Maybe something in the info.rkt hints at the how?

hrm.. there isn’t one of those either [ETA: I was wrong on this, dunno how I missed it]

the typed/racket info.rkt is a 1 line mess. But I just found raco read <path> which helps tremendously

the typed/racket.rkt file is probably what you want

but in general, at-exp is a module language and not necessarily something you can use at the repl

@zenspider thanks for actually trying it out to see what I mean :slightly_smiling_face:

@samth but shouldn’t it be available as an option to use reader extension like the at-exp from the level of REPL?

The at-exp reader is not necessarily something that works for repls

Module readers can be different

Additionally, there’s not a command line option for configuring the reader at the repl

OK, my question was more general than at-exp: I was planning to build reader extension but than I realised I can’t find the right syntax to even make repl work with at-exp. At least I know there is none. So it is more a feature request then…

@githree you can do something like racket -e '(current-readtable (make-at-readtable))'

thanks @samth, will try it