| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | rustc: Eliminate the direct use of ty.t.struct | Patrick Walton | 2011-04-22 | 1 | -1/+1 | |
| | | ||||||
| * | Switch to binary search in codemap.lookup_pos | Marijn Haverbeke | 2011-04-22 | 1 | -19/+15 | |
| | | | | | | Patrick observed excessive slowness when looking up positions in rustc. This might help. | |||||
| * | Fix the signature of expr_ext | Brian Anderson | 2011-04-21 | 3 | -4/+4 | |
| | | | | | The extension body is just a string, not an expression. | |||||
| * | rustc: Pass a type store around, which does nothing yet | Patrick Walton | 2011-04-21 | 1 | -43/+45 | |
| | | ||||||
| * | rustc: Make the parser never assign any types, not even ty_nil | Patrick Walton | 2011-04-21 | 1 | -5/+4 | |
| | | ||||||
| * | rustc: Remove all manual type construction outside ty.rs | Patrick Walton | 2011-04-20 | 1 | -56/+51 | |
| | | ||||||
| * | Remove half-baked 'opacity' layer qualifier. | Graydon Hoare | 2011-04-19 | 4 | -27/+0 | |
| | | ||||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 6 | -193/+168 | |
| | | ||||||
| * | replace error logging with log_err in stdlib and rustc | Marijn Haverbeke | 2011-04-19 | 4 | -33/+30 | |
| | | ||||||
| * | add log_err to rustc | Marijn Haverbeke | 2011-04-19 | 4 | -3/+13 | |
| | | ||||||
| * | Support 0 flag in #fmt | Brian Anderson | 2011-04-18 | 1 | -7/+14 | |
| | | ||||||
| * | collect crate meta info and ext crate names | Marijn Haverbeke | 2011-04-18 | 2 | -6/+9 | |
| | | ||||||
| * | Support the space flag in #fmt | Brian Anderson | 2011-04-17 | 1 | -19/+35 | |
| | | ||||||
| * | Support + flag in #fmt | Brian Anderson | 2011-04-17 | 1 | -3/+27 | |
| | | ||||||
| * | Support #fmt precision for string types | Brian Anderson | 2011-04-17 | 1 | -2/+8 | |
| | | ||||||
| * | Support left-justification in #fmt conversions | Brian Anderson | 2011-04-16 | 1 | -9/+56 | |
| | | ||||||
| * | Make #fmt support explicit conversion widths | Brian Anderson | 2011-04-16 | 1 | -4/+36 | |
| | | ||||||
| * | Work on destructors, not entirely functional yet (no tydesc integration). | Graydon Hoare | 2011-04-14 | 2 | -4/+22 | |
| | | ||||||
| * | Add support for upper-case hex and binary output to #fmt. | Brian Anderson | 2011-04-13 | 1 | -0/+3 | |
| | | | | | Only works for uints at present. Necessitated the addition of _str.to_upper. | |||||
| * | Add more commentary about ExtFmt | Brian Anderson | 2011-04-13 | 1 | -14/+7 | |
| | | ||||||
| * | Add support for printing uints as lower-case hex to ExtFmt. | Brian Anderson | 2011-04-13 | 1 | -13/+78 | |
| | | | | | | Begin passing an ExtFmt.RT.conv parsed format description to each of the ExtFmt.RT.conv* functions. | |||||
| * | Move #fmt conversion model into ExtFmt.CT namespace | Brian Anderson | 2011-04-13 | 1 | -29/+28 | |
| | | ||||||
| * | Lex numeric escapes, needed for lib-str.rs (which now passes). | Graydon Hoare | 2011-04-13 | 1 | -13/+77 | |
| | | ||||||
| * | typestate_check can now handle expr_block, expr_if, and expr_binary | Tim Chevalier | 2011-04-12 | 2 | -2/+3 | |
| | | | | | | | | | | | | | | | | | (caveat for the latter: it assumes that binary operations are strict; a TODO is to detect or and and and correctly reflect that they're lazy in the second argument). I had to add an ann field to ast.block, resulting in the usual boilerplate changes. Test cases that currently work (if you uncomment the typestate pass in the driver) (all these are under test/compile-fail): fru-typestate ret-uninit use-uninit use-uninit-2 use-uninit-3 | |||||
| * | rustc: Switch to indices for type parameters | Patrick Walton | 2011-04-12 | 3 | -18/+16 | |
| | | ||||||
| * | Further work on typestate. Handles expr_rec and expr_assign now. | Tim Chevalier | 2011-04-12 | 2 | -9/+13 | |
| | | | | | | | | | | | | | 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. | |||||
| * | Factor out creation of calls into ExtFmt.RT | Brian Anderson | 2011-04-11 | 1 | -12/+12 | |
| | | ||||||
| * | Add support for bool, char to extfmt. | Brian Anderson | 2011-04-11 | 1 | -0/+10 | |
| | | | | | XFAIL syntax-extension-fmt in rustboot. | |||||
| * | Move ExtFmt compile-time functions into their own module | Brian Anderson | 2011-04-11 | 1 | -1/+1 | |
| | | ||||||
| * | Make ExtFmt call its own functions instead of others defined in std | Brian Anderson | 2011-04-11 | 1 | -6/+4 | |
| | | ||||||
| * | Move extfmt parsing into standard library | Brian Anderson | 2011-04-11 | 1 | -210/+1 | |
| | | ||||||
| * | Move the extfmt data model into the standard library. | Brian Anderson | 2011-04-11 | 1 | -48/+30 | |
| | | ||||||
| * | Fix codemap.lookup_pos | Marijn Haverbeke | 2011-04-09 | 1 | -15/+12 | |
| | | | | | | Previously, it would place every single location in the first file of the crate that was parsed. | |||||
| * | Move to single-uint file-position representation. | Marijn Haverbeke | 2011-04-09 | 5 | -319/+374 | |
| | | | | | | | | | This makes passing them around cheaper. There is now a table (see front/codemap.rs) that is needed to transform such an uint into an actual filename/line/col location. Also cleans up the span building in the parser a bit. | |||||
| * | Make lexer buffer the whole file | Marijn Haverbeke | 2011-04-09 | 1 | -59/+66 | |
| | | | | | | This way, it won't have to go through a bunch of calls for each byte fetched. | |||||
| * | Support for self-calls that take arguments. | Lindsey Kuper | 2011-04-07 | 2 | -4/+11 | |
| | | | | | | | | Nicer parsing of self-calls (expr_self_method nodes inside expr_call nodes, rather than a separate expr_call_self) makes typechecking tractable. We can now write self-calls that take arguments and return values (see: test/run-pass/obj-self-*.rs). | |||||
| * | Add a very basic crate-dump utility | Marijn Haverbeke | 2011-04-07 | 1 | -0/+66 | |
| | | | | | | 'rustc -ls [cratelib]' will now dump out a list of symbols defined by the crate, as well as a short description of what they are. | |||||
| * | Revise EBML reader API | Marijn Haverbeke | 2011-04-07 | 1 | -191/+122 | |
| | | | | | New one is less stateful, easier to work with. | |||||
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 2 | -10/+11 | |
| | | | | | | | | | | 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. | |||||
| * | Last pieces of self-call support. | Lindsey Kuper | 2011-04-05 | 1 | -1/+1 | |
| | | | | | | | | | The last few pieces of the hack that lets us use trans.trans_call() to translate self-calls, plus a fix for the parser buy that was preventing self-call expressions from getting past parsing. test/run-pass/obj-self.rs works now (as in it actually prints "hi!" twice!). | |||||
| * | Further on the path toward self-awareness. | Lindsey Kuper | 2011-04-05 | 3 | -2/+6 | |
| | | | | | | | | | | | | | | Mostly: * Merciless refactoring of trans.rs so that trans_call can work for self-calls as well as other kinds of calls Also: * Various changes to go with having idents, rather than exprs, in expr_call_self AST nodes * Added missing case for SELF token to token.to_str() | |||||
| * | Make box prefix operator and box type carry mutability flag. | Graydon Hoare | 2011-04-04 | 2 | -3/+7 | |
| | | ||||||
| * | Support for passing native types through metadata/creader. | Graydon Hoare | 2011-04-01 | 1 | -0/+2 | |
| | | ||||||
| * | rustc: Get tag variants from the crate metadata | Patrick Walton | 2011-04-01 | 1 | -6/+49 | |
| | | ||||||
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 3 | -28/+31 | |
| | | | | | | | | | | | | | | | | 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. | |||||
| * | rustc: Add a type annotation to tag items | Patrick Walton | 2011-03-31 | 2 | -4/+5 | |
| | | ||||||
| * | rustc: Use the path index. Speeds up compilation a lot. | Patrick Walton | 2011-03-31 | 1 | -91/+48 | |
| | | ||||||
| * | rustc: Write out a path index as well | Patrick Walton | 2011-03-31 | 1 | -8/+7 | |
| | | ||||||
| * | Couple minor bug fixes in creader, lib-bitv, int, rand, sort, sha1, uint and ↵ | Graydon Hoare | 2011-03-31 | 1 | -0/+8 | |
| | | | | | vec all work. | |||||
| * | rustc: Use the crate index to look up defs | Patrick Walton | 2011-03-31 | 1 | -29/+26 | |
| | | ||||||