aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix bug (I think) when unifying ty_local and ty_param.Graydon Hoare2011-01-181-1/+13
|
* Fix missing case in ty.Graydon Hoare2011-01-171-0/+5
|
* Change single-ident expr_ident to greedy/fat multi-ident expr_path, to ↵Graydon Hoare2011-01-131-11/+14
| | | | handle the module-path/value-indexing distinction.
* Figure out what tydescs we need to pass when translating parametric function ↵Patrick Walton2011-01-121-0/+44
| | | | calls
* rustc: Allow the type unification handler to handle both expected and actual ↵Patrick Walton2011-01-041-4/+8
| | | | param types
* rustc: Add an item type accessorPatrick Walton2011-01-041-0/+38
|
* Add type accessors for fn types.Graydon Hoare2011-01-031-0/+24
|
* Teach ty.unify about ty_obj.Graydon Hoare2010-12-311-0/+83
|
* Move unify_fn logic out-of-line.Graydon Hoare2010-12-311-59/+72
|
* rustc: Add a type_has_dynamic_size predicatePatrick Walton2010-12-221-0/+21
|
* rustc: Move unification out of typeck.rs; trans will need it too.Patrick Walton2010-12-211-0/+425
|
* rustc: Move type logic out of typeck so trans doesn't look like it's calling ↵Patrick Walton2010-12-211-0/+588
into typeck