diff options
| author | Tim Chevalier <[email protected]> | 2011-04-06 17:56:44 -0700 |
|---|---|---|
| committer | Tim Chevalier <[email protected]> | 2011-04-06 17:58:18 -0700 |
| commit | 2e90bd94de32c739733966bfac96cf35e9a08655 (patch) | |
| tree | 01cecc3fbc92d27e01177b5d3cb0785239877ea9 /src/lib/_uint.rs | |
| parent | Minimal testcase for next bootstrap blocker. (diff) | |
| download | rust-2e90bd94de32c739733966bfac96cf35e9a08655.tar.xz rust-2e90bd94de32c739733966bfac96cf35e9a08655.zip | |
Continued sketching out code for checking states against preconditions.
It's still sketchy. I added a typestate annotation field to statements
tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate
that's different from that of its child node. This necessitated trivial
changes to a bunch of other files all over to the compiler. I also added a
few small standard library functions, some of which I didn't actually end
up using but which I thought might be useful anyway.
Diffstat (limited to 'src/lib/_uint.rs')
0 files changed, 0 insertions, 0 deletions