Mercurial > urweb

comparison src/marshalcheck.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 b106ca8200b1
children 001638622c4f
comparison
equal deleted inserted replaced
1369:1a78ca089bd0 1370:44a12a321150
97 fun makeS (t, _) = 97 fun makeS (t, _) =
98 case t of 98 case t of
99 TFun (dom, ran) => 99 TFun (dom, ran) =>
100 (case #1 dom of 100 (case #1 dom of
101 CFfi ("Basis", "postBody") => makeS ran 101 CFfi ("Basis", "postBody") => makeS ran
102 | CApp ((CFfi ("Basis", "option"), _), (CFfi ("Basis", "queryString"), _)) => makeS ran
102 | _ => PS.union (sins cmap dom, makeS ran)) 103 | _ => PS.union (sins cmap dom, makeS ran))
103 | _ => PS.empty 104 | _ => PS.empty
104 val s = makeS t 105 val s = makeS t
105 in 106 in
106 if PS.isEmpty s then 107 if PS.isEmpty s then