aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
* Integrate walk.rsMarijn Haverbeke2011-04-202-23/+29
|
* Fix #335, log context needs to be a scope to capture cleanups.Graydon Hoare2011-04-201-1/+1
|
* Small fast-path hack to ty.hash_ty and eq_ty.Graydon Hoare2011-04-191-0/+45
|
* rustc: Add a -noverify optionPatrick Walton2011-04-192-11/+20
|
* Add testcase for bootstrap blocker and fix for each result type to nil.Graydon Hoare2011-04-191-3/+4
|
* rustc: Cache the results of type_of()Patrick Walton2011-04-192-16/+25
|
* rustc: Use marijnh's stringifier for type hash and equality, since it's not ↵Patrick Walton2011-04-191-2/+9
| | | | sensitive to cnames
* rustc: Make structured comparison glue instead of emitting it inlinePatrick Walton2011-04-192-196/+340
|
* Handle nested items correctly in typestate_checkTim Chevalier2011-04-196-94/+812
| | | | | | | | | | | | | | | | | | | | | | | | 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 Hoare2011-04-194-27/+0
|
* Remove effect system from src.Graydon Hoare2011-04-1916-348/+285
|
* rustc: Allow glue to be emitted even for scalar types; this is necessary to ↵Patrick Walton2011-04-191-38/+33
| | | | support compare glue
* rustc: Don't return "result" types from glue helper functions. This allows ↵Patrick Walton2011-04-191-46/+46
| | | | glue to fail.
* rustc: Assert that each basic block isn't terminated before adding ↵Patrick Walton2011-04-192-2/+101
| | | | instructions to it
* replace error logging with log_err in stdlib and rustcMarijn Haverbeke2011-04-1912-113/+111
|
* add log_err to rustcMarijn Haverbeke2011-04-1910-26/+40
|
* Add log_err to rustbootMarijn Haverbeke2011-04-191-1/+1
|
* Support 0 flag in #fmtBrian Anderson2011-04-181-7/+14
|
* Boilerplate city, for anyone who wants it.Graydon Hoare2011-04-181-0/+471
|
* rustc: Add an operation field to compare glue with ==, <=, and < modesPatrick Walton2011-04-182-9/+17
|
* rustc: Create stub glue for structural comparisonPatrick Walton2011-04-182-23/+80
|
* Update foregoing patches to leave rust_crate alone.Marijn Haverbeke2011-04-181-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índola2011-04-183-6/+32
|
* Make log the log level configurable per moduleMarijn Haverbeke2011-04-181-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.
* collect crate meta info and ext crate namesMarijn Haverbeke2011-04-184-11/+24
|
* move rust_crate structure into the actual crate codeMarijn Haverbeke2011-04-181-4/+2
|
* introduce local_ctxt in trans.rs to keep crate_ctxt globalMarijn Haverbeke2011-04-181-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 #fmtBrian Anderson2011-04-171-19/+35
|
* Support + flag in #fmtBrian Anderson2011-04-171-3/+27
|
* Support #fmt precision for string typesBrian Anderson2011-04-171-2/+8
|
* Support left-justification in #fmt conversionsBrian Anderson2011-04-161-9/+56
|
* Make #fmt support explicit conversion widthsBrian Anderson2011-04-161-4/+36
|
* rustc: Capture type parameters into for-each blocks. Add a test case.Patrick Walton2011-04-151-2/+33
|
* rustc: Use a regular vector instead of a hash table for type descriptorsPatrick Walton2011-04-151-14/+13
|
* rustc: Remove the "boxed" check, and make the static_size_of_tag ↵Patrick Walton2011-04-151-33/+32
| | | | recursion-eliminating transformation deep
* Add a -S option for producing assembly. I will move more of it toRafael Ávila de Espíndola2011-04-153-20/+38
| | | | rust once the necessary APIs are available in C.
* rustc: Make fold_ty no longer use an object; introduce walk_tyPatrick Walton2011-04-153-115/+160
|
* Work on destructors, not entirely functional yet (no tydesc integration).Graydon Hoare2011-04-146-13/+82
|
* rustc: Use the unified result for the type of assignment expressionsPatrick Walton2011-04-141-1/+1
|
* rustc: Perform type substitutions when recording localsPatrick Walton2011-04-141-1/+11
|
* rustc: Remove generalize_ty. Instead, maintain an explicit type parameter ↵Patrick Walton2011-04-144-358/+531
| | | | substitution list.
* rustc: Use union-find for variable substitutionPatrick Walton2011-04-141-48/+103
|
* Add support for upper-case hex and binary output to #fmt.Brian Anderson2011-04-131-0/+3
| | | | Only works for uints at present. Necessitated the addition of _str.to_upper.
* Add more commentary about ExtFmtBrian Anderson2011-04-131-14/+7
|
* Add support for printing uints as lower-case hex to ExtFmt.Brian Anderson2011-04-131-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 namespaceBrian Anderson2011-04-131-29/+28
|
* rm unused importTim Chevalier2011-04-131-1/+0
|
* Make expr_while work in typestate_checkTim Chevalier2011-04-132-116/+93
| | | | | | 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.)
* Fix temporary-spilling logic in trans_args, uncomment most of lib-deque.rs ↵Graydon Hoare2011-04-131-1/+5
| | | | (which now passes on stage0).
* Lex numeric escapes, needed for lib-str.rs (which now passes).Graydon Hoare2011-04-131-13/+77
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-17 11:47:05 +0000