Geek Answers Handbook

How to set the language in a racket REPL

I would like to install a language that my racket REPL uses interactively, for example:

-> #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 this gives me this error:

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

What is my mistake?

+7
racket
source share
1 answer

From the terminal you can choose which language to use when starting the racket:

 racket -I typed/racket
+9
source share

More articles:


All Articles