]> git.lizzy.rs Git - rust.git/commit
integrate cap clause into type state, but not trans
authorNiko Matsakis <niko@alum.mit.edu>
Mon, 19 Dec 2011 04:45:30 +0000 (20:45 -0800)
committerNiko Matsakis <niko@alum.mit.edu>
Mon, 19 Dec 2011 22:07:46 +0000 (14:07 -0800)
commit41ae146057431d99d5ab5c87d385dbf787a10ea2
treefe680d77ad8859f131d4deba3b702c68ce35fa04
parentb2b2a430df33a234be62d97d7efc1f0a3d419b50
integrate cap clause into type state, but not trans
src/comp/middle/trans.rs
src/comp/middle/tstate/auxiliary.rs
src/comp/middle/tstate/ck.rs
src/comp/middle/tstate/pre_post_conditions.rs
src/comp/middle/tstate/states.rs