Submission #4651555
Source Code Expand
fun readInt () = TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn val SOME x = readInt () val a = (x + 1) * 5000 val () = print (Int.toString a ^ "\n")
Submission Info
Submission Time | |
---|---|
Task | A - 正直者 |
User | mine691 |
Language | Standard ML (MLton 20100608) |
Score | 0 |
Code Size | 167 Byte |
Status | RE |
Exec Time | 1 ms |
Memory | 256 KB |
Compile Error
Warning: Main.sml 3.6. Declaration is not exhaustive. missing pattern: NONE in: SOME x = readInt ()
Judge Result
Set Name | all | ||||
---|---|---|---|---|---|
Score / Max Score | 0 / 100 | ||||
Status |
|
Set Name | Test Cases |
---|---|
all | 00_sample_01.txt, 00_sample_02.txt, kensho_diff01, kensho_diff02, kensho_diff03, kensho_diff04, kensho_diff05, kensho_min-max01, kensho_min-max02, kensho_min-max03, kensho_min-max04, kensho_min-max05, kensho_min-max06, kensho_min-max07, kensho_min-max08, kensho_min-max09, kensho_min-max10, kensho_rand01, kensho_rand02, kensho_rand03, kensho_rand04, kensho_rand05, kensho_rand06, kensho_rand07, kensho_rand08, kensho_rand09, kensho_rand10 |
Case Name | Status | Exec Time | Memory |
---|---|---|---|
00_sample_01.txt | WA | 1 ms | 256 KB |
00_sample_02.txt | RE | 1 ms | 256 KB |
kensho_diff01 | WA | 1 ms | 256 KB |
kensho_diff02 | WA | 1 ms | 256 KB |
kensho_diff03 | WA | 1 ms | 256 KB |
kensho_diff04 | WA | 1 ms | 256 KB |
kensho_diff05 | WA | 1 ms | 256 KB |
kensho_min-max01 | RE | 1 ms | 256 KB |
kensho_min-max02 | RE | 1 ms | 256 KB |
kensho_min-max03 | WA | 1 ms | 256 KB |
kensho_min-max04 | WA | 1 ms | 256 KB |
kensho_min-max05 | RE | 1 ms | 256 KB |
kensho_min-max06 | WA | 1 ms | 256 KB |
kensho_min-max07 | RE | 1 ms | 256 KB |
kensho_min-max08 | RE | 1 ms | 256 KB |
kensho_min-max09 | RE | 1 ms | 256 KB |
kensho_min-max10 | WA | 1 ms | 256 KB |
kensho_rand01 | RE | 1 ms | 256 KB |
kensho_rand02 | RE | 1 ms | 256 KB |
kensho_rand03 | RE | 1 ms | 256 KB |
kensho_rand04 | RE | 1 ms | 256 KB |
kensho_rand05 | RE | 1 ms | 256 KB |
kensho_rand06 | RE | 1 ms | 256 KB |
kensho_rand07 | RE | 1 ms | 256 KB |
kensho_rand08 | RE | 1 ms | 256 KB |
kensho_rand09 | RE | 1 ms | 256 KB |
kensho_rand10 | RE | 1 ms | 256 KB |