Add missing list methods #528
Comments
This was referenced Oct 2, 2024
github-merge-queue bot
pushed a commit
that referenced
this issue
Oct 3, 2024
Closes #530 and closes #524. * Changes the signature of list methods to allow linear list elements (implicitly using the inout feature). * Removes methods that are not supported for now (see #528) * Small change to the unification logic to be a bit laxer about requiring matching `@owned` flags if one of the arguments is not linear (otherwise we couldn't unify `L @owned` with any classical type). We'll need to revisit that once we have flags that can be put on classical types. BREAKING CHANGE: Unsupported list methods have been removed.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
__add__,__radd__(and__iadd__following Support inplace dunder hooks like__iadd__etc #527)__bool____mul__,__rmul__(and__imul__following Support inplace dunder hooks like__iadd__etc #527)__contains__clearcopycountextendindexremovereversesortMost of these should be implementable via Guppy source following #522
The text was updated successfully, but these errors were encountered: