This repository was archived by the owner on Mar 12, 2025. It is now read-only.

Merge `VarInfo.actual_ty` with `CondFacts.vars` #654

Open

kdy1 opened this issue Feb 9, 2023 · 0 comments

Milestone

v0.0.1: Correctness

Member

kdy1 commented Feb 9, 2023

Those have exactly the same role as each other.

kdy1 added this to the v0.0.1: Correctness milestone

kdy1 mentioned this issue

feat: Improve control flow handling #652

Closed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.