aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* rustc: Remove all manual type construction outside ty.rsPatrick Walton2011-04-201-15/+23
* rustc: Remove all uses of plain_ty() and friends from outside of ty.rsPatrick Walton2011-04-201-33/+31
* rustc: Introduce preferred type constructors, which will eventually precomput...Patrick Walton2011-04-201-1/+47
* Small fast-path hack to ty.hash_ty and eq_ty.Graydon Hoare2011-04-191-0/+45
* rustc: Use marijnh's stringifier for type hash and equality, since it's not s...Patrick Walton2011-04-191-2/+9
* rustc: Make structured comparison glue instead of emitting it inlinePatrick Walton2011-04-191-0/+7
* Remove effect system from src.Graydon Hoare2011-04-191-2/+2
* replace error logging with log_err in stdlib and rustcMarijn Haverbeke2011-04-191-7/+8
* add log_err to rustcMarijn Haverbeke2011-04-191-1/+1
* rustc: Make fold_ty no longer use an object; introduce walk_tyPatrick Walton2011-04-151-86/+136
* rustc: Remove generalize_ty. Instead, maintain an explicit type parameter sub...Patrick Walton2011-04-141-93/+222
* rustc: Use union-find for variable substitutionPatrick Walton2011-04-141-48/+103
* rustc: Switch to indices for type parametersPatrick Walton2011-04-121-96/+56
* rustc: Factor out expr_ty() into expr_ann() and expr_ty()Patrick Walton2011-04-111-38/+45
* rustc: Push down types for all expressions; add logic for recv and sendPatrick Walton2011-04-081-0/+2
* Support for self-calls that take arguments.Lindsey Kuper2011-04-071-1/+1
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-061-1/+1
* Last pieces of self-call support.Lindsey Kuper2011-04-051-0/+6
* Make box prefix operator and box type carry mutability flag.Graydon Hoare2011-04-041-2/+2
* Started adding support for typestate checking.Tim Chevalier2011-04-011-7/+7
* rustc: Add a type annotation to tag itemsPatrick Walton2011-03-311-7/+2
* rustc: Make tag_ty_params() and substitute_ty_params() take def ids instead o...Patrick Walton2011-03-311-3/+3
* rustc: Thread an item-to-type mapping throughout the typechecking and transla...Patrick Walton2011-03-301-0/+55
* Beginnings of support for magical self prefix; nothing profound happening yet.Lindsey Kuper2011-03-291-0/+1
* Add expr_spawn, spawn parsing, folding, typechecking, ty_taskBrian Anderson2011-03-281-0/+3
* 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 build...Graydon Hoare2011-03-251-1/+1
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare2011-03-251-1/+1
* rustc: Create a crate metadata cachePatrick Walton2011-03-251-5/+1
* Support for shorter error messages that are aware of objects' cnames.Lindsey Kuper2011-03-221-6/+20
* Add codegen for ports and chansBrian Anderson2011-03-221-0/+6
* Make floating-point operations work (neg, add, sub, mul, div, rem,Tim Chevalier2011-03-211-0/+5
* Started adding support for floating-point type, floating-point literals, and ...Tim Chevalier2011-03-211-0/+3
* Modify native_item_fn to handle trailing linkage names that differ from the i...Graydon Hoare2011-03-201-1/+1
* rustc: Implement "mutable?". Add a test case and XFAIL it in rustboot for now.Patrick Walton2011-03-181-23/+60