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

Narrowing #122

Open
kaleidawave opened this issue Mar 3, 2024 · 0 comments · May be fixed by #156
Open

Narrowing #122

kaleidawave opened this issue Mar 3, 2024 · 0 comments · May be fixed by #156
Labels
checking Issues around checking context Contexts (root or environment) enhancement New feature or request needs-investigation Further information is requested

Comments

@kaleidawave
Copy link
Owner

Using Type::Constructor information in a condition, it should be possible to record some truths that follow in the current block. Then getting-information-based-thingies should be able to read these recorded information and change results based from it.

This will use similar structs to the ones added (eventually) in #35
@kaleidawave kaleidawave added enhancement New feature or request needs-investigation Further information is requested checking Issues around checking context Contexts (root or environment) labels Mar 3, 2024
kaleidawave added a commit that referenced this issue Jun 3, 2024
@kaleidawave
Add basic narrowing #122
0ee0792 
- Currently basic equality
@kaleidawave kaleidawave linked a pull request Jun 3, 2024 that will close this issue
Add basic narrowing #122 #156
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
checking Issues around checking context Contexts (root or environment) enhancement New feature or request needs-investigation Further information is requested
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add basic narrowing #122 kaleidawave/ezno
1 participant
@kaleidawave