From 6237af88655d8989ac803d3561074c4304c08922 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 10:44:26 -0400 Subject: Avoid any JavaScript when pages don't need it; update demo prose --- src/cjr_print.sml | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'src/cjr_print.sml') diff --git a/src/cjr_print.sml b/src/cjr_print.sml index aff5efd3..ab808426 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008-2009, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -2130,7 +2130,7 @@ fun p_file env (ds, ps) = E.declBinds env d)) env ds - val fields = foldl (fn ((ek, _, _, ts, _), fields) => + val fields = foldl (fn ((ek, _, _, ts, _, _), fields) => case ek of Core.Link => fields | Core.Rpc => fields @@ -2251,7 +2251,7 @@ fun p_file env (ds, ps) = string "}"] end - fun p_page (ek, s, n, ts, ran) = + fun p_page (ek, s, n, ts, ran, side) = let val (ts, defInputs, inputsVar) = case ek of @@ -2346,6 +2346,12 @@ fun p_file env (ds, ps) = string "uw_write_header(ctx, \"Content-script-type: text/javascript\\r\\n\");", newline, string "uw_write(ctx, \"\");", + newline, + string "uw_set_script_header(ctx, \"", + string (case side of + ServerAndClient => "\\n" + | ServerOnly => ""), + string "\");", newline]), box [string "{", newline, -- cgit v1.2.3