Mercurial > urweb
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"), |