aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
...
* 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
|
* Enable alias analysis and the function attributes pass.Rafael Ávila de Espíndola2011-04-132-4/+7
| | | | | The C API extension is already upstream, we can drop the local copy once the bots are updated.
* typestate_check can now handle expr_block, expr_if, and expr_binaryTim Chevalier2011-04-126-161/+358
| | | | | | | | | | | | | | | | (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 parametersPatrick Walton2011-04-129-382/+255
|
* rustc: Add "float" as a type to the pretty printerPatrick Walton2011-04-121-0/+1
|
* Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier2011-04-127-249/+536
| | | | | | | | | | | | 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.
* Make glue always pass-by-alias and rename "scalar_or_boxed" concept to ↵Graydon Hoare2011-04-121-48/+73
| | | | "immediate"
* Tighten up condition on use of opaque_tag, remove blunt hammer of alias ↵Graydon Hoare2011-04-121-5/+20
| | | | arg-casting in trans_args.
* Enable more optimizations.Rafael Ávila de Espíndola2011-04-122-9/+10
|
* Factor out creation of calls into ExtFmt.RTBrian Anderson2011-04-111-12/+12
|
* Add support for bool, char to extfmt.Brian Anderson2011-04-111-0/+10
| | | | XFAIL syntax-extension-fmt in rustboot.
* Move ExtFmt compile-time functions into their own moduleBrian Anderson2011-04-111-1/+1
|
* Make ExtFmt call its own functions instead of others defined in stdBrian Anderson2011-04-111-6/+4
|
* Move extfmt parsing into standard libraryBrian Anderson2011-04-111-210/+1
|
* Move the extfmt data model into the standard library.Brian Anderson2011-04-111-48/+30
|
* rustc: Add a uint hash functionPatrick Walton2011-04-111-0/+8
|
* rustc: Factor out expr_ty() into expr_ann() and expr_ty()Patrick Walton2011-04-111-38/+45
|
* Implement the "attempted dynamic environment-capture" error in rustc.Rafael Ávila de Espíndola2011-04-113-0/+121
|
* rustc: Push down types for all expressions; add logic for recv and sendPatrick Walton2011-04-082-2/+26
|
* Remove silly legacy glue-offset encoding, predicate runtime adjustments by ↵Graydon Hoare2011-04-092-48/+30
| | | | ABI. LLVM should inline most glue now.
* Fix codemap.lookup_posMarijn Haverbeke2011-04-091-15/+12
| | | | | Previously, it would place every single location in the first file of the crate that was parsed.
* rustc: Rename "demand" to "pushdown" in the typechecker and explain more ↵Patrick Walton2011-04-081-376/+409
| | | | clearly what it's for
* Move to single-uint file-position representation.Marijn Haverbeke2011-04-0911-351/+413
| | | | | | | | 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 fileMarijn Haverbeke2011-04-091-59/+66
| | | | | This way, it won't have to go through a bunch of calls for each byte fetched.