Skip to content

Conversation

@Tpt
Copy link
Contributor

@Tpt Tpt commented Dec 16, 2025

No description provided.

@Tpt Tpt self-assigned this Dec 16, 2025
@Tpt Tpt requested review from afs and rubensworks December 16, 2025 21:30
@Tpt Tpt mentioned this pull request Dec 16, 2025
40 tasks
@afs
Copy link
Contributor

afs commented Dec 16, 2025

Suggestion: the F&O naming:

query-plus-numbers-cast --> query-add-numbers-cast (see w3c/sparql-query#322)

query-minus-numbers-cast --> query-subtract-numbers-cast

query-mul-numbers-cast --> query-multiple-numbers-cast

query-div-numbers-cast --> query-divide-numbers-cast

@TallTed
Copy link
Member

TallTed commented Dec 17, 2025

One tweak to @afs suggestion --

query-mul-numbers-cast --> query-multiple-numbers-cast

--> query-multiply-numbers-cast

@Tpt
Copy link
Contributor Author

Tpt commented Dec 17, 2025

@afs Done

@afs
Copy link
Contributor

afs commented Dec 17, 2025

(and hoping it's "squash-and-merge" :-)

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.

5 participants