index
:
rust
master
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
comp
/
middle
/
ty.rs
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add a session field to ty_ctxt and change an err to span_err
Tim Chevalier
2011-04-28
1
-2
/
+2
*
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
[next]