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指出这一点！），并显示在编译期间后期生成的警告。 This issue已修复，以下示例现在在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

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

1 个答案: