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

Rework creation of when clauses to avoid the need for manual re-ordering and pattern filling #887

Open
Tracked by #754
KtorZ opened this issue Mar 20, 2024 · 1 comment
Open
Tracked by #754

Rework creation of when clauses to avoid the need for manual re-ordering and pattern filling #887

KtorZ opened this issue Mar 20, 2024 · 1 comment
Labels
code gen Untyped Plutus Core code generation typechecking Types and inference

Comments

@KtorZ
Copy link
Member

KtorZ commented Mar 20, 2024

No description provided.

@KtorZ KtorZ mentioned this issue Mar 20, 2024
Closed
52 tasks
@KtorZ KtorZ changed the title Ensure we have proper testing of pattern matching in whens and expects. Rework creation of when clauses to avoid the need for manual re-ordering and pattern filling Mar 20, 2024
@KtorZ KtorZ added typechecking Types and inference code gen Untyped Plutus Core code generation labels Mar 20, 2024
@KtorZ KtorZ mentioned this issue Mar 20, 2024
Closed
@KtorZ KtorZ added this to the 1.0.26-alpha milestone Mar 20, 2024
@KtorZ KtorZ removed this from the 1.0.27-alpha milestone Apr 4, 2024
@MicroProofs
Copy link
Member

In progress in #1040

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
code gen Untyped Plutus Core code generation typechecking Types and inference
Projects
Project Tracking
Status: 🔨 Todo
Milestone
No milestone
Development

No branches or pull requests
2 participants
@KtorZ @MicroProofs