frege repl:Frege REPL 源码

弗雷格·REPL 这是Frege的命令行REPL。 可以在提示中输入Frege代码段以对其进行评估。 除弗雷格代码外,还支持以下命令: 命令 描述 :type <表达式> 显示表达式的类型 :浏览 如果提供了模块名称,则显示模块中的名称,否则显示默认的REPL模块中的名称 :java 查看最后编译的Frege源代码的Java翻译 :load 从URL或文件加载Frege代码段 :r 重新加载上一个脚本URL或文件 :set提示提示符字符串 将提示设置为`promptString` :set多行提示提示符 设置多行模式提示。 :set show-limit 设置要在输出字符串中显示的字符数(默认值:80)。 :set编译器选项 设置编译器选项,例如“提示”,“ nowarn”,“内联”,“ O”,“注释”,“ ascii”,“