comparison src/main.mlton.sml @ 1809:b8fa7441e637

Add list of files to new error message
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Aug 2012 13:57:48 -0400
parents 90ebfac7e1a3
children d636d33fd8a2
comparison
equal deleted inserted replaced
1808:90ebfac7e1a3 1809:b8fa7441e637
167 val () = doArgs args 167 val () = doArgs args
168 168
169 val job = 169 val job =
170 case !sources of 170 case !sources of
171 [file] => file 171 [file] => file
172 | _ => 172 | files =>
173 if List.exists (fn s => s <> "-version") args then 173 if List.exists (fn s => s <> "-version") args then
174 raise Fail "Zero or multiple input files specified; only one is allowed." 174 raise Fail ("Zero or multiple input files specified; only one is allowed.\nFiles: "
175 ^ String.concatWith ", " files)
175 else 176 else
176 printVersion () 177 printVersion ()
177 in 178 in
178 case (!css, !demo, !tutorial) of 179 case (!css, !demo, !tutorial) of
179 (true, _, _) => 180 (true, _, _) =>