diff 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
line wrap: on
line diff
--- a/src/mono.sml	Mon Nov 24 20:47:38 2014 -0500
+++ b/src/mono.sml	Sat Nov 29 03:37:59 2014 -0500
@@ -16,7 +16,7 @@
  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
- * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
@@ -107,7 +107,8 @@
                      state : typ,
                      query : exp, (* exp of string type containing sql query *)
                      body : exp,
-                     initial : exp }
+                     initial : exp,
+                     sqlcacheInfo : exp }
        | EDml of exp * failure_mode
        | ENextval of exp
        | ESetval of exp * exp
@@ -119,7 +120,7 @@
        | ESignalReturn of exp
        | ESignalBind of exp * exp
        | ESignalSource of exp
-                              
+
        | EServerCall of exp * typ * effect * failure_mode
        | ERecv of exp * typ
        | ESleep of exp