Mercurial > urweb
diff src/cjr_print.sml @ 117:94856a3b4752
Serving pages
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Jul 2008 15:44:00 -0400 |
parents | c5d7ce9ddd57 |
children | 7fdc146b2bc2 |
line wrap: on
line diff
--- a/src/cjr_print.sml Sun Jul 13 13:38:23 2008 -0400 +++ b/src/cjr_print.sml Sun Jul 13 15:44:00 2008 -0400 @@ -80,7 +80,7 @@ string m, string "_", string x, - string "(", + string "(ctx, ", p_list (p_exp env) es, string ")"] | EApp (e1, e2) => parenIf par (box [p_exp' true env e1, @@ -111,7 +111,7 @@ string ".", string x] - | EWrite e => box [string "(lw_write(", + | EWrite e => box [string "(lw_write(ctx, ", p_exp env e, string "), lw_unit_v)"] @@ -158,7 +158,7 @@ p_typ env ran, space, string ("__lwn_" ^ fx ^ "_" ^ Int.toString n), - string "(", + string "(lw_context ctx, ", p_typ env dom, space, p_rel env' 0, @@ -179,7 +179,7 @@ string "\")) {", newline, p_enamed env n, - string "(lw_unit_v);", + string "(ctx, lw_unit_v);", newline, string "}", newline] @@ -197,7 +197,7 @@ newline, p_list_sep newline (fn x => x) pds, newline, - string "void lw_handle(char *request) {", + string "void lw_handle(lw_context ctx, char *request) {", newline, p_list_sep newline (fn x => x) pds', newline,