about summary refs log tree commit diff
path: root/src/lib
AgeCommit message (Collapse)AuthorLines
2011-04-17Support #fmt precision for signed typesBrian Anderson-37/+46
2011-04-17Support #fmt precision for unsigned typesBrian Anderson-11/+49
2011-04-17Support #fmt precision for string typesBrian Anderson-2/+25
2011-04-16Support left-justification in #fmt conversionsBrian Anderson-3/+29
2011-04-16Make #fmt support explicit conversion widthsBrian Anderson-9/+45
2011-04-15stdlib: Add some vector functions: empty, empty_mut, grow_set, and freeze. ↵Patrick Walton-4/+31
Change _vec.grow to use uint arguments.
2011-04-14rustc: Use union-find for variable substitutionPatrick Walton-16/+12
2011-04-13Add support for upper-case hex and binary output to #fmt.Brian Anderson-0/+24
Only works for uints at present. Necessitated the addition of _str.to_upper.
2011-04-13Add more commentary about ExtFmtBrian Anderson-1/+30
2011-04-13Add support for printing uints as lower-case hex to ExtFmt.Brian Anderson-5/+22
Begin passing an ExtFmt.RT.conv parsed format description to each of the ExtFmt.RT.conv* functions.
2011-04-13Move #fmt conversion model into ExtFmt.CT namespaceBrian Anderson-44/+44
2011-04-13Make expr_while work in typestate_checkTim Chevalier-0/+11
Also did some refactoring in typestate_check. All test cases in compile-fail that involve uninitialized vars now fail correctly! (All eight of them, that is.)
2011-04-13Slight updates to match API drift in io, lib-io.rs passes.Graydon Hoare-1/+1
2011-04-12Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier-3/+12
Also changed the ts_ann field on statements to be an ann instead, which explains most of the changes. As well, got rid of the "warning: no type for expression" error by filling in annotations for local decls in typeck (not sure whether this was my fault or not). Finally, in bitv, added a clone() function to copy a bit vector, and fixed is_true, is_false, and to_str to not be nonsense.
2011-04-11Factor out creation of calls into ExtFmt.RTBrian Anderson-4/+4
2011-04-11Add support for bool, char to extfmt.Brian Anderson-0/+12
XFAIL syntax-extension-fmt in rustboot.
2011-04-11Move ExtFmt compile-time functions into their own moduleBrian Anderson-170/+173
2011-04-11Use correct indentation for ExtFmt.rsBrian Anderson-6/+15
2011-04-11Make ExtFmt call its own functions instead of others defined in stdBrian Anderson-0/+11
2011-04-11Move extfmt parsing into standard libraryBrian Anderson-0/+213
2011-04-11Move the extfmt data model into the standard library.Brian Anderson-0/+48
2011-04-09Make lexer buffer the whole fileMarijn Haverbeke-0/+8
This way, it won't have to go through a bunch of calls for each byte fetched.
2011-04-08Implemented computing prestates and poststates for a few expression forms.Tim Chevalier-0/+15
The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable.
2011-04-07stdlib: Add a simple union-find data structurePatrick Walton-0/+43
2011-04-08Re-add a read_byte() method to buf_reader objsMarijn Haverbeke-20/+18
This was removed because of the repetition, but doing single-byte reads in terms of read_bytes (which allocates a vec) is needlessly slow. This change speeds up parsing by 22%. (Eventually, we won't be able to escape handling the buffering in the stdlib itself.)
2011-04-07Revise EBML reader APIMarijn Haverbeke-89/+77
New one is less stateful, easier to work with.
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-0/+62
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.
2011-04-01Started adding support for typestate checking.Tim Chevalier-0/+23
I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet.
2011-03-31rustc: Use the crate index to look up defsPatrick Walton-0/+32
2011-03-31stdlib: Add a write_be_uint() function to writersPatrick Walton-0/+14
2011-03-26Add a result_str method to std.sha1.sha1.Graydon Hoare-0/+12
2011-03-25rustc: Parse definition IDs from crates; add a function to parse unsigned ↵Patrick Walton-0/+12
ints to the standard library
2011-03-25rustc: Look up names in "use"d cratesPatrick Walton-6/+18
2011-03-25stdlib: Implement a memory buffer reader, untested at the momentPatrick Walton-22/+61
2011-03-25stdlib: Separate basic I/O reading functionality into a separate buf_reader ↵Patrick Walton-25/+85
object, like writing
2011-03-25Start making the standard-lib utf-8 awareMarijn Haverbeke-42/+229
Finally implements _str.is_utf8, adds from_chars, from_char, to_chars, char_at, char_len, (push|pop|shift|unshift)_char. Also, proper character I/O for streams.
2011-03-24rustc: Open "use"d crates; add a _vec.vec_from_buf() method along the way; ↵Patrick Walton-1/+7
XFAIL use-import-export.rs in rustc
2011-03-22stdlib: Provide a function to extract the underlying buf_writer from a writerPatrick Walton-0/+9
2011-03-22stdlib: Add EBML writing functionalityPatrick Walton-2/+67
2011-03-22stdlib: Add a convenience method for opening paths as a FILEPatrick Walton-0/+10
2011-03-22stdlib: Make writers seekable; switch file writers to the C FILE interface ↵Patrick Walton-14/+101
to make this work
2011-03-22Revert "Remove usages of case(_) { fail; } since the compiler does this ↵Patrick Walton-0/+2
automatically". When we have exhaustiveness checking, "case(_) { fail; }" will be useful to silence warnings. This reverts commit 92a716d862d92d3cc52a400457d2c3900d0c57a2.
2011-03-22lib: Add an EBML reader modulePatrick Walton-0/+110
2011-03-22Remove usages of case(_) { fail; } since the compiler does this automaticallyBrian Anderson-2/+0
2011-03-21Add a "last" function to return the last element of a vector to the standard ↵Patrick Walton-0/+12
library
2011-03-21Add a binding to ftell()Patrick Walton-0/+7
2011-03-20Switch win32 path_sep to '/', add comment explaining a bit.Graydon Hoare-1/+7
2011-03-20Add slightly nicer failure message to io.rs when it can't open a file.Graydon Hoare-1/+4
2011-03-18rustc: Fix list.foldl() to pass its second argument by aliasPatrick Walton-2/+2
2011-03-18rustc: Box the tuples returned by hashmap.items() for now since we don't ↵Patrick Walton-3/+3
have alias iterators yet
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 02:54:20 +0000