comparison 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
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
755 newline, 755 newline,
756 string "if (sqlite3_exec(conn->conn, delete, NULL, NULL, NULL) != SQLITE_OK) uw_error(ctx, FATAL, \"'nextval' DELETE failed: %s\", sqlite3_errmsg(conn->conn));", 756 string "if (sqlite3_exec(conn->conn, delete, NULL, NULL, NULL) != SQLITE_OK) uw_error(ctx, FATAL, \"'nextval' DELETE failed: %s\", sqlite3_errmsg(conn->conn));",
757 newline] 757 newline]
758 758
759 fun nextvalPrepared _ = raise Fail "SQLite.nextvalPrepared called" 759 fun nextvalPrepared _ = raise Fail "SQLite.nextvalPrepared called"
760 fun setval _ = raise Fail "SQLite.setval called"
760 761
761 fun sqlifyString s = "'" ^ String.translate (fn #"'" => "''" 762 fun sqlifyString s = "'" ^ String.translate (fn #"'" => "''"
762 | ch => 763 | ch =>
763 if Char.isPrint ch then 764 if Char.isPrint ch then
764 str ch 765 str ch
781 queryPrepared = queryPrepared, 782 queryPrepared = queryPrepared,
782 dml = dml, 783 dml = dml,
783 dmlPrepared = dmlPrepared, 784 dmlPrepared = dmlPrepared,
784 nextval = nextval, 785 nextval = nextval,
785 nextvalPrepared = nextvalPrepared, 786 nextvalPrepared = nextvalPrepared,
787 setval = setval,
786 sqlifyString = sqlifyString, 788 sqlifyString = sqlifyString,
787 p_cast = p_cast, 789 p_cast = p_cast,
788 p_blank = p_blank, 790 p_blank = p_blank,
789 supportsDeleteAs = false, 791 supportsDeleteAs = false,
790 supportsUpdateAs = false, 792 supportsUpdateAs = false,