aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/typeck.rs
Commit message (Expand)AuthorAgeFilesLines
* rustc: Write nil types into the node type table wherever plain_ann() is usedHEADmasterPatrick Walton2011-05-131-38/+94
* 'with' no longer a token; whitespace police.Lindsey Kuper2011-05-131-9/+9
* More anon obj work; whitespace police in middle::foldLindsey Kuper2011-05-131-1/+13
* More work toward anonymous objects.Lindsey Kuper2011-05-131-6/+9
* rustc: Move replace_expr_type() from ty to typeck, as it's only used in the l...Patrick Walton2011-05-131-1/+52
* rustc: Fix long lines in typeck.rsBrian Anderson2011-05-131-1/+2
* rustc: Write types contained in "trivial annotations" to the tablePatrick Walton2011-05-131-45/+135
* rustc: Change ty::triv_ann() to take a node ID instead of a full annotationPatrick Walton2011-05-131-83/+116
* rustc: Add write_type() wherever ann_types are written, except for triv_ann()Patrick Walton2011-05-131-14/+42
* rustc: Fix the type of node_types; stub the write_type functionPatrick Walton2011-05-131-6/+14
* rustc: Remove a minor rustboot workaround in typeck::resolve_local_types_in_b...Patrick Walton2011-05-131-9/+4
* rustc: Make typeck::instantiate_path() not return an annotationPatrick Walton2011-05-131-9/+16
* rustc: Pass a node type table around, unused as of yetPatrick Walton2011-05-121-87/+112
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-121-1003/+1014
* Keep resolve data in external hash table, rather than embedded defsMarijn Haverbeke2011-05-121-23/+32
* Ensure ann tags are actually kept around during typecheckingMarijn Haverbeke2011-05-121-155/+165
* Get rid of arm indicesMarijn Haverbeke2011-05-111-3/+2
* Get rid of block indicesMarijn Haverbeke2011-05-111-2/+0
* rustc: Number everything with an annotationPatrick Walton2011-05-101-4/+4
* Fix long lines in fold.rs, typeck.rsBrian Anderson2011-05-091-1/+2
* Alias-ify fold and its users, remove another 85kb.Graydon Hoare2011-05-091-39/+38
* Alias-ify walk, typeck, metadata. Cuts another 80kb off rustc.Graydon Hoare2011-05-091-70/+72
* rustc: Alias fix part 2 -- Check that the aliasness of function parameters ma...Patrick Walton2011-05-091-4/+2
* rustc: Alias fix part 1 -- Separate out AST modes from typechecker modes, and...Patrick Walton2011-05-091-9/+22
* Rename std modules to be camelcasedMarijn Haverbeke2011-05-061-88/+88
* Consolidating expr_to_str functions.Lindsey Kuper2011-05-051-4/+2
* Enforce in typechecker that preds return a boolTim Chevalier2011-05-051-0/+11
* Bring back "pred" syntax for writing predicates for checkTim Chevalier2011-05-051-4/+108
* Check well-formedness of constraintsTim Chevalier2011-05-051-6/+23
* Check that the operand in a check is a callTim Chevalier2011-05-051-7/+18
* Remove 'deprecated mutable...' from our codeMarijn Haverbeke2011-05-051-6/+6
* Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton2011-05-021-16/+30
* Revert "Use different syntax for checks that matter to typestate"Graydon Hoare2011-05-021-30/+16
* Use different syntax for checks that matter to typestateTim Chevalier2011-05-021-16/+30
* Add a session field to ty_ctxt and change an err to span_errTim Chevalier2011-04-281-8/+14
* Fixed bug in typeck that wasn't filling in anns for stmtsTim Chevalier2011-04-281-3/+6
* rustc: Add a missing return value to Collect.ty_of_item()Patrick Walton2011-04-251-1/+3
* A little more guarding against wasted work in ty, typeck.Graydon Hoare2011-04-251-0/+8
* rustc: Pass a "type context" around instead of directly passing the type stor...Patrick Walton2011-04-251-264/+241
* Avoid type_store hashtable access for a variety of cases, probably only ty_va...Graydon Hoare2011-04-251-26/+40
* rustc: Thread the type store through everything that needs to access type str...Patrick Walton2011-04-221-54/+60
* rustc: Switch @ty.t to ty.t so that we can change it to a uintPatrick Walton2011-04-221-86/+86
* rustc: Eliminate the direct use of ty.t.structPatrick Walton2011-04-221-26/+27
* rustc: Intern typesPatrick Walton2011-04-211-2/+4
* rustc: Pass a type store around, which does nothing yetPatrick Walton2011-04-211-211/+276
* rustc: Get rid of boring_ann(); it duplicates plain_ann()Patrick Walton2011-04-211-17/+14
* rustc: Move ty.unify to a separate namespacePatrick Walton2011-04-211-13/+15
* rustc: Create an item collection context during typechecking; move collection...Patrick Walton2011-04-201-170/+136
* rustc: Add a type unification cachePatrick Walton2011-04-201-3/+63
* rustc: Remove all manual type construction outside ty.rsPatrick Walton2011-04-201-26/+29