@@ -520,9 +520,12 @@ class KnownSymbol table => DropTable table schema0 schema1
520520instance {-# OVERLAPPING #-}
521521 (KnownSymbol table, table ~ table')
522522 => DropTable table ((table' ::: columns) ': schema) schema
523+-- instance {-# OVERLAPPING #-}
524+-- (KnownSymbol table, TypeError ('Text "Can't drop table " ':<>: 'ShowType table ':<>: 'Text "; not found."))
525+-- => DropTable table '[] '[]
523526instance {-# OVERLAPPABLE #-}
524− (KnownSymbol table, DropTable table schema0 schema1)
525− => DropTable table (tabCols ': schema0) (tabCols ': schema1)
527+ DropTable table schema0 schema1
528+ => DropTable table (table' ': schema0) (table' ': schema1)
526529
527530{-----------------------------------------
528531UPDATE statements