Mercurial > urweb
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 |