diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-09-01 17:25:06 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-09-01 17:41:10 -0700 |
| commit | 786963d33d4b267713dd6a61ed2bfa7dab90919b (patch) | |
| tree | 6d58bfa94b75bdc7c7b5c6e0dbd871a8c0038378 /src/rt/rust_shape.cpp | |
| parent | 60d0a9227b4c1d7754f17bc26ef5c46ca4b36231 (diff) | |
| download | rust-786963d33d4b267713dd6a61ed2bfa7dab90919b.tar.gz rust-786963d33d4b267713dd6a61ed2bfa7dab90919b.zip | |
Add a constraint in trans
Experimenting with adding typestate constraints in the compiler. Added a constraint to GEP_tag that says the variant index is in bounds. Added necessary checks.
Diffstat (limited to 'src/rt/rust_shape.cpp')
0 files changed, 0 insertions, 0 deletions