X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/525183a2c03bec98373a081d5989eee1431f9e6d..06bd821502f57dcb4ef89295b221fc2b9a4f1ae3:/src/order.sml diff --git a/src/order.sml b/src/order.sml index 14bd01e..b58c9f7 100644 --- a/src/order.sml +++ b/src/order.sml @@ -300,24 +300,24 @@ fun order basisOpt fnames = order basisOpt (List.filter (fn fname => not (SS.member (!naughtyFiles, fname))) fnames) end -fun order basisOpt fnames = - let - val (providers, fnames) = order basisOpt fnames - - val (hasLib, fnames) = foldl (fn (fname, (hasLib, fnames)) => - if OS.Path.file fname = "lib.dtl" then - (SOME fname, fnames) - else - (hasLib, fname :: fnames)) - (NONE, []) fnames - - val fnames = rev fnames - val fnames = case hasLib of - NONE => fnames - | SOME hasLib => hasLib :: fnames - in - (providers, fnames) - end +val order = fn basisOpt => fn fnames => + let + val (providers, fnames) = order basisOpt fnames + + val (hasLib, fnames) = foldl (fn (fname, (hasLib, fnames)) => + if OS.Path.file fname = "lib.dtl" then + (SOME fname, fnames) + else + (hasLib, fname :: fnames)) + (NONE, []) fnames + + val fnames = rev fnames + val fnames = case hasLib of + NONE => fnames + | SOME hasLib => hasLib :: fnames + in + (providers, fnames) + end type providers = {provideC : string SM.map, provideT : string SM.map,