Mercurial > urweb

comparison src/compiler.sml @ 2197:6eae499c56cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New .urp directive: jsFile
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Dec 2015 12:04:06 -0500
parents fb113569519e
children 6fb9232ade99
comparison
equal deleted inserted replaced
2196:100352dbae36 2197:6eae499c56cb
873 Settings.addFile {Uri = uri, 873 Settings.addFile {Uri = uri,
874 LoadFromFilename = fname}; 874 LoadFromFilename = fname};
875 url := {action = Settings.Allow, kind = Settings.Exact, pattern = uri} :: !url) 875 url := {action = Settings.Allow, kind = Settings.Exact, pattern = uri} :: !url)
876 | _ => ErrorMsg.error "Bad 'file' arguments") 876 | _ => ErrorMsg.error "Bad 'file' arguments")
877 877
878 | "jsFile" =>
879 (Settings.setFilePath thisPath;
880 Settings.addJsFile arg)
881
878 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'"); 882 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");
879 read () 883 read ()
880 end 884 end
881 885
882 val job = if hasBlankLine then 886 val job = if hasBlankLine then