| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | |
| | | ||||||
| * | Fix link commands for stage1 and stage2. | Graydon Hoare | 2011-04-21 | 1 | -2/+2 | |
| | | ||||||
| * | 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 | 4 | -101/+107 | |
| | | ||||||
| * | rustc: Remove all uses of plain_ty() and friends from outside of ty.rs | Patrick Walton | 2011-04-20 | 5 | -165/+136 | |
| | | ||||||
| * | 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 | |
| | | ||||||
| * | Fix stage1 Makefile rules. | Graydon Hoare | 2011-04-20 | 1 | -9/+25 | |
| | | ||||||
| * | Change trans.collect_items to use walk, not fold | Marijn Haverbeke | 2011-04-20 | 1 | -127/+112 | |
| | | ||||||
| * | Change collect_upvars from using fold to using walk | Marijn Haverbeke | 2011-04-20 | 1 | -0/+1 | |
| | | ||||||
| * | 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 | 2 | -1/+7 | |
| | | ||||||
| * | 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 | 2 | -11/+20 | |
| | | ||||||
| * | Add testcase for bootstrap blocker and fix for each result type to nil. | Graydon Hoare | 2011-04-19 | 2 | -3/+26 | |
| | | ||||||
| * | rustc: Cache the results of type_of() | Patrick Walton | 2011-04-19 | 2 | -16/+25 | |
| | | ||||||
| * | 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 | |||||
| * | Un-XFAIL a few recently passing tests. | Graydon Hoare | 2011-04-19 | 6 | -8/+0 | |
| | | ||||||
| * | 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 | 11 | -69/+4 | |
| | | ||||||
| * | Remove mention of effect system from manual. | Graydon Hoare | 2011-04-19 | 1 | -25/+11 | |
| | | ||||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 83 | -1039/+509 | |
| | | ||||||
| * | 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 | 2 | -25/+30 | |
| | | | | | 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 | 2 | -30/+25 | |
| | | ||||||
| * | 'Type' renamed to 'type definition'. | Lindsey Kuper | 2011-04-18 | 1 | -6/+6 | |
| | | | | | | This is basically so people don't confuse a Ref.Item.Type with a Ref.Type. | |||||
| * | 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. | |||||