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,