aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
Commit message (Expand)AuthorAgeFilesLines
* Keep resolve data in external hash table, rather than embedded defsMarijn Haverbeke2011-05-121-6/+8
* Ensure ann tags are actually kept around during typecheckingMarijn Haverbeke2011-05-121-22/+25
* rustc: Represent types as uints. Cuts typechecking down from 14s to 12s.Patrick Walton2011-05-111-148/+143
* rustc: Remove a few kludges intended to work around rustboot's lack of struct...Patrick Walton2011-05-111-74/+4
* rustc: Remove magic numbers; they aren't a winPatrick Walton2011-05-111-40/+3
* rustc: Intern all types. 4s regression.Patrick Walton2011-05-111-17/+1
* rustc: Lower the size limit on ty_to_short_str() and always call it in favor ...Patrick Walton2011-05-101-1/+1
* rustc: Number everything with an annotationPatrick Walton2011-05-101-4/+4
* rustc: Cache intermediate results of metadata.Encode.ty_str. Shaves 30% off t...Patrick Walton2011-05-101-2/+5
* Alias-ify walk, typeck, metadata. Cuts another 80kb off rustc.Graydon Hoare2011-05-091-1/+1
* rustc: Alias fix part 2 -- Check that the aliasness of function parameters ma...Patrick Walton2011-05-091-6/+9
* Alias-ify a variety of fn signatures in ty. Cuts 180kb off rustc.Graydon Hoare2011-05-091-112/+114
* rustc: Alias fix part 1 -- Separate out AST modes from typechecker modes, and...Patrick Walton2011-05-091-37/+18
* Rename std modules to be camelcasedMarijn Haverbeke2011-05-061-96/+96
* Consolidating expr_to_str functions.Lindsey Kuper2011-05-051-1/+1
* rustc: Fix bug in equal_abi that was preventing Rust intrinsics from workingPatrick Walton2011-05-051-0/+6
* Remove 'deprecated mutable...' from our codeMarijn Haverbeke2011-05-051-6/+6
* rustc: Refactor metadata.Encode.* to not require a type abbreviation table if...Patrick Walton2011-05-031-3/+2
* rustc: Remove the artificial block in ty.rs. Fixes self-hosting. Add a test c...Patrick Walton2011-05-021-1/+1
* Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton2011-05-021-67/+120
* Revert "Use different syntax for checks that matter to typestate"Graydon Hoare2011-05-021-120/+67
* Use different syntax for checks that matter to typestateTim Chevalier2011-05-021-67/+120
* Intern metadata while writing, shrink stage1 from 12mb to 5.7mb.Graydon Hoare2011-04-291-4/+26
* Consider unop deref as an lval. Un-XFAIL vec-push.Graydon Hoare2011-04-281-0/+1
* Add a session field to ty_ctxt and change an err to span_errTim Chevalier2011-04-281-2/+2
* Use cnames when present in ty.ty_to_str.Graydon Hoare2011-04-271-10/+10
* rustc: Cap ridiculous type name sizesPatrick Walton2011-04-261-1/+3
* A little more guarding against wasted work in ty, typeck.Graydon Hoare2011-04-251-2/+11
* rustc: Use the abbreviated type names to avoid LLVM bitcode size explosionPatrick Walton2011-04-251-0/+6
* Kick ty_var and ty_local entries out of the type store. Pre-compute presence ...Graydon Hoare2011-04-251-66/+176
* rustc: Pass a "type context" around instead of directly passing the type stor...Patrick Walton2011-04-251-281/+269
* Avoid type_store hashtable access for a variety of cases, probably only ty_va...Graydon Hoare2011-04-251-19/+128
* Skip substitution and/or binding when there's no work to do.Graydon Hoare2011-04-251-0/+34
* rustc: Use a silly "magic numbers" hack; seems to speed things up a bit.Patrick Walton2011-04-221-2/+41
* rustc: Include the cname in the hash to increase entropyPatrick Walton2011-04-221-1/+10
* rustc: Thread the type store through everything that needs to access type str...Patrick Walton2011-04-221-147/+151
* rustc: Remove direct access to the cname field of typesPatrick Walton2011-04-221-4/+7
* rustc: Switch @ty.t to ty.t so that we can change it to a uintPatrick Walton2011-04-221-172/+173
* rustc: Eliminate the direct use of ty.t.structPatrick Walton2011-04-221-51/+57
* rustc: Add a fast path when the types to be unified are exactly equalPatrick Walton2011-04-221-0/+3
* rustc: Add a fast path if there are no type substitutions to be madePatrick Walton2011-04-221-2/+8
* rustc: Improve the efficiency of lookup_item_type() slightlyPatrick Walton2011-04-221-7/+7
* rustc: Intern typesPatrick Walton2011-04-211-327/+67
* rustc: Add a shallow type equality function, not used yetPatrick Walton2011-04-211-0/+321
* rustc: Pass a type store around, which does nothing yetPatrick Walton2011-04-211-98/+155
* rustc: Create a unification contextPatrick Walton2011-04-211-99/+75
* rustc: Move ty.unify to a separate namespacePatrick Walton2011-04-211-33/+35
* Change ty.eq_ty to avoid stringification.Graydon Hoare2011-04-211-43/+304
* rustc: Define type hashing inductivelyPatrick Walton2011-04-201-12/+97
* rustc: Precompute type hashesPatrick Walton2011-04-201-39/+51