無法使用推薦的“dafny build --target:py A.dfy”從 Dafny 轉換為 Python

Question

我正在嘗試使用 Dafny 參考文獻 (25.7.7) 中建議的 Dafny-to-Python 編譯器： http://dafny.org/dafny/DafnyRef/DafnyRef.html#2577-python

但是，我無法在終端中運行它的第一步： dafny build --target:py A.dfy ，因為我收到錯誤： Dafny: Error: unknown switch: --target 。 我按照他們的建議使用Use /help for available options ，但不知道如何解決。

為了以防萬一，我還嘗試使用舊版本的命令（參見同一參考中的 25.8.11）： dafny Hello.dfy -compileTarget:py但隨后收到消息Dafny: Error: Invalid argument "py" to option compileTarget .

任何的想法？ 請注意，作者自己清楚 state， Dafny-to-Python 編譯器仍在開發中。

PS：我通常在 Visual Studio 中而不是在終端中使用 Dafny，所以可能我缺少某種庫或其他東西。

Answer 1

您正在使用的非常過時的 Dafny 版本不支持新的 CLI 和 Python 編譯器。 您可能沒有使用正確的 VS Code 擴展，所以我從這里開始。 從今天開始，這應該在 /Users/$USER/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/Dafny.dll 安裝/Users/$USER/.vscode/extensions/dafny-lang.ide-vscode-3.0.3/out/resources/3.10.0/github/dafny/Dafny.dll 。 要查看如何使用 dll，請嘗試使用在 VS Code 中打開的 Dafny 文件按F5 。 Python編譯器完成，這幾天通過了所有測試。