How do I set the language in the racket REPL

微笑、不失礼 提交于 2020-03-18 10:51:24

问题


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?


回答1:


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

racket -I typed/racket


来源:https://stackoverflow.com/questions/18628862/how-do-i-set-the-language-in-the-racket-repl

标签
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!