aboutsummaryrefslogtreecommitdiff
path: root/src/comp/util/common.rs
Commit message (Collapse)AuthorAgeFilesLines
* rustc: Write nil types into the node type table wherever plain_ann() is usedHEADmasterPatrick Walton2011-05-131-5/+0
|
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-121-83/+83
| | | | This should be a snapshot transition.
* Ensure ann tags are actually kept around during typecheckingMarijn Haverbeke2011-05-121-3/+3
| | | | | | This way, the tag assigned by the parser stays with the node. I realize ann replacing is probably going away real soon, but I needed this now for moving the resolve defs out of the AST.
* rustc: Number everything with an annotationPatrick Walton2011-05-101-1/+1
|
* Alias-ify fold and its users, remove another 85kb.Graydon Hoare2011-05-091-3/+3
|
* Rename std modules to be camelcasedMarijn Haverbeke2011-05-061-25/+25
| | | | (Have fun mergining your stuff with this.)
* Consolidating expr_to_str functions.Lindsey Kuper2011-05-051-4/+4
|
* Fixed bug in typeck that wasn't filling in anns for stmtsTim Chevalier2011-04-281-0/+20
| | | | | | | (needed for typestate_check). Also changed a (log; fail) to (log_err; fail) in typestate_check, and added some more logging funs in util.common.
* Support all expression forms in typestateTim Chevalier2011-04-281-0/+32
| | | | | | | | | | | | Added support for self_method, cont, chan, port, recv, send, be, do_while, spawn, and ext; handled break and cont correctly. (However, there are no non-xfailed test cases for ext or spawn in stage0 currently.) Although the standard library compiles and all test cases pass with typestate enabled, I left typestate checking disabled as rustc terminates abnormally when building the standard library if so, even though it does generate code correctly.
* Further work on typestate_checkTim Chevalier2011-04-281-9/+65
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Lots of work on typestate_check, seems to get a lot of the way through checking the standard library. * Added for, for_each, assign_op, bind, cast, put, check, break, and cont. (I'm not sure break and cont are actually handled correctly.) * Fixed side-effect bug in seq_preconds so that unioning the preconditions of a sequence of statements or expressions is handled correctly. * Pass poststate correctly through a stmt_decl. * Handle expr_ret and expr_fail properly (after execution of a ret or fail, everything is true -- this is needed to handle ifs and alts where one branch is a ret or fail) * Fixed bug in set_prestate_ann where a thing that needed to be mutated wasn't getting passed as an alias * Fixed bug in how expr_alt was treated (zero is not the identity for intersect, who knew, right?) * Update logging to reflect log_err vs. log * Fixed find_locals so as to return all local decls and exclude function arguments. * Make union_postconds work on an empty vector (needed to handle empty blocks correctly) * Added _vec.cat_options, which takes a list of option[T] to a list of T, ignoring any Nones * Added two test cases.
* rustc: Pass a "type context" around instead of directly passing the type ↵Patrick Walton2011-04-251-2/+2
| | | | store; prep for removing type annotations
* rustc: Switch @ty.t to ty.t so that we can change it to a uintPatrick Walton2011-04-221-1/+1
|
* rustc: Pass a type store around, which does nothing yetPatrick Walton2011-04-211-2/+2
|
* rustc: Remove all uses of plain_ty() and friends from outside of ty.rsPatrick Walton2011-04-201-1/+1
|
* Handle nested items correctly in typestate_checkTim Chevalier2011-04-191-0/+29
| | | | | | | | | | | | | | | | | | | | | | | | 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
* Make expr_while work in typestate_checkTim Chevalier2011-04-131-2/+2
| | | | | | 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.)
* Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier2011-04-121-0/+43
| | | | | | | | | | | | 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.
* rustc: Add a uint hash functionPatrick Walton2011-04-111-0/+8
|
* Move to single-uint file-position representation.Marijn Haverbeke2011-04-091-2/+1
| | | | | | | | 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.
* Implemented computing prestates and poststates for a few expression forms.Tim Chevalier2011-04-081-0/+12
| | | | | The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable.
* rustc: Mix the bits more when hashing def idsPatrick Walton2011-03-311-9/+8
|
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-251-1/+1
|
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare2011-03-251-1/+1
| | | | | | build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵Graydon Hoare2011-03-251-1/+1
| | | | off src root.
* rustc: Create a crate metadata cachePatrick Walton2011-03-251-0/+8
|
* Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵Graydon Hoare2011-03-161-9/+0
| | | | Tweak std lib vec fns in process.
* rustc: Expose common.def_eq().Patrick Walton2011-03-081-5/+5
|
* Add a type for crate directives, to support intermixing with exprs in crate ↵Graydon Hoare2011-02-231-1/+3
| | | | files.
* Make append take a mutable &. Not even checked at present, tsk tsk.Graydon Hoare2010-10-221-1/+1
|
* Teach trans to allocate, initialize and load from local variables.Graydon Hoare2010-10-191-0/+19
|
* Store items and decls in vecs to preserve input order, index externally. ↵Graydon Hoare2010-10-181-0/+9
| | | | Implement block-local name lookup.
* Encode and decode tag types in dwarf properly. Add list module to std. Shift ↵Graydon Hoare2010-10-151-8/+0
| | | | rustc to use std.util.option. Fix various dependent bugs. Closes #73.
* Add input coordinate tracking to all major rustc ast nodes.Graydon Hoare2010-10-051-0/+1
|
* Teach rustc about phi nodes, block relationships. Translate if- and ↵Graydon Hoare2010-10-041-0/+8
| | | | block-expressions.
* Declare the global and upcall glues as ValueRefs in rustc's trans.Graydon Hoare2010-09-231-0/+5
|
* Begin teaching rustc to parse literals, atoms, stmts, blocks, items, ↵Graydon Hoare2010-09-211-0/+6
| | | | modules, crates.
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare2010-09-201-24/+24
| | | | translate 0-ary constructors as constants. Rustc loses ~300kb.
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare2010-09-091-3/+14
| | | | work, possibly a little bumpy. Changes a lot.
* Add session, span tracking, error reporting, beginning of a function to ↵Graydon Hoare2010-09-011-0/+4
| | | | parse an item to rustc.
* Reinstate commit 9f0eaa65817303b8768c80454734144c176fda43 with sufficient ↵Graydon Hoare2010-08-311-4/+8
| | | | fixes to hopefully not break tinderboxes.
* Revert "More work on lexer.rs: start using keyword hashtable, handle more ↵Patrick Walton2010-08-271-8/+4
| | | | | | lexemes." due to tinderbox bustage This reverts commit 9f0eaa65817303b8768c80454734144c176fda43.
* More work on lexer.rs: start using keyword hashtable, handle more lexemes.Graydon Hoare2010-08-271-4/+8
|
* Expand rustc lexer to do almost-nearly-nontrivial stuff.Graydon Hoare2010-08-201-0/+13
|
* Add mod common to rustc.Graydon Hoare2010-08-181-0/+15
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 19:02:20 +0000