Mercurial > urweb

comparison src/settings.sml @ 1288:fc7ecf8883b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some post-type-checking support for polymorphic variants
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Aug 2010 10:58:13 -0400
parents e80582b927f2
children 6791454653c5
comparison
equal deleted inserted replaced
1287:5137b0537c92 1288:fc7ecf8883b1
70 "time", 70 "time",
71 "file", 71 "file",
72 "unit", 72 "unit",
73 "option", 73 "option",
74 "list", 74 "list",
75 "bool"] 75 "bool",
76 "variant"]
76 val clientToServer = ref clientToServerBase 77 val clientToServer = ref clientToServerBase
77 fun setClientToServer ls = clientToServer := S.addList (clientToServerBase, ls) 78 fun setClientToServer ls = clientToServer := S.addList (clientToServerBase, ls)
78 fun mayClientToServer x = S.member (!clientToServer, x) 79 fun mayClientToServer x = S.member (!clientToServer, x)
79 80
80 val effectfulBase = basis ["dml", 81 val effectfulBase = basis ["dml",