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?
From the terminal you can choose what language to use when you start racket:
racket -I typed/racket
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With