Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

How do I set the language in the racket REPL

Tags:

racket

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?

like image 784
djhaskin987 Avatar asked Sep 05 '13 06:09

djhaskin987


1 Answers

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

racket -I typed/racket
like image 75
Sylwester Avatar answered Sep 28 '22 05:09

Sylwester