summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-03-08 12:54:07 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-03-08 12:54:07 -0400
commit2e6fc0053007f5f1e5560a1457882da0f9256065 (patch)
treebfda8c2d7f2e68ec0896c04909dceb281f84f3ec /src
parent8f1f8871d3760f6254a3fc171edaf6ef503d31c3 (diff)
RPC returning an option datatype
Diffstat (limited to 'src')
-rw-r--r--src/cjr_print.sml110
1 files changed, 43 insertions, 67 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 8b15af4d..630f9f7c 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -927,11 +927,14 @@ fun urlify env t =
doEm xncs
end
- | TDatatype (Option, i, xncs) => box []
- (*if IS.member (rf, i) then
- box [string "unurlify_",
+ | TDatatype (Option, i, xncs) =>
+ if IS.member (rf, i) then
+ box [string "urlify_",
string (Int.toString i),
- string "()"]
+ string "(it",
+ string (Int.toString level),
+ string ");",
+ newline]
else
let
val (x, _) = E.lookupDatatype env i
@@ -942,91 +945,64 @@ fun urlify env t =
(no_arg, has_arg, t)
| [(has_arg, _, SOME t), (no_arg, _, NONE)] =>
(no_arg, has_arg, t)
- | _ => raise Fail "CjrPrint: unfooify misclassified Option datatype"
+ | _ => raise Fail "CjrPrint: urlify misclassified Option datatype"
val rf = IS.add (rf, i)
in
box [string "({",
space,
- p_typ env t,
+ string "void",
space,
- string "*unurlify_",
+ string "urlify_",
string (Int.toString i),
- string "(void) {",
+ string "(",
+ p_typ env t,
+ space,
+ if isUnboxable t then
+ box []
+ else
+ string "*",
+ string "it0) {",
newline,
- box [string "return (request[0] == '/' ? ++request : request,",
- newline,
- string "((!strncmp(request, \"",
- string no_arg,
- string "\", ",
- string (Int.toString (size no_arg)),
- string ") && (request[",
- string (Int.toString (size no_arg)),
- string "] == 0 || request[",
- string (Int.toString (size no_arg)),
- string "] == '/')) ? (request",
- space,
- string "+=",
- space,
- string (Int.toString (size no_arg)),
- string ", NULL) : ((!strncmp(request, \"",
- string has_arg,
- string "\", ",
- string (Int.toString (size has_arg)),
- string ") && (request[",
- string (Int.toString (size has_arg)),
- string "] == 0 || request[",
- string (Int.toString (size has_arg)),
- string "] == '/')) ? (request",
- space,
- string "+=",
- space,
- string (Int.toString (size has_arg)),
- string ", (request[0] == '/' ? ++request : NULL), ",
- newline,
-
- if isUnboxable t then
- unurlify' rf (#1 t)
+ box [string "if (it0) {",
+ if isUnboxable t then
+ urlify' rf 0 t
else
- box [string "({",
- newline,
- p_typ env t,
+ box [p_typ env t,
space,
- string "*tmp",
+ string "it1",
space,
string "=",
space,
- string "uw_malloc(ctx, sizeof(",
- p_typ env t,
- string "));",
+ string "*it0;",
newline,
- string "*tmp",
- space,
- string "=",
- space,
- unurlify' rf (#1 t),
- string ";",
- newline,
- string "tmp;",
+ string "uw_write(ctx, \"",
+ string has_arg,
+ string "/\");",
newline,
- string "})"],
- string ")",
- newline,
- string ":",
- space,
- string ("(uw_error(ctx, FATAL, \"Error unurlifying datatype " ^ x
- ^ "\"), NULL))));"),
+ urlify' rf 1 t,
+ string ";",
+ newline],
+ string "} else {",
+ box [string "uw_write(ctx, \"",
+ string no_arg,
+ string "\");",
+ newline],
+ string "}",
newline],
string "}",
newline,
newline,
- string "unurlify_",
+ string "urlify_",
string (Int.toString i),
- string "();",
+ string "(it",
+ string (Int.toString level),
+ string ");",
newline,
- string "})"]
- end*)
+ string "});",
+ newline]
+ end
| TDatatype (Default, i, _) => box []
(*if IS.member (rf, i) then