| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -0/+7 |
| | | | | | | | | | | 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 an option.is_none() method | Patrick Walton | 2011-03-17 | 1 | -0/+7 |
| | | |||||
| * | rustboot: Don't use walk to traverse statements in type.ml; fixes redundant ↵ | Patrick Walton | 2010-11-18 | 1 | -0/+2 |
| | | | | | checking, improves diagnostics. Also report untyped slots. | ||||
| * | Move the option type to its own module | Patrick Walton | 2010-11-05 | 1 | -0/+40 |
| | | |||||
| * | Revert "Move the option type to its own module" | Patrick Walton | 2010-11-05 | 1 | -40/+0 |
| | | |||||
| * | Move the option type to its own module | Patrick Walton | 2010-11-05 | 1 | -0/+40 |