Skip to content

expr: Convert CastUint64ToNumeric to the sqlfunc macro - #39086

Closed
antiguru wants to merge 1 commit into
sqlfunc-convert-uint32from
sqlfunc-convert-uint64
Closed

antiguru wants to merge 1 commit into
sqlfunc-convert-uint32from
sqlfunc-convert-uint64

Conversation

@antiguru

@antiguru antiguru commented Sep 23, 2026 •

Copy link
Copy Markdown
Member

Converts CastUint64ToNumeric to #[sqlfunc]. It carries an optional NumericMaxScale, so the function takes &self and builds its output type in an output_type_expr. sqlname keeps the SQL name uint8_to_numeric. could_error stays self.0.is_some(), which a Result output would otherwise widen to true.

The registry reports only the macro provenance fields moving, on both records. No declared property changed.

Based on #39085.

🤖 Generated with Claude Code

@antiguru
antiguru requested a review from a team as a code owner September 23, 2026 21:10
@antiguru
antiguru added this pull request to stack #38942 September 24, 2026 08:52
@antiguru
antiguru force-pushed the sqlfunc-convert-uint64 branch from 8cfca20 to a80691c Compare September 24, 2026 10:14
@antiguru
antiguru force-pushed the sqlfunc-convert-uint32 branch from 3e58a12 to 6fe62a1 Compare September 24, 2026 10:14
@antiguru
antiguru requested a review from petrosagg September 24, 2026 11:18
@antiguru
antiguru force-pushed the sqlfunc-convert-uint64 branch from a80691c to ca25813 Compare September 24, 2026 14:29
@antiguru
antiguru force-pushed the sqlfunc-convert-uint32 branch from 6fe62a1 to c6abffd Compare September 24, 2026 14:29
@antiguru
antiguru force-pushed the sqlfunc-convert-uint64 branch from ca25813 to 562fba4 Compare September 25, 2026 16:00
@antiguru
antiguru force-pushed the sqlfunc-convert-uint32 branch from c6abffd to 375eff4 Compare September 25, 2026 16:00
@antiguru
antiguru removed the request for review from petrosagg October 13, 2026 15:56
@antiguru
antiguru force-pushed the sqlfunc-convert-uint64 branch from 562fba4 to eb1d6ed Compare October 14, 2026 09:11
@antiguru
antiguru requested a review from mgree October 14, 2026 10:22
`CastUint64ToNumeric` carries an optional `NumericMaxScale`, so the annotated
function takes a `&self` receiver and the macro generates `call` as a method on
the existing struct instead of defining a unit struct. The hand-written
`Display` wrote the fixed string `uint8_to_numeric` without reading the payload,
so `sqlname` reproduces it and the impl is deleted. The macro then generates
`FuncName` with `NAME` from the annotated function's name, which is the
`"cast_uint64_to_numeric"` the manual `func_name!` entry declared, so that entry
is deleted to avoid a duplicate impl.

Every method the deleted `EagerUnaryFunc` impl overrode is accounted for:

* `call`: the annotated function's body, unchanged.
* `output_sql_type`: expressed as `output_type_expr`, which reads `self.0` and
  the `input_type` binding. The generated tail ORs in `propagates_nulls &&
  input_type.nullable`, and `propagates_nulls` derives to `true` from the
  non-nullable `u64` input, so the result is the same
  `nullable(input_type.nullable)` the deleted body returned.
* `could_error`: carried across as `self.0.is_some()`. The derived default reads
  the `Result` output and would widen it to an unconditional `true`.
* `inverse`: carried across.
* `is_monotone`: carried across.

`introduces_nulls` is not overridden: `Result<Numeric, EvalError>` derives
`false`, which is what the impl inherited. `propagates_nulls` and
`preserves_uniqueness` were not overridden and keep deriving as before.

The registry reports only `sqlfunc_signature` moving, on both the unscaled and
the scaled `cast_uint64_to_numeric` record. No declared property changed.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@antiguru
antiguru force-pushed the sqlfunc-convert-uint64 branch from eb1d6ed to 92f2198 Compare October 14, 2026 15:18
@antiguru
antiguru force-pushed the sqlfunc-convert-uint32 branch from 7bab516 to 84f941e Compare October 14, 2026 15:18
@antiguru
antiguru removed this pull request from stack #38942 October 14, 2026 15:45
@antiguru

Copy link
Copy Markdown
Member Author

Folded into #39062, which now carries all twenty file conversions as separate commits, per review feedback to land them as one PR.

Posted by Claude Code.

@antiguru antiguru closed this Oct 14, 2026
@antiguru
antiguru deleted the sqlfunc-convert-uint64 branch October 14, 2026 19:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant