Graydon Hoare
|
9d3ebd6a57
|
Implement dynamic GEP enough to permit expr_field to work on tup(T,T,T).
|
2011-01-19 16:29:14 -08:00 |
|
Graydon Hoare
|
9cc00d5f6c
|
Fix bug (I think) when unifying ty_local and ty_param.
|
2011-01-18 17:18:51 -08:00 |
|
Graydon Hoare
|
3a920e7ca8
|
Fix missing case in ty.
|
2011-01-17 17:24:47 -08:00 |
|
Graydon Hoare
|
f3c3fc0353
|
Change single-ident expr_ident to greedy/fat multi-ident expr_path, to handle the module-path/value-indexing distinction.
|
2011-01-13 17:42:28 -08:00 |
|
Patrick Walton
|
2aa36777f1
|
Figure out what tydescs we need to pass when translating parametric function calls
|
2011-01-12 11:05:38 -08:00 |
|
Patrick Walton
|
b7d2fe57cf
|
rustc: Allow the type unification handler to handle both expected and actual param types
|
2011-01-04 16:53:28 -08:00 |
|
Patrick Walton
|
29fb238a39
|
rustc: Add an item type accessor
|
2011-01-04 12:46:11 -08:00 |
|
Graydon Hoare
|
771d76e552
|
Add type accessors for fn types.
|
2011-01-03 18:22:39 -08:00 |
|
Graydon Hoare
|
065542378c
|
Teach ty.unify about ty_obj.
|
2010-12-31 10:26:29 -08:00 |
|
Graydon Hoare
|
aa1d8d0768
|
Move unify_fn logic out-of-line.
|
2010-12-31 09:48:54 -08:00 |
|
Patrick Walton
|
daac7a8b13
|
rustc: Add a type_has_dynamic_size predicate
|
2010-12-22 18:02:48 -08:00 |
|
Patrick Walton
|
0411132679
|
rustc: Move unification out of typeck.rs; trans will need it too.
|
2010-12-21 17:47:13 -08:00 |
|
Patrick Walton
|
744b164b7d
|
rustc: Move type logic out of typeck so trans doesn't look like it's calling into typeck
|
2010-12-21 16:24:17 -08:00 |
|