comparison src/mysql.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
1501 string "if (mysql_query(conn->conn, delete)) uw_error(ctx, FATAL, \"'nextval' DELETE failed\");", 1501 string "if (mysql_query(conn->conn, delete)) uw_error(ctx, FATAL, \"'nextval' DELETE failed\");",
1502 newline] 1502 newline]
1503 1503
1504 fun nextvalPrepared _ = raise Fail "MySQL.nextvalPrepared called" 1504 fun nextvalPrepared _ = raise Fail "MySQL.nextvalPrepared called"
1505 1505
1506 fun setval _ = raise Fail "MySQL.setval called"
1507
1506 fun sqlifyString s = "'" ^ String.translate (fn #"'" => "\\'" 1508 fun sqlifyString s = "'" ^ String.translate (fn #"'" => "\\'"
1507 | #"\\" => "\\\\" 1509 | #"\\" => "\\\\"
1508 | ch => 1510 | ch =>
1509 if Char.isPrint ch then 1511 if Char.isPrint ch then
1510 str ch 1512 str ch
1527 queryPrepared = queryPrepared, 1529 queryPrepared = queryPrepared,
1528 dml = dml, 1530 dml = dml,
1529 dmlPrepared = dmlPrepared, 1531 dmlPrepared = dmlPrepared,
1530 nextval = nextval, 1532 nextval = nextval,
1531 nextvalPrepared = nextvalPrepared, 1533 nextvalPrepared = nextvalPrepared,
1534 setval = setval,
1532 sqlifyString = sqlifyString, 1535 sqlifyString = sqlifyString,
1533 p_cast = p_cast, 1536 p_cast = p_cast,
1534 p_blank = p_blank, 1537 p_blank = p_blank,
1535 supportsDeleteAs = false, 1538 supportsDeleteAs = false,
1536 supportsUpdateAs = false, 1539 supportsUpdateAs = false,