aboutsummaryrefslogtreecommitdiff
path: root/src/lib/util.rs
Commit message (Collapse)AuthorAgeFilesLines
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-121-0/+33
| | | | This should be a snapshot transition.
* Rename std modules to be camelcasedMarijn Haverbeke2011-05-061-33/+0
| | | | (Have fun mergining your stuff with this.)
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-061-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.
* Move the option type to its own modulePatrick Walton2010-11-051-18/+0
|
* Revert "Move the option type to its own module"Patrick Walton2010-11-051-0/+18
|
* Move the option type to its own modulePatrick Walton2010-11-051-18/+0
|
* Reformat standard library; no code changes.Graydon Hoare2010-09-221-12/+21
|
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare2010-09-201-4/+4
| | | | translate 0-ary constructors as constants. Rustc loses ~300kb.
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare2010-09-091-1/+4
| | | | work, possibly a little bumpy. Changes a lot.
* Pass parametric types by-alias in various stdlib spots.Roy Frostig2010-08-031-1/+1
|
* More stdlib hashmap bits (plus some drive-by extras).Roy Frostig2010-08-031-1/+8
|
* Implement the "simple typechecker", which avoids HM inferencePatrick Walton2010-07-151-1/+1
|
* Rename some stuff in lib/util.rs.Graydon Hoare2010-07-051-2/+2
|
* Gut the box[m][o] family from util.Roy Frostig2010-07-021-26/+0
|
* The few and proud isolated bits from stdlib-work so far that don't break ↵Roy Frostig2010-06-281-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.