diff src/sqlite.sml @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents ea9f03ac2710
children db52c32dbe42
line wrap: on
line diff
--- a/src/sqlite.sml	Sun Dec 13 13:00:55 2009 -0500
+++ b/src/sqlite.sml	Sun Dec 13 14:20:41 2009 -0500
@@ -757,6 +757,7 @@
          newline]
 
 fun nextvalPrepared _ = raise Fail "SQLite.nextvalPrepared called"
+fun setval _ = raise Fail "SQLite.setval called"
 
 fun sqlifyString s = "'" ^ String.translate (fn #"'" => "''"
                                               | ch =>
@@ -783,6 +784,7 @@
                   dmlPrepared = dmlPrepared,
                   nextval = nextval,
                   nextvalPrepared = nextvalPrepared,
+                  setval = setval,
                   sqlifyString = sqlifyString,
                   p_cast = p_cast,
                   p_blank = p_blank,