Commit 42fe48a
committed
Refactor type used for resolvo package names
By using an enum here, the global var handling can use its own enum
variant instead of the flawed string prefix approach. Now it is simply
not possible for a package name to be confused for a global var.
Signed-off-by: J Robert Ray <[email protected]>1 parent ba3736c commit 42fe48a
File tree
2 files changed
+339
-284
lines changed- crates/spk-solve/src/cdcl_solver
2 files changed
+339
-284
lines changedLines changed: 3 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
| 10 | + | |
10 | 11 | | |
11 | 12 | | |
12 | 13 | | |
| |||
74 | 75 | | |
75 | 76 | | |
76 | 77 | | |
77 | | - | |
| 78 | + | |
78 | 79 | | |
79 | 80 | | |
80 | 81 | | |
| |||
163 | 164 | | |
164 | 165 | | |
165 | 166 | | |
166 | | - | |
| 167 | + | |
167 | 168 | | |
168 | 169 | | |
169 | 170 | | |
| |||
0 commit comments