Programs with constrained types now parse and typecheck, but typestate doesn't check them specially, so the one relevant test case so far is XFAILed. Also rewrote all of the constraint-related data structures in the process (again), for some reason. I got rid of a superfluous data structure in the context that was mapping front-end constraints to resolved constraints, instead handling constraints in the same way in which everything else gets resolved. |
||
|---|---|---|
| .. | ||
| ext | ||
| parse | ||
| util | ||
| ast.rs | ||
| codemap.rs | ||
| fold.rs | ||
| visit.rs | ||
| walk.rs | ||