src/Pure/General/sql.scala

--- a/src/Pure/General/sql.scala	Tue Aug 29 17:10:48 2023 +0200
+++ b/src/Pure/General/sql.scala	Tue Aug 29 17:14:19 2023 +0200
@@ -97,22 +97,24 @@
 
   enum Type { case Boolean, Int, Long, Double, String, Bytes, Date }
 
-  val sql_type_postgresql: Type => Source = {
-    case Type.Boolean => "BOOLEAN"
-    case Type.Int => "INTEGER"
-    case Type.Long => "BIGINT"
-    case Type.Double => "DOUBLE PRECISION"
-    case Type.String => "TEXT"
-    case Type.Bytes => "BYTEA"
-    case Type.Date => "TIMESTAMP WITH TIME ZONE"
-  }
+  val sql_type_postgresql: Type => Source =
+    {
+      case Type.Boolean => "BOOLEAN"
+      case Type.Int => "INTEGER"
+      case Type.Long => "BIGINT"
+      case Type.Double => "DOUBLE PRECISION"
+      case Type.String => "TEXT"
+      case Type.Bytes => "BYTEA"
+      case Type.Date => "TIMESTAMP WITH TIME ZONE"
+    }
 
-  val sql_type_sqlite: Type => Source = {
-    case Type.Boolean => "INTEGER"
-    case Type.Bytes => "BLOB"
-    case Type.Date => "TEXT"
-    case t => sql_type_postgresql(t)
-  }
+  val sql_type_sqlite: Type => Source =
+    {
+      case Type.Boolean => "INTEGER"
+      case Type.Bytes => "BLOB"
+      case Type.Date => "TEXT"
+      case t => sql_type_postgresql(t)
+    }
 
 
   /* columns */