Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement lazy sequence concatenation in Python #4393

Closed
robin-aws opened this issue Aug 4, 2023 · 0 comments · Fixed by #4509
Closed

Implement lazy sequence concatenation in Python #4393

robin-aws opened this issue Aug 4, 2023 · 0 comments · Fixed by #4509

Comments

@robin-aws
Copy link
Member

See #2390 for more details.

Ideally should be achieved by hooking up the dafnyRuntime.dfy implementation of Sequence into the Python runtime just as it was for the Go runtime in this PR: #3167
@fabiomadge fabiomadge mentioned this issue Sep 2, 2023
Merged
fabiomadge added a commit that referenced this issue Sep 7, 2023
@fabiomadge
Lazy sequence concatenation for Python (#4509)
68e6603 
Fixes #4393.
keyboardDrummer pushed a commit to keyboardDrummer/dafny that referenced this issue Sep 15, 2023
@fabiomadge @keyboardDrummer
Lazy sequence concatenation for Python (dafny-lang#4509)
d653ea6 
Fixes dafny-lang#4393.
keyboardDrummer pushed a commit that referenced this issue Sep 15, 2023
@fabiomadge @keyboardDrummer
Lazy sequence concatenation for Python (#4509)
c27b41b 
Fixes #4393.
keyboardDrummer pushed a commit that referenced this issue Sep 19, 2023
@fabiomadge @keyboardDrummer
Lazy sequence concatenation for Python (#4509)
4745b7b 
Fixes #4393.
keyboardDrummer pushed a commit that referenced this issue Sep 19, 2023
@fabiomadge @keyboardDrummer
Lazy sequence concatenation for Python (#4509)
d46bba2 
Fixes #4393.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Lazy sequence concatenation for Python fabiomadge/dafny
1 participant
@robin-aws