Skip to content

Extend annotations for add_data_point#354

Merged
inducer merged 1 commit into
inducer:mainfrom
alexfikl:type-eoc-add
May 22, 2026
Merged

Extend annotations for add_data_point#354
inducer merged 1 commit into
inducer:mainfrom
alexfikl:type-eoc-add

Conversation

@alexfikl
Copy link
Copy Markdown
Contributor

This is coming from sumpy, but a lot of places do error = la.norm(x - x_ref), so it should help.

The Array0D addition is mostly to match the check below.. I don't think many places are typed correctly enough for it to be too useful.

@inducer inducer merged commit 18c5a65 into inducer:main May 22, 2026
16 checks passed
@alexfikl alexfikl deleted the type-eoc-add branch May 22, 2026 19:23
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.

2 participants