| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -0/+22 |
| | | | | | | | | | | It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway. | ||||
| * | Add "mutable?" to _vec in the standard library; fix callers | Patrick Walton | 2011-03-18 | 1 | -1/+1 |
| | | |||||
| * | Remove redundant imports in lib (rustc doesn't like 'std' as a synonym for ↵ | Graydon Hoare | 2011-03-09 | 1 | -4/+0 |
| | | | | | root within std.rc anyway) | ||||
| * | Add a check for binding an alias. Good thing, as we had two instances in our ↵ | Graydon Hoare | 2010-11-08 | 1 | -1/+1 |
| | | | | | library. | ||||
| * | Split out stratum-checking pass, implement more-strict (overly aggressive) ↵ | Graydon Hoare | 2010-11-02 | 1 | -9/+9 |
| | | | | | impure-effect checking. | ||||
| * | eliminated bitv.test, which now lives in test/run-pass | Dave Herman | 2010-10-21 | 1 | -283/+0 |
| | | |||||
| * | line length police; moved comp.util.bits to std.bitv | Dave Herman | 2010-10-21 | 1 | -0/+463 |