| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-04-06 | Continued sketching out code for checking states against preconditions. | Tim Chevalier | -0/+12 | |
| 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. | ||||
| 2010-11-05 | Move the option type to its own module | Patrick Walton | -18/+0 | |
| 2010-11-05 | Revert "Move the option type to its own module" | Patrick Walton | -0/+18 | |
| 2010-11-05 | Move the option type to its own module | Patrick Walton | -18/+0 | |
| 2010-09-22 | Reformat standard library; no code changes. | Graydon Hoare | -12/+21 | |
| 2010-09-20 | Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵ | Graydon Hoare | -4/+4 | |
| translate 0-ary constructors as constants. Rustc loses ~300kb. | ||||
| 2010-09-09 | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵ | Graydon Hoare | -1/+4 | |
| work, possibly a little bumpy. Changes a lot. | ||||
| 2010-08-03 | Pass parametric types by-alias in various stdlib spots. | Roy Frostig | -1/+1 | |
| 2010-08-03 | More stdlib hashmap bits (plus some drive-by extras). | Roy Frostig | -1/+8 | |
| 2010-07-15 | Implement the "simple typechecker", which avoids HM inference | Patrick Walton | -1/+1 | |
| 2010-07-05 | Rename some stuff in lib/util.rs. | Graydon Hoare | -2/+2 | |
| 2010-07-02 | Gut the box[m][o] family from util. | Roy Frostig | -26/+0 | |
| 2010-06-28 | The few and proud isolated bits from stdlib-work so far that don't break ↵ | Roy Frostig | -0/+46 | |
| everything. Note util.rs hasn't yet been declared mod in the std crate. Don't do that yet, as it breaks make check. | ||||
