Graydon Hoare
|
59bce06a96
|
Expand expr_rec to take its optional trailing 'with' parameter.
|
2011-02-14 15:52:38 -08:00 |
|
Rafael Avila de Espindola
|
bd56dd9f2a
|
Add missing case to unify. This gets hello world to codegen.
|
2011-02-14 11:22:10 -05:00 |
|
Graydon Hoare
|
c9956a65b4
|
Teach ty and typeck about pat_lit.
|
2011-02-10 19:22:30 -08:00 |
|
Rafael Avila de Espindola
|
0d27eb1341
|
Add type checking for native types.
|
2011-02-10 16:22:08 -08:00 |
|
Graydon Hoare
|
9d576993f3
|
Add a fixme for last commit.
|
2011-02-07 14:16:40 -08:00 |
|
Graydon Hoare
|
d7f118135b
|
Iterate type unification to drive the types a bit further down into the leaves of results with residual vars. Cheap but kinda works.
|
2011-02-07 14:11:43 -08:00 |
|
Graydon Hoare
|
70bf54bcac
|
Implement 'else if'
|
2011-02-01 16:23:48 -08:00 |
|
Graydon Hoare
|
8ef22972db
|
Add ty_type.
|
2011-02-01 14:56:21 -08:00 |
|
Graydon Hoare
|
ef50d0e668
|
More work on derived tydescs. Can compile simple tests with generic objects.
|
2011-01-31 18:06:35 -08:00 |
|
Graydon Hoare
|
45fd05ac42
|
Teach ty and typeck about linear for loops.
|
2011-01-20 15:54:38 -08:00 |
|
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 |
|