Submission #4651778


Source Code Expand

fun readInt () = TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn

val SOME x = readInt ()
val SOME y = readInt ()

fun max a b = if a > b then a else b

val _ = print (Int.toString (max x y) ^ "\n")

Submission Info

Submission Time
Task A - 正直者
User mine691
Language Standard ML (MLton 20100608)
Score 100
Code Size 213 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 all
Score / Max Score 100 / 100
Status
AC × 27
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 AC 1 ms 256 KB
00_sample_02.txt AC 1 ms 256 KB
kensho_diff01 AC 1 ms 256 KB
kensho_diff02 AC 1 ms 256 KB
kensho_diff03 AC 1 ms 256 KB
kensho_diff04 AC 1 ms 256 KB
kensho_diff05 AC 1 ms 256 KB
kensho_min-max01 AC 1 ms 256 KB
kensho_min-max02 AC 1 ms 256 KB
kensho_min-max03 AC 1 ms 256 KB
kensho_min-max04 AC 1 ms 256 KB
kensho_min-max05 AC 1 ms 256 KB
kensho_min-max06 AC 1 ms 256 KB
kensho_min-max07 AC 1 ms 256 KB
kensho_min-max08 AC 1 ms 256 KB
kensho_min-max09 AC 1 ms 256 KB
kensho_min-max10 AC 1 ms 256 KB
kensho_rand01 AC 1 ms 256 KB
kensho_rand02 AC 1 ms 256 KB
kensho_rand03 AC 1 ms 256 KB
kensho_rand04 AC 1 ms 256 KB
kensho_rand05 AC 1 ms 256 KB
kensho_rand06 AC 1 ms 256 KB
kensho_rand07 AC 1 ms 256 KB
kensho_rand08 AC 1 ms 256 KB
kensho_rand09 AC 1 ms 256 KB
kensho_rand10 AC 1 ms 256 KB