Submission #4651600
Source Code Expand
fun readInt () = TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn val SOME x = readInt () val SOME y = readInt () val a = y - x + 1 val _ = print (Int.toString a ^ "\n")
Submission Info
Submission Time | |
---|---|
Task | A - アルバム |
User | mine691 |
Language | Standard ML (MLton 20100608) |
Score | 100 |
Code Size | 184 Byte |
Status | AC |
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 () Warning: Main.sml 4.6. Declaration is not exhaustive. missing pattern: NONE in: SOME y = readInt ()
Judge Result
Set Name | Sample | All | ||||
---|---|---|---|---|---|---|
Score / Max Score | 0 / 0 | 100 / 100 | ||||
Status |
|
|
Set Name | Test Cases |
---|---|
Sample | sample_01.txt, sample_02.txt |
All | sample_01.txt, sample_02.txt, case_01.txt, case_02.txt, case_03.txt, case_04.txt, case_05.txt, case_06.txt, case_07.txt, case_08.txt, case_09.txt, case_10.txt, case_11.txt, case_12.txt, case_13.txt, case_14.txt, case_15.txt |
Case Name | Status | Exec Time | Memory |
---|---|---|---|
case_01.txt | AC | 1 ms | 256 KB |
case_02.txt | AC | 1 ms | 256 KB |
case_03.txt | AC | 1 ms | 256 KB |
case_04.txt | AC | 1 ms | 256 KB |
case_05.txt | AC | 1 ms | 256 KB |
case_06.txt | AC | 1 ms | 256 KB |
case_07.txt | AC | 1 ms | 256 KB |
case_08.txt | AC | 1 ms | 256 KB |
case_09.txt | AC | 1 ms | 256 KB |
case_10.txt | AC | 1 ms | 256 KB |
case_11.txt | AC | 1 ms | 256 KB |
case_12.txt | AC | 1 ms | 256 KB |
case_13.txt | AC | 1 ms | 256 KB |
case_14.txt | AC | 1 ms | 256 KB |
case_15.txt | AC | 1 ms | 256 KB |
sample_01.txt | AC | 1 ms | 256 KB |
sample_02.txt | AC | 1 ms | 256 KB |