# HG changeset patch # User Adam Chlipala # Date 1224445667 14400 # Node ID 1195f6e4d208cbb1c8b801c306486ee0774c0759 # Parent 2a7e7bd7b29fa1b6a1085494909cd4953130acd5 Support for URL prefixes that works with local demo diff -r 2a7e7bd7b29f -r 1195f6e4d208 src/compiler.sig --- a/src/compiler.sig Sun Oct 19 15:19:41 2008 -0400 +++ b/src/compiler.sig Sun Oct 19 15:47:47 2008 -0400 @@ -30,6 +30,7 @@ signature COMPILER = sig type job = { + prefix : string, database : string option, sources : string list, exe : string, diff -r 2a7e7bd7b29f -r 1195f6e4d208 src/compiler.sml --- a/src/compiler.sml Sun Oct 19 15:19:41 2008 -0400 +++ b/src/compiler.sml Sun Oct 19 15:47:47 2008 -0400 @@ -36,6 +36,7 @@ structure LrParser = LrParser) type job = { + prefix : string, database : string option, sources : string list, exe : string, @@ -198,7 +199,7 @@ handle LrParser.ParseError => [], print = SourcePrint.p_file} -fun p_job {database, exe, sql, sources, debug} = +fun p_job {prefix, database, exe, sql, sources, debug} = let open Print.PD open Print @@ -259,18 +260,19 @@ readSources acc end - fun finish (database, exe, sql, debug, sources) = - {database = database, + fun finish (prefix, database, exe, sql, debug, sources) = + {prefix = Option.getOpt (prefix, "/"), + database = database, exe = Option.getOpt (exe, OS.Path.joinBaseExt {base = OS.Path.base filename, ext = SOME "exe"}), sql = sql, debug = debug, sources = sources} - fun read (database, exe, sql, debug) = + fun read (prefix, database, exe, sql, debug) = case TextIO.inputLine inf of - NONE => finish (database, exe, sql, debug, []) - | SOME "\n" => finish (database, exe, sql, debug, readSources []) + NONE => finish (prefix, database, exe, sql, debug, []) + | SOME "\n" => finish (prefix, database, exe, sql, debug, readSources []) | SOME line => let val (cmd, arg) = Substring.splitl (fn x => not (Char.isSpace x)) (Substring.full line) @@ -278,28 +280,36 @@ val arg = Substring.string (trim arg) in case cmd of - "database" => + "prefix" => + (case prefix of + NONE => () + | SOME _ => ErrorMsg.error "Duplicate 'prefix' directive"; + read (SOME arg, database, exe, sql, debug)) + | "database" => (case database of NONE => () | SOME _ => ErrorMsg.error "Duplicate 'database' directive"; - read (SOME arg, exe, sql, debug)) + read (prefix, SOME arg, exe, sql, debug)) | "exe" => (case exe of NONE => () | SOME _ => ErrorMsg.error "Duplicate 'exe' directive"; - read (database, SOME (relify arg), sql, debug)) + read (prefix, database, SOME (relify arg), sql, debug)) | "sql" => (case sql of NONE => () | SOME _ => ErrorMsg.error "Duplicate 'sql' directive"; - read (database, exe, SOME (relify arg), debug)) - | "debug" => read (database, exe, sql, true) + read (prefix, database, exe, SOME (relify arg), debug)) + | "debug" => read (prefix, database, exe, sql, true) | _ => (ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'"); - read (database, exe, sql, debug)) + read (prefix, database, exe, sql, debug)) end + + val job = read (NONE, NONE, NONE, NONE, false) in - read (NONE, NONE, NONE, false) - before TextIO.closeIn inf + TextIO.closeIn inf; + Monoize.urlPrefix := #prefix job; + job end, print = p_job } diff -r 2a7e7bd7b29f -r 1195f6e4d208 src/demo.sml --- a/src/demo.sml Sun Oct 19 15:19:41 2008 -0400 +++ b/src/demo.sml Sun Oct 19 15:47:47 2008 -0400 @@ -75,6 +75,7 @@ | (SOME v1, SOME v2) => SOME (f (v1, v2)) fun combiner (combined : Compiler.job, urp : Compiler.job) = { + prefix = prefix, database = mergeWith (fn (v1, v2) => if v1 = v2 then v1 @@ -337,6 +338,9 @@ TextIO.output (outf, "\n"))) (#database combined); TextIO.output (outf, "sql demo.sql\n"); + TextIO.output (outf, "prefix "); + TextIO.output (outf, prefix); + TextIO.output (outf, "\n"); TextIO.output (outf, "\n"); app (fn s => diff -r 2a7e7bd7b29f -r 1195f6e4d208 src/monoize.sig --- a/src/monoize.sig Sun Oct 19 15:19:41 2008 -0400 +++ b/src/monoize.sig Sun Oct 19 15:47:47 2008 -0400 @@ -27,6 +27,8 @@ signature MONOIZE = sig + val urlPrefix : string ref + val monoize : CoreEnv.env -> Core.file -> Mono.file val liftExpInExp : int -> Mono.exp -> Mono.exp diff -r 2a7e7bd7b29f -r 1195f6e4d208 src/monoize.sml --- a/src/monoize.sml Sun Oct 19 15:19:41 2008 -0400 +++ b/src/monoize.sml Sun Oct 19 15:47:47 2008 -0400 @@ -35,6 +35,8 @@ structure IM = IntBinaryMap +val urlPrefix = ref "/" + val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan) structure U = MonoUtil @@ -264,7 +266,7 @@ let val (_, _, _, s) = Env.lookupENamed env fnam in - ((L'.EPrim (Prim.String ("/" ^ s)), loc), fm) + ((L'.EPrim (Prim.String (!urlPrefix ^ s)), loc), fm) end | L'.EClosure (fnam, args) => let @@ -287,7 +289,7 @@ | _ => (E.errorAt loc "Type mismatch encoding attribute"; (e, fm)) in - attrify (args, ft, (L'.EPrim (Prim.String ("/" ^ s)), loc), fm) + attrify (args, ft, (L'.EPrim (Prim.String (!urlPrefix ^ s)), loc), fm) end | _ => case t of @@ -1283,8 +1285,6 @@ val xp = " " ^ lowercaseFirst x ^ "=\"" - - val (e, fm) = fooify env fm (e, t) in ((L'.EStrcat (s, @@ -1677,6 +1677,15 @@ fun monoize env ds = let + val p = !urlPrefix + val () = + if p = "" then + urlPrefix := "/" + else if String.sub (p, size p - 1) <> #"/" then + urlPrefix := p ^ "/" + else + () + val (_, _, ds) = List.foldl (fn (d, (env, fm, ds)) => case monoDecl (env, fm) d of NONE => (env, fm, ds)