comparison src/compiler.sml @ 792:d20d6afc1206

Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 May 2009 18:02:25 -0400
parents efceae06df17
children dc3fc3f3b834
comparison
equal deleted inserted replaced
791:5368deb3764b 792:d20d6afc1206
378 serverOnly = #serverOnly old @ #serverOnly new, 378 serverOnly = #serverOnly old @ #serverOnly new,
379 jsFuncs = #jsFuncs old @ #jsFuncs new, 379 jsFuncs = #jsFuncs old @ #jsFuncs new,
380 rewrites = #rewrites old @ #rewrites new, 380 rewrites = #rewrites old @ #rewrites new,
381 filterUrl = #filterUrl old @ #filterUrl new, 381 filterUrl = #filterUrl old @ #filterUrl new,
382 filterMime = #filterMime old @ #filterMime new, 382 filterMime = #filterMime old @ #filterMime new,
383 sources = #sources old @ #sources new 383 sources = #sources new @ #sources old
384 } 384 }
385 in 385 in
386 foldr (fn (fname, job) => merge (job, parseUrp' fname)) job (!libs) 386 foldr (fn (fname, job) => merge (job, parseUrp' fname)) job (!libs)
387 end 387 end
388 388