# HG changeset patch # User Adam Chlipala # Date 1345312668 14400 # Node ID b8fa7441e637b61e92b4b5234298fd85401e3843 # Parent 90ebfac7e1a3bd0a82d5069b224dc4c9b9fab143 Add list of files to new error message diff -r 90ebfac7e1a3 -r b8fa7441e637 src/main.mlton.sml --- a/src/main.mlton.sml Sat Aug 18 13:51:41 2012 -0400 +++ b/src/main.mlton.sml Sat Aug 18 13:57:48 2012 -0400 @@ -169,9 +169,10 @@ val job = case !sources of [file] => file - | _ => + | files => if List.exists (fn s => s <> "-version") args then - raise Fail "Zero or multiple input files specified; only one is allowed." + raise Fail ("Zero or multiple input files specified; only one is allowed.\nFiles: " + ^ String.concatWith ", " files) else printVersion () in