aboutsummaryrefslogtreecommitdiff
path: root/src/rt
diff options
context:
space:
mode:
authorTim Chevalier <[email protected]>2011-04-21 17:39:04 -0700
committerGraydon Hoare <[email protected]>2011-04-28 13:26:19 -0700
commit0190ebfe0748f28c290eb4759a03ffbd416cbeac (patch)
treea419e87e4071017aa52399f74646865f3f2c22ae /src/rt
parentFurther work on typestate_check (diff)
downloadrust-0190ebfe0748f28c290eb4759a03ffbd416cbeac.tar.xz
rust-0190ebfe0748f28c290eb4759a03ffbd416cbeac.zip
Support all expression forms in typestate
Added support for self_method, cont, chan, port, recv, send, be, do_while, spawn, and ext; handled break and cont correctly. (However, there are no non-xfailed test cases for ext or spawn in stage0 currently.) Although the standard library compiles and all test cases pass with typestate enabled, I left typestate checking disabled as rustc terminates abnormally when building the standard library if so, even though it does generate code correctly.
Diffstat (limited to 'src/rt')
0 files changed, 0 insertions, 0 deletions