comparison src/jscomp.sml @ 2197:6eae499c56cb

New .urp directive: jsFile
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Dec 2015 12:04:06 -0500
parents 9e9c915f554c
children 6fb9232ade99
comparison
equal deleted inserted replaced
2196:100352dbae36 2197:6eae499c56cb
1356 1356
1357 val urlRules = "urlRules = " ^ urlRules ^ ";\n\n" 1357 val urlRules = "urlRules = " ^ urlRules ^ ";\n\n"
1358 1358
1359 val script = 1359 val script =
1360 if !foundJavaScript then 1360 if !foundJavaScript then
1361 lines ^ urlRules ^ String.concat (rev (#script st)) 1361 String.concatWith "" ((lines ^ urlRules ^ String.concat (rev (#script st))
1362 ^ "\ntime_format = \"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\";\n" 1362 ^ "\ntime_format = \"" ^ Prim.toCString (Settings.getTimeFormat ()) ^ "\";\n")
1363 :: map (fn r => "\n// " ^ #Filename r ^ "\n\n" ^ #Content r ^ "\n") (Settings.listJsFiles ()))
1363 else 1364 else
1364 "" 1365 ""
1365 in 1366 in
1366 TextIO.closeIn inf; 1367 TextIO.closeIn inf;
1367 ((DJavaScript script, ErrorMsg.dummySpan) :: ds, #2 file) 1368 ((DJavaScript script, ErrorMsg.dummySpan) :: ds, #2 file)