How do I set the language in the racket REPL

Question

I would like to set the language that my racket REPL is using interactively, like this:

-> #lang typed/racket
; readline-input:15:0: read: #lang not enabled in the current context [,bt for
;   context]
; typed/racket: undefined;
;  cannot reference undefined identifier
; [,bt for context]`

But it gives me this error:

-> ,bt
; typed/racket: undefined;
;  cannot reference undefined identifier

What is my error?

score 17 · Accepted Answer · answered Sep 05 '13 at 08:19

17

From the terminal you can choose what language to use when you start racket:

racket -I typed/racket

answered Sep 05 '13 at 08:19

Sylwester

47,942
4
47
79

9

is there a way to change the language once the REPL has already been started? that would be useful when launching a REPL session using, say, `M-x racket-repl` in Emacs. – Erik Kaplun Jun 01 '15 at 06:22

How do I set the language in the racket REPL

1 Answers1

Linked