From bad7adde120773d46af83ab972967f26823e37b4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 5 Dec 2015 12:04:06 -0500 Subject: New .urp directive: jsFile --- src/jscomp.sml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/jscomp.sml') diff --git a/src/jscomp.sml b/src/jscomp.sml index 3709bcd3..9c8effd7 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -1358,8 +1358,9 @@ fun process (file : file) = val script = if !foundJavaScript then - lines ^ urlRules ^ String.concat (rev (#script st)) - ^ "\ntime_format = \"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\";\n" + String.concatWith "" ((lines ^ urlRules ^ String.concat (rev (#script st)) + ^ "\ntime_format = \"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\";\n") + :: map (fn r => "\n// " ^ #Filename r ^ "\n\n" ^ #Content r ^ "\n") (Settings.listJsFiles ())) else "" in -- cgit v1.2.3