frege - 如何在在线 REPL 中启用提示和警告

Question

我想我可以像这样在命令行 REPL 上做到这一点：

java -jar frege-repl-1.0.3-SNAPSHOT.jar -hints -warnings

但是我怎样才能在http://try.frege-lang.org中做同样的事情

Answer 1

默认情况下已启用提示和警告。例如，

frege> f x = f x
function f :: α -> β
3: application of f will diverge.

也许我们可以通过明确地将其表示为警告或提示（而不是区分它们的颜色）来使其变得更好，例如：

[Warning] 3: application of f will diverge.

并提供打开/关闭它们的选项。

更新： 确实存在一个问题（感谢 Ingo 指出这一点！）显示在编译过程中稍后阶段生成的警告。此问题已得到修复，以下示例现在可以在 REPL 中正确显示警告：

frege> h x = 0; h false = 42
function h :: Bool -> Int
4: equation or case alternative cannot be reached.

frege> f false = 6
function f :: Bool -> Int
5: function pattern is refutable, consider
adding a case for true