Mercurial > urweb

comparison src/cjr_print.sml @ 1370:44a12a321150

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryString and effectfulUrl
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:29:03 -0500
parents 02fc16faecf3
children bf58ca871c00
comparison
equal deleted inserted replaced
1369:1a78ca089bd0 1370:44a12a321150
64 64
65 fun isUnboxable (t : typ) = 65 fun isUnboxable (t : typ) =
66 case #1 t of 66 case #1 t of
67 TDatatype (Default, _, _) => true 67 TDatatype (Default, _, _) => true
68 | TFfi ("Basis", "string") => true 68 | TFfi ("Basis", "string") => true
69 | TFfi ("Basis", "queryString") => true
69 | _ => false 70 | _ => false
70 71
71 fun p_typ' par env (t, loc) = 72 fun p_typ' par env (t, loc) =
72 case t of 73 case t of
73 TFun (t1, t2) => (EM.errorAt loc "Function type remains"; 74 TFun (t1, t2) => (EM.errorAt loc "Function type remains";
2694 space, 2695 space,
2695 string "=", 2696 string "=",
2696 space, 2697 space,
2697 case #1 t of 2698 case #1 t of
2698 TFfi ("Basis", "postBody") => string "uw_getPostBody(ctx)" 2699 TFfi ("Basis", "postBody") => string "uw_getPostBody(ctx)"
2700 | TOption (TFfi ("Basis", "queryString"), _) => string "uw_queryString(ctx)"
2699 | _ => unurlify false env t, 2701 | _ => unurlify false env t,
2700 string ";", 2702 string ";",
2701 newline]) ts), 2703 newline]) ts),
2702 defInputs, 2704 defInputs,
2703 box (case ek of 2705 box (case ek of