aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/ty.rs
Commit message (Expand)AuthorAgeFilesLines
* Move all non-decl/non-expr stmts to exprs.Graydon Hoare2011-02-141-0/+6
* Expand expr_rec to take its optional trailing 'with' parameter.Graydon Hoare2011-02-141-1/+1
* Add missing case to unify. This gets hello world to codegen.Rafael Avila de Espindola2011-02-141-0/+1
* Teach ty and typeck about pat_lit.Graydon Hoare2011-02-101-0/+1
* Add type checking for native types.Rafael Avila de Espindola2011-02-101-0/+2
* Add a fixme for last commit.Graydon Hoare2011-02-071-0/+4
* Iterate type unification to drive the types a bit further down into the leave...Graydon Hoare2011-02-071-1/+33
* Implement 'else if'Graydon Hoare2011-02-011-1/+1
* Add ty_type.Graydon Hoare2011-02-011-0/+8
* More work on derived tydescs. Can compile simple tests with generic objects.Graydon Hoare2011-01-311-4/+4
* Teach ty and typeck about linear for loops.Graydon Hoare2011-01-201-0/+1
* Implement dynamic GEP enough to permit expr_field to work on tup(T,T,T).Graydon Hoare2011-01-191-0/+23
* 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 handle...Graydon Hoare2011-01-131-11/+14
* Figure out what tydescs we need to pass when translating parametric function ...Patrick Walton2011-01-121-0/+44
* rustc: Allow the type unification handler to handle both expected and actual ...Patrick Walton2011-01-041-4/+8
* 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