首页 文章

如何在球拍REPL中设置语言

提问于
浏览
9

我想设置我的球拍REPL交互使用的语言,如下所示:

-> #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]`

但它给了我这个错误:

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

我的错误是什么?

1 回答

  • 10

    从终端,您可以选择开始球拍时使用的语言:

    racket -I typed/racket
    

相关问题