| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | rustc: Make structured comparison glue instead of emitting it inline | Patrick Walton | 2011-04-19 | 4 | -197/+350 |
| | | |||||
| * | Handle nested items correctly in typestate_check | Tim Chevalier | 2011-04-19 | 9 | -99/+833 |
| | | | | | | | | | | | | | | | | | | | | | | | | | Summary says it all. Actually, only nested objects and functions are handled, but that's better than before. The fold that I was using before to traverse a crate wasn't working correctly, because annotations have to reflect the number of local variables of the nearest enclosing function (in turn, because annotations are represented as bit vectors). The fold was traversing the AST in the wrong order, first filling in the annotations correctly, but then re-traversing them with the bit vector length for any outer nested functions, and so on. Remedying this required writing a lot of tedious boilerplate code because I scrapped the idea of using a fold altogether. I also made typestate_check handle unary, field, alt, and fail. Also, some miscellaneous changes: * added annotations to blocks in typeck * fix pprust so it can handle spawn * added more logging functions in util.common * fixed _vec.or * added maybe and from_maybe in option * removed fold_block field from ast_fold, since it was never used | ||||
| * | Remove half-baked 'opacity' layer qualifier. | Graydon Hoare | 2011-04-19 | 10 | -68/+4 |
| | | |||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 82 | -1038/+508 |
| | | |||||
| * | rustc: Allow glue to be emitted even for scalar types; this is necessary to ↵ | Patrick Walton | 2011-04-19 | 1 | -38/+33 |
| | | | | | support compare glue | ||||
| * | rustc: Don't return "result" types from glue helper functions. This allows ↵ | Patrick Walton | 2011-04-19 | 1 | -46/+46 |
| | | | | | glue to fail. | ||||
| * | rustc: Assert that each basic block isn't terminated before adding ↵ | Patrick Walton | 2011-04-19 | 2 | -2/+101 |
| | | | | | instructions to it | ||||
| * | add rustboot-specific log upcalls to .def file | Marijn Haverbeke | 2011-04-19 | 1 | -0/+2 |
| | | |||||
| * | Overhaul logging system in runtime | Marijn Haverbeke | 2011-04-19 | 24 | -637/+463 |
| | | | | | | | | | | | | | | | See https://github.com/graydon/rust/wiki/Logging-vision The runtime logging categories are now treated in the same way as modules in compiled code. Each domain now has a log_lvl that can be used to restrict the logging from that domain (will be used to allow logging to be restricted to a single domain). Features dropped (can be brought back to life if there is interest): - Logger indentation - Multiple categories per log statement - I possibly broke some of the color code -- it confuses me | ||||
| * | replace error logging with log_err in stdlib and rustc | Marijn Haverbeke | 2011-04-19 | 16 | -132/+132 |
| | | |||||
| * | add log_err to rustc | Marijn Haverbeke | 2011-04-19 | 10 | -26/+40 |
| | | |||||
| * | Add log_err to rustboot | Marijn Haverbeke | 2011-04-19 | 10 | -16/+35 |
| | | |||||
| * | Precision overrides 0-padding in #fmt | Brian Anderson | 2011-04-18 | 2 | -35/+60 |
| | | |||||
| * | Rearrange ExtFmt.RT.pad to recover some horizontal space | Brian Anderson | 2011-04-18 | 1 | -49/+51 |
| | | |||||
| * | Left-justification overrides 0-padding in #fmt | Brian Anderson | 2011-04-18 | 2 | -23/+35 |
| | | |||||
| * | Support 0 flag in #fmt | Brian Anderson | 2011-04-18 | 3 | -12/+80 |
| | | |||||
| * | Boilerplate city, for anyone who wants it. | Graydon Hoare | 2011-04-18 | 1 | -0/+471 |
| | | |||||
| * | rustc: Add an operation field to compare glue with ==, <=, and < modes | Patrick Walton | 2011-04-18 | 2 | -9/+17 |
| | | |||||
| * | Revert 9ab42038bb13d3c8b01faa9c88e660e4e590fb00 while I find what is | Rafael Ávila de Espíndola | 2011-04-18 | 1 | -1/+0 |
| | | | | | wrong on Windows. | ||||
| * | Remove use of 'use' from type-params-in-for-each.rs, put out darwin fire. | Graydon Hoare | 2011-04-18 | 1 | -3/+9 |
| | | |||||
| * | Change the makefiles to use -c. | Rafael Ávila de Espíndola | 2011-04-18 | 1 | -0/+1 |
| | | |||||
| * | rustc: Create stub glue for structural comparison | Patrick Walton | 2011-04-18 | 2 | -23/+80 |
| | | |||||
| * | Add a proper check for rustboot | Marijn Haverbeke | 2011-04-18 | 1 | -4/+2 |
| | | | | | Uncomment log initialization. | ||||
| * | Temporarily turn off logging initialization | Marijn Haverbeke | 2011-04-18 | 1 | -3/+4 |
| | | | | | | Will be restored as soon as I find a way for the runtime to figure out whether it is on rustboot or rustc. | ||||
| * | Update foregoing patches to leave rust_crate alone. | Marijn Haverbeke | 2011-04-18 | 6 | -104/+100 |
| | | | | | | | | | | Apparently it can't live in the main binary, since on non-Linux platforms, dynamics libs won't find symbols in the binary. This removes the crate_map pointer from rust_crate again, and instead passes it as an extra argument to rust_start. Rustboot doesn't pass this argument, but supposedly that's okay as long as we don't actually use it on that platform. | ||||
| * | Add a -c option. | Rafael Ávila de Espíndola | 2011-04-18 | 5 | -11/+46 |
| | | |||||
| * | Make log the log level configurable per module | Marijn Haverbeke | 2011-04-18 | 5 | -29/+206 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This overloads the meaning of RUST_LOG to also allow 'module.submodule' or 'module.somethingelse=2' forms. The first turn on all logging for a module (loglevel 3), the second sets its loglevel to 2. Log levels are: 0: Show only errors 1: Errors and warnings 2: Errors, warnings, and notes 3: Everything, including debug logging Right now, since we only have one 'log' operation, everything happens at level 1 (warning), so the only meaningful thing that can be done with the new RUST_LOG support is disable logging (=0) for some modules. TODOS: * Language support for logging at a specific level * Also add a log level field to tasks, query the current task as well as the current module before logging (log if one of them allows it) * Revise the C logging API to conform to this set-up (globals for per-module log level, query the task level before logging, stop using a global mask) Implementation notes: Crates now contain two extra data structures. A 'module map' that contains names and pointers to the module-log-level globals for each module in the crate that logs, and a 'crate map' that points at the crate's module map, as well as at the crate maps of all external crates it depends on. These are walked by the runtime (in rust_crate.cpp) to set the currect log levels based on RUST_LOG. These module log globals are allocated as-needed whenever a log expression is encountered, and their location is hard-coded into the logging code, which compares the current level to the log statement's level, and skips over all logging code when it is lower. | ||||
| * | collect crate meta info and ext crate names | Marijn Haverbeke | 2011-04-18 | 4 | -11/+24 |
| | | |||||
| * | move rust_crate structure into the actual crate code | Marijn Haverbeke | 2011-04-18 | 1 | -4/+2 |
| | | |||||
| * | introduce local_ctxt in trans.rs to keep crate_ctxt global | Marijn Haverbeke | 2011-04-18 | 1 | -318/+333 |
| | | | | | | | This reduces crate_ctxt copying (which unfortunately did not result in a noticeable speedup), and makes the role of that type a bit more clear. | ||||
| * | Support the space flag in #fmt | Brian Anderson | 2011-04-17 | 3 | -23/+53 |
| | | |||||
| * | Support + flag in #fmt | Brian Anderson | 2011-04-17 | 3 | -6/+40 |
| | | |||||
| * | Support #fmt precision for bools, with same rules as strings | Brian Anderson | 2011-04-17 | 2 | -2/+14 |
| | | | | | | Not totally confident this is desirable. The alternative would be to make it a compile error. | ||||
| * | Fix indentation in syntax-extension-fmt.rs | Brian Anderson | 2011-04-17 | 1 | -44/+44 |
| | | |||||
| * | Treat char #fmt conversions just like str conversions | Brian Anderson | 2011-04-17 | 2 | -1/+7 |
| | | | | | Add missing tests | ||||
| * | Support #fmt precision for signed types | Brian Anderson | 2011-04-17 | 2 | -49/+66 |
| | | |||||
| * | Support #fmt precision for unsigned types | Brian Anderson | 2011-04-17 | 2 | -27/+65 |
| | | |||||
| * | Support #fmt precision for string types | Brian Anderson | 2011-04-17 | 3 | -4/+70 |
| | | |||||
| * | Support left-justification in #fmt conversions | Brian Anderson | 2011-04-16 | 3 | -12/+95 |
| | | |||||
| * | Add another test for #fmt conversion widths | Brian Anderson | 2011-04-16 | 1 | -0/+1 |
| | | |||||
| * | Make #fmt support explicit conversion widths | Brian Anderson | 2011-04-16 | 3 | -13/+91 |
| | | |||||
| * | More tests for #fmt | Brian Anderson | 2011-04-16 | 1 | -0/+7 |
| | | |||||
| * | rustc: Capture type parameters into for-each blocks. Add a test case. | Patrick Walton | 2011-04-15 | 2 | -2/+44 |
| | | |||||
| * | rustc: Use a regular vector instead of a hash table for type descriptors | Patrick Walton | 2011-04-15 | 1 | -14/+13 |
| | | |||||
| * | stdlib: Add some vector functions: empty, empty_mut, grow_set, and freeze. ↵ | Patrick Walton | 2011-04-15 | 1 | -4/+31 |
| | | | | | Change _vec.grow to use uint arguments. | ||||
| * | Produce PIC code and use -S in the Makefile. | Rafael Ávila de Espíndola | 2011-04-15 | 1 | -0/+1 |
| | | |||||
| * | rustc: Remove the "boxed" check, and make the static_size_of_tag ↵ | Patrick Walton | 2011-04-15 | 1 | -33/+32 |
| | | | | | recursion-eliminating transformation deep | ||||
| * | Add a -S option for producing assembly. I will move more of it to | Rafael Ávila de Espíndola | 2011-04-15 | 5 | -20/+68 |
| | | | | | rust once the necessary APIs are available in C. | ||||
| * | rustc: Make fold_ty no longer use an object; introduce walk_ty | Patrick Walton | 2011-04-15 | 3 | -115/+160 |
| | | |||||
| * | Work on destructors, not entirely functional yet (no tydesc integration). | Graydon Hoare | 2011-04-14 | 7 | -13/+100 |
| | | |||||