Mercurial > urweb

comparison src/compiler.sml @ 1394:d328983dc5a6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Jan 2011 14:53:13 -0500
parents 802c179dac1f
children 115d217bbfbc
comparison
equal deleted inserted replaced
1393:802c179dac1f 1394:d328983dc5a6
1309 (compile ^ " -g", link ^ " -g") 1309 (compile ^ " -g", link ^ " -g")
1310 else 1310 else
1311 (compile, link) 1311 (compile, link)
1312 1312
1313 val link = foldl (fn (s, link) => link ^ " " ^ s) link link' 1313 val link = foldl (fn (s, link) => link ^ " " ^ s) link link'
1314
1315 fun system s =
1316 (if debug then
1317 print (s ^ "\n")
1318 else
1319 ();
1320 OS.Process.isSuccess (OS.Process.system s))
1314 in 1321 in
1315 OS.Process.isSuccess (OS.Process.system compile) 1322 system compile andalso system link
1316 andalso OS.Process.isSuccess (OS.Process.system link)
1317 end 1323 end
1318 1324
1319 fun compile job = 1325 fun compile job =
1320 case run toChecknest job of 1326 case run toChecknest job of
1321 NONE => false 1327 NONE => false