Skip to content

Commit

Permalink
no longer broke
Browse files Browse the repository at this point in the history
  • Loading branch information
Akuli committed Feb 5, 2025
1 parent 9523982 commit 8f0ce13
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/compiler_internals/uvg.md
Original file line number Diff line number Diff line change
Expand Up @@ -113,7 +113,7 @@ That might be doable, but for now, it seems unnecessarily complicated.
## Variable Statuses and Branching

To implement the warnings in
[tests/should_succeed/undefined_variable.jou](../../broken_tests/should_succeed/undefined_variable.jou),
[tests/should_succeed/undefined_variable.jou](../../tests/should_succeed/undefined_variable.jou),
the Jou compiler keeps track of the possible statuses of the variables in UVG.
The **status** of a variable is conceptually a subset of the two-element set `{defined, undefined}`.
In reality, the "don't analyze" instruction makes this slightly more complicated (but not much).
Expand Down

0 comments on commit 8f0ce13

Please sign in to comment.