| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| |
|
|
|
| |
Fixed infinite loop on anonymous objects in parser; added
expr_anon_obj to walk.rs; fixed syntax of test case.
|
| | |
|
| |
|
|
|
| |
The resolver needs to update its state for individual arms and
methods.
|
| |
|
|
| |
This should be a snapshot transition.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
One step closer to removing fold and having a single, immutable AST.
Resolve still uses fold, because it has to detect and transform
expr_field expressions. If we go through on our plan of moving to a
different syntax for module dereferencing, the parser can spit out
expr_field expressions, and resolve can move to walk.
(I am truly sorry for the things I did in typestate_check.rs. I expect
we'll want to change that to walk as well in the near future, at which
point it should probably pass around a context record, which could
hold the def_map.)
|
| | |
|
| |
|
|
| |
(Have fun mergining your stuff with this.)
|
| |
|
|
|
|
| |
the problem.
This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
|
| |
|
|
| |
This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
|
| |
|
|
|
|
|
|
|
|
| |
This giant commit changes the syntax of Rust to use "assert" for
"check" expressions that didn't mean anything to the typestate
system, and continue using "check" for checks that are used as
part of typestate checking.
Most of the changes are just replacing "check" with "assert" in test
cases and rustc.
|
| | |
|
| | |
|
| | |
|
| |
|