- 02 4月, 2011 11 次提交
-
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Tim Chevalier 提交于
-
由 Tim Chevalier 提交于
I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet.
-
由 Patrick Walton 提交于
-
- 01 4月, 2011 28 次提交
-
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
This allows blocks to be used in conditional constructs where the block may not ever execute: the drop glue will notice that it was never used and ignore it. Also, beef up the comments.
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
Since pprust is authed impure these can be used for debug logging.
-
由 Brian Anderson 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead of ty_params, and to check in external crates
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
Fix error where make check would not produce compilers first, due to make's infinite-recursion-prevention heuristic.
-
由 Patrick Walton 提交于
-
由 Lindsey Kuper 提交于
-
由 Lindsey Kuper 提交于
-
由 Graydon Hoare 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
- 31 3月, 2011 1 次提交
-
-
由 Brian Anderson 提交于
-