diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-09 19:46:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-09 19:46:12 -0400 |
| commit | 65edfa17d6df526c57fdb08bf033671c7c6756f6 (patch) | |
| tree | a188369441311baef3363b17416ec9680c6ffc92 /src/cjr_print.sml | |
| parent | 0186af3d727b1b92e7b63925500a21d5e412d7b4 (diff) | |
strings get 'Option' datatype handling; fix datatype unurlifying
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index be13461e..a9cc9ba5 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -80,6 +80,7 @@ fun p_typ' par env (t, loc) = | SOME t => case #1 t of TDatatype _ => p_typ' par env t + | TFfi ("Basis", "string") => p_typ' par env t | _ => box [p_typ' par env t, string "*"]) | TDatatype (Default, n, _) => @@ -216,6 +217,8 @@ fun p_pat (env, exit, depth) (p, _) = case #1 t of TDatatype _ => box [string "disc", string (Int.toString depth)] + | TFfi ("Basis", "string") => box [string "disc", + string (Int.toString depth)] | _ => box [string "*disc", string (Int.toString depth)], string ";", @@ -336,6 +339,7 @@ fun p_exp' par env (e, loc) = in case #1 t of TDatatype _ => p_exp' par env e + | TFfi ("Basis", "string") => p_exp' par env e | _ => box [string "({", newline, p_typ env t, @@ -914,6 +918,7 @@ fun p_file env (ds, ps) = case #1 t of TDatatype _ => unurlify t + | TFfi ("Basis", "string") => unurlify t | _ => box [string "({", newline, p_typ env t, @@ -985,8 +990,6 @@ fun p_file env (ds, ps) = string (Int.toString (size x')), string ";", newline, - string "if (request[0] == '/') ++request;", - newline, case to of NONE => box [] | SOME t => box [string "tmp->data.lw_", |