# HG changeset patch
# User wenzelm
# Date 1489703249 -3600
# Node ID ef37f52367944976594265d448a5301f3b11c51f
# Parent  fa62e095d8f1361d2b8e51ed2253dda202440f51
prefer non-strict default;

diff -r fa62e095d8f1 -r ef37f5236794 src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Thu Mar 16 23:26:16 2017 +0100
+++ b/src/Pure/General/sql.scala	Thu Mar 16 23:27:29 2017 +0100
@@ -68,24 +68,24 @@
 
   object Column
   {
-    def bool(name: String, strict: Boolean = true, primary_key: Boolean = false): Column =
+    def bool(name: String, strict: Boolean = false, primary_key: Boolean = false): Column =
       Column(name, Type.Boolean, strict, primary_key)
-    def int(name: String, strict: Boolean = true, primary_key: Boolean = false): Column =
+    def int(name: String, strict: Boolean = false, primary_key: Boolean = false): Column =
       Column(name, Type.Int, strict, primary_key)
-    def long(name: String, strict: Boolean = true, primary_key: Boolean = false): Column =
+    def long(name: String, strict: Boolean = false, primary_key: Boolean = false): Column =
       Column(name, Type.Long, strict, primary_key)
-    def double(name: String, strict: Boolean = true, primary_key: Boolean = false): Column =
+    def double(name: String, strict: Boolean = false, primary_key: Boolean = false): Column =
       Column(name, Type.Double, strict, primary_key)
-    def string(name: String, strict: Boolean = true, primary_key: Boolean = false): Column =
+    def string(name: String, strict: Boolean = false, primary_key: Boolean = false): Column =
       Column(name, Type.String, strict, primary_key)
-    def bytes(name: String, strict: Boolean = true, primary_key: Boolean = false): Column =
+    def bytes(name: String, strict: Boolean = false, primary_key: Boolean = false): Column =
       Column(name, Type.Bytes, strict, primary_key)
-    def date(name: String, strict: Boolean = true, primary_key: Boolean = false): Column =
+    def date(name: String, strict: Boolean = false, primary_key: Boolean = false): Column =
       Column(name, Type.Date, strict, primary_key)
   }
 
   sealed case class Column(
-    name: String, T: Type.Value, strict: Boolean = true, primary_key: Boolean = false)
+    name: String, T: Type.Value, strict: Boolean = false, primary_key: Boolean = false)
   {
     def sql_name: String = quote_ident(name)
     def sql_decl(sql_type: Type.Value => String): String =
@@ -240,17 +240,17 @@
     def tables: List[String] =
       iterator(connection.getMetaData.getTables(null, null, "%", null))(_.getString(3)).toList
 
-    def create_table(table: Table, strict: Boolean = true, rowid: Boolean = true): Unit =
+    def create_table(table: Table, strict: Boolean = false, rowid: Boolean = true): Unit =
       using(statement(table.sql_create(strict, rowid, sql_type)))(_.execute())
 
-    def drop_table(table: Table, strict: Boolean = true): Unit =
+    def drop_table(table: Table, strict: Boolean = false): Unit =
       using(statement(table.sql_drop(strict)))(_.execute())
 
     def create_index(table: Table, name: String, columns: List[Column],
-        strict: Boolean = true, unique: Boolean = false): Unit =
+        strict: Boolean = false, unique: Boolean = false): Unit =
       using(statement(table.sql_create_index(name, columns, strict, unique)))(_.execute())
 
-    def drop_index(table: Table, name: String, strict: Boolean = true): Unit =
+    def drop_index(table: Table, name: String, strict: Boolean = false): Unit =
       using(statement(table.sql_drop_index(name, strict)))(_.execute())
   }
 }