diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-06-28 13:07:05 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-06-28 13:07:52 -0700 |
| commit | 28459ca0eb8ae716d014fbf8b33a90f204dc7a9d (patch) | |
| tree | 60add1ddba3293b4d6e2f874dded3c1494fbb830 /src/rt/rust_kernel.cpp | |
| parent | a7c4c19d4bea6d84f63709218146f7be76d5c9f2 (diff) | |
| download | rust-28459ca0eb8ae716d014fbf8b33a90f204dc7a9d.tar.gz rust-28459ca0eb8ae716d014fbf8b33a90f204dc7a9d.zip | |
Handle lazy binops properly in typestate
The typestate analysis now reflects that the second operand of a logical and or or may not be evaluated.
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions