10

Windows で New Jersey SML を使用しています。が SML ファイルの場合test.sml、Windows コマンド プロンプトで次のコマンドを実行して実行できます。

C:\> sml test.sml

次に、通常の SML 出力と新しい SML コマンド プロンプトが表示されます。

Standard ML of New Jersey v110.75 [built: Sat Sep 29 12:51:13 2012]
[opening hw1.sml]
val d2 = (1,1) : int * int
val d3 = (1,1) : int * int
val d4 = (2,1) : int * int
val d5 = (1,2) : int * int
val x7 = true : bool
-

代わりに、SML 対話モードのままではなく、Windows コマンド プロンプトに戻りたいと思います。

これどうやってするの？

4

3 に答える 3

22

試しましたか：

sml <test.sml

さらに、そのコンパイル マネージャー (CM) SML/NJ を使用すると、実際にプログラムをバイナリにコンパイルし、それらを個別に実行できます。詳しくはマニュアルを参照してください (特に、ml-build コマンドについて説明しているセクション 15 を参照してください)。

于 2013-01-19T17:17:28.810 に答える
5

そのように SML/NJ を実行すると、REPL (read-eval-print-loop) が開きます。したがって、終了するように指示されるまで、新しい宣言が解釈されるのを待ちます。

SML/NJ faq on usageによると、

OS.Process.exit 関数は、プログラム内から sml を終了する適切な手段です。

または のいずれOS.Process.successかOS.Process.failureを引数として取ります。

于 2013-01-19T17:21:47.233 に答える