Submission #1115339
Source Code Expand
fun readInt () = TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn val SOME n = readInt () val SOME m = readInt () val () = print (Int.toString ((n + m div 2) div 2) ^ "\n")
Submission Info
| Submission Time | |
|---|---|
| Task | C - Scc Puzzle |
| User | fetburner |
| Language | Standard ML (MLton 20100608) |
| Score | 0 |
| Code Size | 191 Byte |
| Status | RE |
| Exec Time | 1 ms |
| Memory | 256 KB |
Compile Error
Warning: Main.sml 4.6.
Declaration is not exhaustive.
missing pattern: NONE
in: SOME n = readInt ()
Warning: Main.sml 5.6.
Declaration is not exhaustive.
missing pattern: NONE
in: SOME m = readInt ()
Judge Result
| Set Name | Sample | All | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Score / Max Score | 0 / 0 | 0 / 300 | ||||||||
| Status |
|
|
| Set Name | Test Cases |
|---|---|
| Sample | 00_example_01.txt, 00_example_02.txt |
| All | 00_example_01.txt, 00_example_02.txt, 01.txt, 02.txt, 03.txt, 04.txt, 05.txt, 06.txt, 07.txt |
| Case Name | Status | Exec Time | Memory |
|---|---|---|---|
| 00_example_01.txt | AC | 1 ms | 256 KB |
| 00_example_02.txt | AC | 1 ms | 256 KB |
| 01.txt | RE | 1 ms | 256 KB |
| 02.txt | RE | 1 ms | 256 KB |
| 03.txt | RE | 1 ms | 256 KB |
| 04.txt | WA | 1 ms | 256 KB |
| 05.txt | WA | 1 ms | 256 KB |
| 06.txt | AC | 1 ms | 256 KB |
| 07.txt | AC | 1 ms | 256 KB |