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

Conditional expression does not propagate value range #12

Open
Shachar opened this issue Jan 3, 2020 · 2 comments
Open

Conditional expression does not propagate value range #12

Shachar opened this issue Jan 3, 2020 · 2 comments
Labels
good first issue Good for newcomers TODO Action item waiting implementation

Comments

@Shachar
Copy link
Collaborator

Shachar commented Jan 3, 2020

A conditional expression always resets the value range it returns. It should unify the value ranges from left and right clauses.
@Shachar Shachar added good first issue Good for newcomers TODO Action item waiting implementation labels Jan 3, 2020
@samarthagali
Copy link

Hey! I'd like to contribute to this issue as I know it will help me enhance Practical by helping me understand the codebase

@Shachar
Copy link
Collaborator Author

Shachar commented Sep 22, 2023

Hey!

Sadly, I have abandoned the project. If you want to contribute anyways, I'll gladly help where I can and merge the code, though. Just be aware that the chances of this project advancing much further are slim.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Good for newcomers TODO Action item waiting implementation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Shachar @samarthagali