diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-13 15:44:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-13 15:44:00 -0400 |
| commit | c54e3eca0a8d7e72f12801bc5ec993dddfa7958b (patch) | |
| tree | a37326be0f01025df57b4f3bf1f209528042df1c /src/cjr_print.sml | |
| parent | 0eb51a6e21e5f435d37afd885ae316a0575c7208 (diff) | |
Serving pages
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 19df046f..980be593 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -80,7 +80,7 @@ fun p_exp' par env (e, _) = 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 @@ fun p_exp' par env (e, _) = 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 @@ fun p_decl env ((d, _) : decl) = 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 @@ fun p_page env (s, n) = string "\")) {", newline, p_enamed env n, - string "(lw_unit_v);", + string "(ctx, lw_unit_v);", newline, string "}", newline] @@ -197,7 +197,7 @@ fun p_file env (ds, ps) = 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, |