Patrick Walton
|
b4d6589e73
|
Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs.
|
2011-02-23 17:08:02 -08:00 |
|
Rafael Ávila de Espíndola
|
6849abcf7d
|
Handle the new ty_native_fn in type check.
|
2011-02-23 11:59:07 -05:00 |
|
Graydon Hoare
|
34c60b6edb
|
Make a tag for iterness / fnness, teach many places about it.
|
2011-02-18 17:30:57 -08:00 |
|
Patrick Walton
|
3aba50ff33
|
Implement Robinson's algorithm for type unification. Closes #227.
|
2011-02-18 14:52:33 -08:00 |
|
Patrick Walton
|
10befcd9a4
|
Add type parameters to tag types
|
2011-02-17 16:23:31 -08:00 |
|
Rafael Avila de Espindola
|
07c7888037
|
Don't add the rust arguments to native functions. We now produce the
correct arguments for native functions.
|
2011-02-16 16:16:11 -05:00 |
|
Rafael Avila de Espindola
|
293637139f
|
Add missing case to ty_to_str.
Disable test that now fails because we produce undefined references to the
native functions.
|
2011-02-16 15:00:40 -05:00 |
|
Rafael Avila de Espindola
|
012fa69ea5
|
More typechecking for native types and the needed plumbing in codegen.
|
2011-02-16 14:02:02 -05:00 |
|
Graydon Hoare
|
4a72a23171
|
Add basic front-end support for 'for each' loops.
|
2011-02-14 18:17:31 -08:00 |
|
Graydon Hoare
|
15a01f5c36
|
Add basic front-end support for expr_put.
|
2011-02-14 17:58:32 -08:00 |
|
Graydon Hoare
|
f1f33abdeb
|
Move all non-decl/non-expr stmts to exprs.
|
2011-02-14 17:46:28 -08:00 |
|
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 |
|