| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | rustc: Include the cname in the hash to increase entropy | Patrick Walton | 2011-04-22 | 1 | -1/+10 | |
| | | ||||||
| * | rustc: Thread the type store through everything that needs to access type ↵ | Patrick Walton | 2011-04-22 | 4 | -382/+411 | |
| | | | | | structures | |||||
| * | rustc: Move the type serialization logic to an Encode module | Patrick Walton | 2011-04-22 | 2 | -97/+108 | |
| | | ||||||
| * | rustc: Remove direct access to the cname field of types | Patrick Walton | 2011-04-22 | 1 | -4/+7 | |
| | | ||||||
| * | rustc: Switch @ty.t to ty.t so that we can change it to a uint | Patrick Walton | 2011-04-22 | 4 | -414/+415 | |
| | | ||||||
| * | rustc: Eliminate the direct use of ty.t.struct | Patrick Walton | 2011-04-22 | 4 | -110/+117 | |
| | | ||||||
| * | Dispose the module. | Rafael Ávila de Espíndola | 2011-04-22 | 1 | -0/+1 | |
| | | | | | Thanks to brson for noticing it. | |||||
| * | rustc: Add a fast path when the types to be unified are exactly equal | Patrick Walton | 2011-04-22 | 1 | -0/+3 | |
| | | ||||||
| * | rustc: Add a fast path if there are no type substitutions to be made | Patrick Walton | 2011-04-22 | 1 | -2/+8 | |
| | | ||||||
| * | rustc: Improve the efficiency of lookup_item_type() slightly | Patrick Walton | 2011-04-22 | 1 | -7/+7 | |
| | | ||||||
| * | rustc: Intern types | Patrick Walton | 2011-04-21 | 3 | -331/+73 | |
| | | ||||||
| * | Fix the signature of expr_ext | Brian Anderson | 2011-04-21 | 2 | -4/+4 | |
| | | | | | The extension body is just a string, not an expression. | |||||
| * | rustc: Add a shallow type equality function, not used yet | Patrick Walton | 2011-04-21 | 1 | -0/+321 | |
| | | ||||||
| * | rustc: Pass a type store around, which does nothing yet | Patrick Walton | 2011-04-21 | 4 | -392/+547 | |
| | | ||||||
| * | rustc: Get rid of boring_ann(); it duplicates plain_ann() | Patrick Walton | 2011-04-21 | 1 | -17/+14 | |
| | | ||||||
| * | rustc: Create a unification context | Patrick Walton | 2011-04-21 | 1 | -99/+75 | |
| | | ||||||
| * | rustc: Move ty.unify to a separate namespace | Patrick Walton | 2011-04-21 | 2 | -46/+50 | |
| | | ||||||
| * | Change ty.eq_ty to avoid stringification. | Graydon Hoare | 2011-04-21 | 1 | -43/+304 | |
| | | ||||||
| * | rustc: Create an item collection context during typechecking; move ↵ | Patrick Walton | 2011-04-20 | 1 | -170/+136 | |
| | | | | | collection to a module | |||||
| * | Fix walk bug that coupled with marijns work to regress stage1. | Graydon Hoare | 2011-04-20 | 1 | -4/+3 | |
| | | ||||||
| * | rustc: Add a type unification cache | Patrick Walton | 2011-04-20 | 1 | -3/+63 | |
| | | ||||||
| * | rustc: Define type hashing inductively | Patrick Walton | 2011-04-20 | 1 | -12/+97 | |
| | | ||||||
| * | rustc: Precompute type hashes | Patrick Walton | 2011-04-20 | 2 | -39/+56 | |
| | | ||||||
| * | rustc: Remove all manual type construction outside ty.rs | Patrick Walton | 2011-04-20 | 3 | -45/+56 | |
| | | ||||||
| * | rustc: Remove all uses of plain_ty() and friends from outside of ty.rs | Patrick Walton | 2011-04-20 | 4 | -164/+135 | |
| | | ||||||
| * | rustc: Introduce preferred type constructors, which will eventually ↵ | Patrick Walton | 2011-04-20 | 1 | -1/+47 | |
| | | | | | precompute hashes and intern | |||||
| * | Remove last uses of fold from trans.rs | Marijn Haverbeke | 2011-04-20 | 1 | -39/+34 | |
| | | ||||||
| * | Change trans.collect_items to use walk, not fold | Marijn Haverbeke | 2011-04-20 | 1 | -127/+112 | |
| | | ||||||
| * | Integrate walk.rs | Marijn Haverbeke | 2011-04-20 | 2 | -23/+29 | |
| | | ||||||
| * | Fix #335, log context needs to be a scope to capture cleanups. | Graydon Hoare | 2011-04-20 | 1 | -1/+1 | |
| | | ||||||
| * | Small fast-path hack to ty.hash_ty and eq_ty. | Graydon Hoare | 2011-04-19 | 1 | -0/+45 | |
| | | ||||||
| * | rustc: Add a -noverify option | Patrick Walton | 2011-04-19 | 1 | -6/+9 | |
| | | ||||||
| * | Add testcase for bootstrap blocker and fix for each result type to nil. | Graydon Hoare | 2011-04-19 | 1 | -3/+4 | |
| | | ||||||
| * | rustc: Cache the results of type_of() | Patrick Walton | 2011-04-19 | 1 | -0/+9 | |
| | | ||||||
| * | rustc: Use marijnh's stringifier for type hash and equality, since it's not ↵ | Patrick Walton | 2011-04-19 | 1 | -2/+9 | |
| | | | | | sensitive to cnames | |||||
| * | rustc: Make structured comparison glue instead of emitting it inline | Patrick Walton | 2011-04-19 | 2 | -196/+340 | |
| | | ||||||
| * | Handle nested items correctly in typestate_check | Tim Chevalier | 2011-04-19 | 3 | -94/+750 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | 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 effect system from src. | Graydon Hoare | 2011-04-19 | 5 | -35/+33 | |
| | | ||||||
| * | 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 | 1 | -1/+1 | |
| | | | | | instructions to it | |||||
| * | replace error logging with log_err in stdlib and rustc | Marijn Haverbeke | 2011-04-19 | 5 | -44/+46 | |
| | | ||||||
| * | add log_err to rustc | Marijn Haverbeke | 2011-04-19 | 5 | -21/+22 | |
| | | ||||||
| * | Add log_err to rustboot | Marijn Haverbeke | 2011-04-19 | 1 | -1/+1 | |
| | | ||||||
| * | 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 | 1 | -9/+12 | |
| | | ||||||
| * | rustc: Create stub glue for structural comparison | Patrick Walton | 2011-04-18 | 1 | -23/+78 | |
| | | ||||||
| * | Update foregoing patches to leave rust_crate alone. | Marijn Haverbeke | 2011-04-18 | 1 | -11/+11 | |
| | | | | | | | | | | 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 | 1 | -4/+26 | |
| | | ||||||
| * | Make log the log level configurable per module | Marijn Haverbeke | 2011-04-18 | 1 | -27/+111 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | |||||