about summary refs log tree commit diff
path: root/src/lib/util.rs
AgeCommit message (Collapse)AuthorLines
2011-04-06Continued 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-05Move the option type to its own modulePatrick Walton-18/+0
2010-11-05Revert "Move the option type to its own module"Patrick Walton-0/+18
2010-11-05Move the option type to its own modulePatrick Walton-18/+0
2010-09-22Reformat standard library; no code changes.Graydon Hoare-12/+21
2010-09-20Bind 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-09Switch 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-03Pass parametric types by-alias in various stdlib spots.Roy Frostig-1/+1
2010-08-03More stdlib hashmap bits (plus some drive-by extras).Roy Frostig-1/+8
2010-07-15Implement the "simple typechecker", which avoids HM inferencePatrick Walton-1/+1
2010-07-05Rename some stuff in lib/util.rs.Graydon Hoare-2/+2
2010-07-02Gut the box[m][o] family from util.Roy Frostig-26/+0
2010-06-28The 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.