| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Use cnames when present in ty.ty_to_str. | Graydon Hoare | 2011-04-27 | 1 | -10/+10 |
| * | rustc: Cap ridiculous type name sizes | Patrick Walton | 2011-04-26 | 1 | -1/+3 |
| * | A little more guarding against wasted work in ty, typeck. | Graydon Hoare | 2011-04-25 | 1 | -2/+11 |
| * | rustc: Use the abbreviated type names to avoid LLVM bitcode size explosion | Patrick Walton | 2011-04-25 | 1 | -0/+6 |
| * | Kick ty_var and ty_local entries out of the type store. Pre-compute presence ... | Graydon Hoare | 2011-04-25 | 1 | -66/+176 |
| * | rustc: Pass a "type context" around instead of directly passing the type stor... | Patrick Walton | 2011-04-25 | 1 | -281/+269 |
| * | Avoid type_store hashtable access for a variety of cases, probably only ty_va... | Graydon Hoare | 2011-04-25 | 1 | -19/+128 |
| * | Skip substitution and/or binding when there's no work to do. | Graydon Hoare | 2011-04-25 | 1 | -0/+34 |
| * | rustc: Use a silly "magic numbers" hack; seems to speed things up a bit. | Patrick Walton | 2011-04-22 | 1 | -2/+41 |
| * | rustc: Include the cname in the hash to increase entropy | Patrick Walton | 2011-04-22 | 1 | -1/+10 |
| * | rustc: Thread the type store through everything that needs to access type str... | Patrick Walton | 2011-04-22 | 1 | -147/+151 |
| * | rustc: Remove direct access to the cname field of types | Patrick Walton | 2011-04-22 | 1 | -4/+7 |
| * | rustc: Switch @ty.t to ty.t so that we can change it to a uint | Patrick Walton | 2011-04-22 | 1 | -172/+173 |
| * | rustc: Eliminate the direct use of ty.t.struct | Patrick Walton | 2011-04-22 | 1 | -51/+57 |
| * | rustc: Add a fast path when the types to be unified are exactly equal | Patrick Walton | 2011-04-22 | 1 | -0/+3 |
| * | rustc: Add a fast path if there are no type substitutions to be made | Patrick Walton | 2011-04-22 | 1 | -2/+8 |
| * | rustc: Improve the efficiency of lookup_item_type() slightly | Patrick Walton | 2011-04-22 | 1 | -7/+7 |
| * | rustc: Intern types | Patrick Walton | 2011-04-21 | 1 | -327/+67 |
| * | rustc: Add a shallow type equality function, not used yet | Patrick Walton | 2011-04-21 | 1 | -0/+321 |
| * | rustc: Pass a type store around, which does nothing yet | Patrick Walton | 2011-04-21 | 1 | -98/+155 |
| * | 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 | 1 | -33/+35 |
| * | Change ty.eq_ty to avoid stringification. | Graydon Hoare | 2011-04-21 | 1 | -43/+304 |
| * | rustc: Define type hashing inductively | Patrick Walton | 2011-04-20 | 1 | -12/+97 |
| * | rustc: Precompute type hashes | Patrick Walton | 2011-04-20 | 1 | -39/+51 |
| * | rustc: Remove all manual type construction outside ty.rs | Patrick Walton | 2011-04-20 | 1 | -15/+23 |
| * | rustc: Remove all uses of plain_ty() and friends from outside of ty.rs | Patrick Walton | 2011-04-20 | 1 | -33/+31 |
| * | rustc: Introduce preferred type constructors, which will eventually precomput... | Patrick Walton | 2011-04-20 | 1 | -1/+47 |
| * | Small fast-path hack to ty.hash_ty and eq_ty. | Graydon Hoare | 2011-04-19 | 1 | -0/+45 |
| * | rustc: Use marijnh's stringifier for type hash and equality, since it's not s... | Patrick Walton | 2011-04-19 | 1 | -2/+9 |
| * | rustc: Make structured comparison glue instead of emitting it inline | Patrick Walton | 2011-04-19 | 1 | -0/+7 |
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -2/+2 |
| * | replace error logging with log_err in stdlib and rustc | Marijn Haverbeke | 2011-04-19 | 1 | -7/+8 |
| * | add log_err to rustc | Marijn Haverbeke | 2011-04-19 | 1 | -1/+1 |
| * | rustc: Make fold_ty no longer use an object; introduce walk_ty | Patrick Walton | 2011-04-15 | 1 | -86/+136 |
| * | rustc: Remove generalize_ty. Instead, maintain an explicit type parameter sub... | Patrick Walton | 2011-04-14 | 1 | -93/+222 |
| * | rustc: Use union-find for variable substitution | Patrick Walton | 2011-04-14 | 1 | -48/+103 |
| * | rustc: Switch to indices for type parameters | Patrick Walton | 2011-04-12 | 1 | -96/+56 |
| * | rustc: Factor out expr_ty() into expr_ann() and expr_ty() | Patrick Walton | 2011-04-11 | 1 | -38/+45 |
| * | rustc: Push down types for all expressions; add logic for recv and send | Patrick Walton | 2011-04-08 | 1 | -0/+2 |
| * | Support for self-calls that take arguments. | Lindsey Kuper | 2011-04-07 | 1 | -1/+1 |
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -1/+1 |
| * | Last pieces of self-call support. | Lindsey Kuper | 2011-04-05 | 1 | -0/+6 |
| * | Make box prefix operator and box type carry mutability flag. | Graydon Hoare | 2011-04-04 | 1 | -2/+2 |
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -7/+7 |
| * | rustc: Add a type annotation to tag items | Patrick Walton | 2011-03-31 | 1 | -7/+2 |
| * | rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead o... | Patrick Walton | 2011-03-31 | 1 | -3/+3 |
| * | rustc: Thread an item-to-type mapping throughout the typechecking and transla... | Patrick Walton | 2011-03-30 | 1 | -0/+55 |
| * | Beginnings of support for magical self prefix; nothing profound happening yet. | Lindsey Kuper | 2011-03-29 | 1 | -0/+1 |
| * | Add expr_spawn, spawn parsing, folding, typechecking, ty_task | Brian Anderson | 2011-03-28 | 1 | -0/+3 |