src/Pure/General/sql.scala

     val String = Value("TEXT")
     val Bytes = Value("BLOB")
   }
 
   type Type_Name = Type.Value => String
-  def default_type_name(t: Type.Value): String = t.toString
+
+  def type_name_default(t: Type.Value): String = t.toString
+
+  def type_name_sqlite(t: Type.Value): String =
+    if (t == Type.Boolean) "INTEGER"
+    else type_name_default(t)
+
+  def type_name_postgresql(t: Type.Value): String =
+    if (t == Type.Bytes) "BYTEA"
+    else type_name_default(t)
 
 
   /* columns */
 
   object Column

     {
       val x = apply(rs)
       if (rs.wasNull) None else Some(x)
     }
 
-    override def toString: String = sql_decl(default_type_name)
+    override def toString: String = sql_decl(type_name_default)
   }
 
   class Column_Boolean private[SQL](name: String, strict: Boolean, primary_key: Boolean)
     extends Column[Boolean](name, strict, primary_key, Type.Boolean)
   {

 
   class Database private[SQLite](name: String, val connection: Connection) extends SQL.Database
   {
     override def toString: String = name
 
-    def type_name(t: SQL.Type.Value): String =
-      if (t == SQL.Type.Boolean) "INTEGER"
-      else SQL.default_type_name(t)
+    def type_name(t: SQL.Type.Value): String = SQL.type_name_sqlite(t)
 
     def rebuild { using(statement("VACUUM"))(_.execute()) }
   }
 }
 

       name: String, val connection: Connection, port_forwarding: Option[SSH.Port_Forwarding])
     extends SQL.Database
   {
     override def toString: String = name
 
-    def type_name(t: SQL.Type.Value): String =
-      if (t == SQL.Type.Bytes) "BYTEA"
-      else SQL.default_type_name(t)
+    def type_name(t: SQL.Type.Value): String = SQL.type_name_postgresql(t)
 
     override def close() { super.close; port_forwarding.foreach(_.close) }
   }
 }