Mercurial > urweb

comparison src/cjr_print.sml @ 136:133fa2d51bb4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Dynamic arena allocation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 14:18:57 -0400
parents 78d59cf0a0cc
children 4b9c2bd6157c
comparison
equal deleted inserted replaced
135:b1cfe49ce692 136:133fa2d51bb4
210 210
211 fun unurlify (t, loc) = 211 fun unurlify (t, loc) =
212 case t of 212 case t of
213 TFfi ("Basis", "int") => string "lw_unurlifyInt(&request)" 213 TFfi ("Basis", "int") => string "lw_unurlifyInt(&request)"
214 | TFfi ("Basis", "float") => string "lw_unurlifyFloat(&request)" 214 | TFfi ("Basis", "float") => string "lw_unurlifyFloat(&request)"
215 | TFfi ("Basis", "string") => string "lw_unurlifyString(&request)" 215 | TFfi ("Basis", "string") => string "lw_unurlifyString(ctx, &request)"
216 216
217 | TRecord 0 => string "lw_unit_v" 217 | TRecord 0 => string "lw_unit_v"
218 218
219 | _ => (ErrorMsg.errorAt loc "Unable to choose a URL decoding function"; 219 | _ => (ErrorMsg.errorAt loc "Unable to choose a URL decoding function";
220 space) 220 space)