diff options
author | 2009-04-30 17:15:14 -0400 | |
---|---|---|
committer | 2009-04-30 17:15:14 -0400 | |
commit | 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 (patch) | |
tree | 4be9b76a5e655b9f28be47710cc47e600a369a14 /src/monoize.sml | |
parent | db2f1f208afef9110d8a5796a2325928a92b62cc (diff) |
C FFI compiler options
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 18 |
1 files changed, 5 insertions, 13 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index c54ab8ba..877e1a2c 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -36,8 +36,6 @@ structure L' = Mono structure IM = IntBinaryMap structure IS = IntBinarySet -val urlPrefix = ref "/" - val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan) structure U = MonoUtil @@ -376,7 +374,7 @@ fun fooifyExp fk env = let val (_, _, _, s) = Env.lookupENamed env fnam in - ((L'.EPrim (Prim.String (!urlPrefix ^ s)), loc), fm) + ((L'.EPrim (Prim.String (Settings.getUrlPrefix () ^ s)), loc), fm) end | L'.EClosure (fnam, args) => let @@ -399,7 +397,7 @@ fun fooifyExp fk env = | _ => (E.errorAt loc "Type mismatch encoding attribute"; (e, fm)) in - attrify (args, ft, (L'.EPrim (Prim.String (!urlPrefix ^ s)), loc), fm) + attrify (args, ft, (L'.EPrim (Prim.String (Settings.getUrlPrefix () ^ s)), loc), fm) end | _ => case t of @@ -1257,7 +1255,8 @@ fun monoExp (env, st, fm) (all as (e, loc)) = ((L'.EAbs ("c", s, (L'.TFun (t, (L'.TFun (un, un), loc)), loc), (L'.EAbs ("v", t, (L'.TFun (un, un), loc), (L'.EAbs ("_", un, un, - (L'.EFfiApp ("Basis", "set_cookie", [(L'.EPrim (Prim.String (!urlPrefix)), + (L'.EFfiApp ("Basis", "set_cookie", [(L'.EPrim (Prim.String + (Settings.getUrlPrefix ())), loc), (L'.ERel 2, loc), e]), loc)), @@ -3138,14 +3137,7 @@ datatype expungable = Client | Channel fun monoize env file = let - val p = !urlPrefix - val () = - if p = "" then - urlPrefix := "/" - else if String.sub (p, size p - 1) <> #"/" then - urlPrefix := p ^ "/" - else - () + (* Calculate which exported functions need cookie signature protection *) val rcook = foldl (fn ((d, _), rcook) => |