Mercurial > urweb
diff src/marshalcheck.sml @ 1370:44a12a321150
queryString and effectfulUrl
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 26 Dec 2010 17:29:03 -0500 |
parents | b106ca8200b1 |
children | 001638622c4f |
line wrap: on
line diff
--- a/src/marshalcheck.sml Sun Dec 26 15:52:56 2010 -0500 +++ b/src/marshalcheck.sml Sun Dec 26 17:29:03 2010 -0500 @@ -99,6 +99,7 @@ TFun (dom, ran) => (case #1 dom of CFfi ("Basis", "postBody") => makeS ran + | CApp ((CFfi ("Basis", "option"), _), (CFfi ("Basis", "queryString"), _)) => makeS ran | _ => PS.union (sins cmap dom, makeS ran)) | _ => PS.empty val s = makeS t