sql.Unsupported

The plan is outside the Lean model, or the dialect cannot express it.

Usage

Source

sql.Unsupported()

Raised by sverify.engines.to_sql, and so by sverify.engines.run on DuckDB and Spark, and by Node.to_sql and Report.to_sql; the message says which construct, and for a dialect, why (e.g. Snowflake tables have no row order, so a FETCH cannot follow the model’s). A subclass of ValueError, and of sverify.errors.Unsupported, which every refusal raises.