Mercurial > urweb
comparison src/mono.sml @ 2221:278e10629ba1
Basic field-resolution invalidation.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sat, 29 Nov 2014 03:37:59 -0500 |
parents | a9159911c3ba |
children | 25874084bf1f |
comparison
equal
deleted
inserted
replaced
2220:794017f378de | 2221:278e10629ba1 |
---|---|
14 * | 14 * |
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" | 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE | 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE |
19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR | 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF | 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS | 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN | 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) | 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE | 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
105 | EQuery of { exps : (string * typ) list, (* name of computed field, type of field*) | 105 | EQuery of { exps : (string * typ) list, (* name of computed field, type of field*) |
106 tables : (string * (string * typ) list) list, | 106 tables : (string * (string * typ) list) list, |
107 state : typ, | 107 state : typ, |
108 query : exp, (* exp of string type containing sql query *) | 108 query : exp, (* exp of string type containing sql query *) |
109 body : exp, | 109 body : exp, |
110 initial : exp } | 110 initial : exp, |
111 sqlcacheInfo : exp } | |
111 | EDml of exp * failure_mode | 112 | EDml of exp * failure_mode |
112 | ENextval of exp | 113 | ENextval of exp |
113 | ESetval of exp * exp | 114 | ESetval of exp * exp |
114 | 115 |
115 | EUnurlify of exp * typ * bool | 116 | EUnurlify of exp * typ * bool |
117 | EJavaScript of javascript_mode * exp | 118 | EJavaScript of javascript_mode * exp |
118 | 119 |
119 | ESignalReturn of exp | 120 | ESignalReturn of exp |
120 | ESignalBind of exp * exp | 121 | ESignalBind of exp * exp |
121 | ESignalSource of exp | 122 | ESignalSource of exp |
122 | 123 |
123 | EServerCall of exp * typ * effect * failure_mode | 124 | EServerCall of exp * typ * effect * failure_mode |
124 | ERecv of exp * typ | 125 | ERecv of exp * typ |
125 | ESleep of exp | 126 | ESleep of exp |
126 | ESpawn of exp | 127 | ESpawn of exp |
127 | 128 |