結果
| 問題 | 
                            No.9000 Hello World! (テスト用)
                             | 
                    
| ユーザー | 
                             | 
                    
| 提出日時 | 2025-06-25 23:20:39 | 
| 言語 | Standard ML  (MLton 20210117)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 1 ms / 5,000 ms | 
| コード長 | 111 bytes | 
| コンパイル時間 | 8,003 ms | 
| コンパイル使用メモリ | 689,656 KB | 
| 実行使用メモリ | 7,844 KB | 
| 最終ジャッジ日時 | 2025-06-25 23:20:48 | 
| 合計ジャッジ時間 | 8,833 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 4 | 
コンパイルメッセージ
Warning: main.sml 3.13-3.18.
  Declaration is not exhaustive.
    missing pattern: NONE
    in: val SOME _ = TextIO.inputLine TextIO.stdIn
            
            ソースコード
val () =
    let
        val SOME _ = TextIO.inputLine TextIO.stdIn
    in
        print "Hello World!"
    end