diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-03-10 16:21:34 -0800 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-03-10 20:15:27 -0800 |
| commit | 98260a2a22ab693f2363c68339cf5bb9fca011ab (patch) | |
| tree | 159a693e13647b5138c099287e9f309a26d274e3 /src/rt/rust_kernel.cpp | |
| parent | e34fad750359a3e72bb7b357432341b3d3f28c86 (diff) | |
| download | rust-98260a2a22ab693f2363c68339cf5bb9fca011ab.tar.gz rust-98260a2a22ab693f2363c68339cf5bb9fca011ab.zip | |
Handle infinite-loop poststate correctly in typestate
If control passes an infinite loop (that doesn't have non-local exits), then everything is true.
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions