comparison src/settings.sml @ 841:44c2c089ca15

Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 11:13:18 -0400
parents 5154a047c6bc
children 6725d73c3c31
comparison
equal deleted inserted replaced
840:e4a02e4fa35c 841:44c2c089ca15
96 fun setEffectful ls = effectful := S.addList (effectfulBase, ls) 96 fun setEffectful ls = effectful := S.addList (effectfulBase, ls)
97 fun isEffectful x = S.member (!effectful, x) 97 fun isEffectful x = S.member (!effectful, x)
98 98
99 val clientBase = basis ["get", 99 val clientBase = basis ["get",
100 "set", 100 "set",
101 "current",
101 "alert", 102 "alert",
102 "recv", 103 "recv",
103 "sleep", 104 "sleep",
104 "spawn", 105 "spawn",
105 "onError", 106 "onError",
123 124
124 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty 125 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty
125 126
126 val jsFuncsBase = basisM [("alert", "alert"), 127 val jsFuncsBase = basisM [("alert", "alert"),
127 ("get_client_source", "sg"), 128 ("get_client_source", "sg"),
129 ("current", "scur"),
128 ("htmlifyBool", "bs"), 130 ("htmlifyBool", "bs"),
129 ("htmlifyFloat", "ts"), 131 ("htmlifyFloat", "ts"),
130 ("htmlifyInt", "ts"), 132 ("htmlifyInt", "ts"),
131 ("htmlifyString", "eh"), 133 ("htmlifyString", "eh"),
132 ("new_client_source", "sc"), 134 ("new_client_source", "sc"),