comparison src/settings.sml @ 1101:b9abd6cded7b

Treat getCookie as effectful
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Dec 2009 16:48:27 -0500
parents 324c9ffe8ff9
children 82ac88b4e0a7
comparison
equal deleted inserted replaced
1100:9645e3c2978e 1101:b9abd6cded7b
78 fun mayClientToServer x = S.member (!clientToServer, x) 78 fun mayClientToServer x = S.member (!clientToServer, x)
79 79
80 val effectfulBase = basis ["dml", 80 val effectfulBase = basis ["dml",
81 "nextval", 81 "nextval",
82 "setval", 82 "setval",
83 "get_cookie",
83 "set_cookie", 84 "set_cookie",
84 "clear_cookie", 85 "clear_cookie",
85 "new_client_source", 86 "new_client_source",
86 "get_client_source", 87 "get_client_source",
87 "set_client_source", 88 "set_client_source",