mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,314 Commits 2 Branches 0 Tags 1.4 GiB
ea42911561
Commit Graph

463 Commits

Author SHA1 Message Date
Rafael Ávila de Espíndola
57b281533d Some misc cleanups: 
* Remove unused argument
* Move option.t wrapping to outer functions.
 2011-01-17 14:58:18 -05:00
Graydon Hoare
4b8779ea95 Pass tydescs to parametric fns, along with (dummy, presently) retptr when needed. Can call simple parametric fn now. 2011-01-14 16:50:37 -08:00
Rafael Ávila de Espíndola
5b9eda4a41 Fix the import handling in "complex" cases. When looking a.b.c and 'a' is a 
module, we should look for 'b' *just* in the module 'a' and then continue
resolving b.c in the environment created by updating *with* a.

Still not 100% correct, but getting there.
 2011-01-14 17:34:00 -05:00
Graydon Hoare
c8a2c44a8e Expand generic info in lval_result. 2011-01-14 14:17:57 -08:00
Graydon Hoare
bc416284ac Trim long lines. 2011-01-14 13:59:35 -08:00
Graydon Hoare
b039be1e5c Pass tydescs to parametric fns. 2011-01-14 13:58:19 -08:00
Rafael Ávila de Espíndola
bdcb9d9b53 Make lookup non recursive and instead move the recursion just to 
find_final_def. Use the fact that the recursion is in a simpler function to
detected import loops and exit.
 2011-01-14 11:10:06 -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
Rafael Ávila de Espíndola
c1f2e29596 Produce better errors for invalid imports. 2011-01-12 12:27:31 -08:00
Rafael Ávila de Espíndola
c489abedb4 Call find_final_def directly in fold_view_item_import. It is both cleaner and 
faster.
 2011-01-12 12:26:59 -08:00
Rafael Ávila de Espíndola
359d72b4d0 Change mod_index_entry to point directly to items and view_items. 2011-01-12 12:26:23 -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
Rafael Ávila de Espíndola
34643eeac8 Fix another import case we got wrong: The local environment should not 
interfere with the import statements.
 2011-01-11 13:59:52 -08:00
Rafael Ávila de Espíndola
c5a766f133 Fix two invalid import cases we were not detecting: 
* If an import was unused we would never print any errors for it.
* We would keep the existing environment in scope when descending 'foo.bar'
  and would find 'bar' in the global environment if there was no 'bar' in
  'foo'.
 2011-01-11 13:58:39 -08:00
Graydon Hoare
a8eeec1dbd Sketch support for reading multi-file crates in rustc. Add test, not yet working. 2011-01-10 18:18:16 -08:00
Graydon Hoare
3b0e207109 Drop closures. Un-XFAIL bind-interior.rs. 2011-01-07 16:26:30 -08:00
Rafael Ávila de Espíndola
2fb09eb585 Add sufficient import support to compile some simple single-crate programs. 
This is likely not the final solution. It does repetitive work and doesn't produce
errors for invalid but unused imports. In any case, I think it is a useful step.
 2011-01-07 15:17:18 -08:00
Graydon Hoare
3c61793b5a Synthesize closure thunks, and pass closure pointer into fn calls. 2011-01-07 15:12:23 -08:00
Graydon Hoare
27b4c3f962 Whitespace cleanup, and copy target into closure. 2011-01-06 12:55:27 -08:00
Rafael Ávila de Espíndola
fb8eff95e2 Add the boilerplate for folding view items. 2011-01-06 11:26:29 -05:00
Graydon Hoare
62c79fb216 Sketch closure-forming logic for nontrivial bindings. 2011-01-05 18:57:28 -08:00
Graydon Hoare
f3f63da7c8 Translate trivial bindings. Un-XFAIL bind-trivial.rs. 2011-01-05 16:06:01 -08:00
Graydon Hoare
5d2a6c73ca Use uniform pair representation of functions everywhere, including static functions. 2011-01-05 15:31:35 -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
Graydon Hoare
116dd9e338 Correct function pointer type in closure. 2011-01-04 15:29:38 -08:00
Graydon Hoare
2ec0b724c4 Merge remote branch 'espindola/import' 2011-01-04 15:07:38 -08:00
Rafael Ávila de Espíndola
7c8f99fdc1 Add names from imports to the namespace. 2011-01-04 17:58:10 -05:00
Patrick Walton
29fb238a39 rustc: Add an item type accessor 2011-01-04 12:46:11 -08:00
Rafael Ávila de Espíndola
e0fe271d34 Add support for looking up a name introduced by a 'use'. 
With this we go from "error: unresolved name: foo" to
"unimplemented definition variant for: foo" in

use foo;
fn main(vec[str] args) {
   foo.bar();
}
 2011-01-04 11:35:13 -05:00
Rafael Ávila de Espíndola
5fd3d2ca55 Refactor the view_item code so that it is similar to the code used for 
parsing regular items.
 2011-01-04 11:34:05 -05:00
Rafael Ávila de Espíndola
35c745da03 Rename use_or_import to view_item. 2011-01-04 11:23:56 -05:00
Graydon Hoare
cfb97b3393 Begin sketching translation of bind_expr. No captures yet, also crashy. 2011-01-03 22:39:43 -08:00
Graydon Hoare
d1517471fb Split driver between parsing source files and crate files, by extension. Add dummy function for crate files. 2011-01-03 20:41:11 -08:00
Graydon Hoare
546f1e98cb Typecheck expr_bind. 2011-01-03 18:22:56 -08:00
Graydon Hoare
771d76e552 Add type accessors for fn types. 2011-01-03 18:22:39 -08:00
Graydon Hoare
0040a31076 Fix fold bug on expr_bind. 2011-01-03 18:22:27 -08:00
Graydon Hoare
019095c9e6 Actually return the correct node from the parser. 2011-01-03 16:18:25 -08:00
Graydon Hoare
2100aceabf Remove missed debug chatter. 2011-01-03 15:06:19 -08:00
Graydon Hoare
0a2e7f2149 Add restricted-parse mode, and parse bind expressions. 2010-12-31 17:28:43 -08:00
Graydon Hoare
10a130e6c1 Translate local item decls. 2010-12-31 15:16:11 -08:00
Graydon Hoare
1b0da12fe8 Update method-fold env with fake item_fn representing the method. 2010-12-31 15:05:22 -08:00
Graydon Hoare
ad889ba3ae Change resolve errs to span_errs. 2010-12-31 14:43:43 -08:00
Graydon Hoare
b42f49bf99 Parse local item decls. 2010-12-31 14:33:49 -08:00
Graydon Hoare
53d5b11208 Index tag and obj items in decl stmts. 2010-12-31 14:18:19 -08:00
Graydon Hoare
bd536ba85f Free objects by indirectly dropping fields via enclosed tydesc first. 2010-12-31 13:01:45 -08:00
Graydon Hoare
f072718cfe Replace arg Load with load_non_structural in obj ctor. 2010-12-31 12:20:18 -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
Graydon Hoare
91809a17ac Teach typeck.ast_ty_to_ty about ty_obj. 2010-12-30 17:46:56 -08:00
Graydon Hoare
a99713265b Teach fold about ty_obj. 2010-12-30 17:46:35 -08:00
Graydon Hoare
1f2585f479 Teach trans to access object fields. 2010-12-30 17:01:20 -08:00
Graydon Hoare
9676fb2d0a Assign method types properly by sorted-order. 2010-12-30 17:00:59 -08:00
Graydon Hoare
153efb58bc Teach typeck to check obj field accesses. 2010-12-30 15:28:19 -08:00
Graydon Hoare
bc9db2e972 Teach resolve to find obj fields and ty params from methods. 2010-12-30 15:27:52 -08:00
Graydon Hoare
a9d03dd1a2 Add def id to ast for obj fields. 2010-12-30 15:27:19 -08:00
Rafael Ávila de Espíndola
09ef31caa0 Record the ast of uses and imports. 2010-12-30 11:21:37 -05:00
Patrick Walton
a634b21563 rustc: Make parametric return types go through an out pointer 2010-12-29 19:08:35 -05:00
Rafael Ávila de Espíndola
2c6dd18224 Add a -shared option to rustc and don't try to look for main if it is given. 2010-12-29 11:21:16 -05:00
Rafael Ávila de Espíndola
f900792fa3 Parse 'import' directives in rustc. 2010-12-24 21:06:14 -08:00
Rafael Ávila de Espíndola
8d2fdac93b Parse 'use' directives in rustc. 2010-12-24 17:03:46 -08:00
Graydon Hoare
5c7cd6419c Modify translation of obj methods to accept an initial recursive-self-typed (in the LLVM sense) obj argument. 2010-12-23 17:31:16 -08:00
Graydon Hoare
f2195d8b0a Print recursive LLVM types. 2010-12-23 17:05:27 -08:00
Patrick Walton
daac7a8b13 rustc: Add a type_has_dynamic_size predicate 2010-12-22 18:02:48 -08:00
Graydon Hoare
3f3a121043 Copy body tydesc and args into obj bodies. 2010-12-22 16:09:59 -08:00
Graydon Hoare
a2a642c17a Correct bug in typechecking ctor arguments to nonempty objects. 2010-12-22 13:57:18 -08:00
Graydon Hoare
ac270fc854 Allocate heap cells to store non-empty object bodies. 2010-12-22 13:56:51 -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
e06263ff4b rustc: Reference count the function context in typechecking so that passing it around via objects isn't as costly 2010-12-21 17:27:29 -08:00
Graydon Hoare
3504f4a4bf Sort methods in object types. 2010-12-21 16:43:28 -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
Patrick Walton
b9286a7179 rustc: Sanitize names better. Puts out burning tinderbox on OS X. 2010-12-20 19:52:14 -08:00
Patrick Walton
5cbf8889d0 rustc: Add bind expressions to the AST 2010-12-20 18:58:18 -08:00
Graydon Hoare
ed1dddc33f Null-check on obj box ptr, init to null. Un-XFAIL simple-obj.rs. 2010-12-20 17:28:07 -08:00
Graydon Hoare
399929ba0b Support ty_obj in trans_field; simple-obj.rs compiles (but crashes). 2010-12-20 16:48:28 -08:00
Graydon Hoare
86188da348 Mop up cases of s/copy/take/, remove 'binding' terminology, whitespace police, and make obj/fn structural. 2010-12-20 16:26:38 -08:00
Patrick Walton
e70c695ab9 rustc: Use the passed-in tydescs for take and drop glue in parametric fns. Also fix a level-of-indirection problem with tydesc params. 2010-12-20 15:23:24 -08:00
Patrick Walton
194d7844ea rustc: Print the type when we die in trans.make_drop_glue_inner 2010-12-20 14:44:04 -08:00
Patrick Walton
9fb2284600 rustc: Add a type param ID -> type descriptor mapping to function contexts 2010-12-20 14:35:04 -08:00
Graydon Hoare
7bd30f83e1 Put out burning tree (sizeof / alignof bug). 2010-12-20 12:54:50 -08:00
Graydon Hoare
490da3564b Use gvars for vtbls rather than returning const immediates. 2010-12-20 11:41:32 -08:00
Graydon Hoare
6a8518c97b Trailing whitespace police. 2010-12-20 11:41:32 -08:00
Patrick Walton
a7e9984999 rustc: Build tydescs for types, and make all take and drop operations go through the tydescs for simplicity (LLVM inlines them). 2010-12-20 10:23:37 -08:00
Patrick Walton
ad5e920276 rustc: Remove the unused "name" parameter from trans.new_builder 2010-12-17 18:42:15 -08:00
Patrick Walton
9b56b79296 rustc: Make some no-op take and drop glue for scalar types 2010-12-17 18:40:24 -08:00
Graydon Hoare
01bcb1d10e Split part of typeck.check_fn out into typeck.check_item_fn, then check all fns, including obj fns. 2010-12-17 18:25:14 -08:00
Patrick Walton
7210a31e2a rustc: Make all drop and take glue have the same signature, so we can put them in tydescs 2010-12-17 18:20:51 -08:00
Graydon Hoare
b00abd04e2 Record type annotations for methods. 2010-12-17 17:52:25 -08:00
Patrick Walton
c44c7c5ab3 rustc: Zero out slots after dropping them 2010-12-17 17:21:56 -08:00
Graydon Hoare
56e040e61a Trans methods more correctly, and store vtbl pointer in pair returned from obj ctor. 2010-12-17 00:31:41 -08:00
Graydon Hoare
62d62ce4da Remove calltup fields from ABI, add binding fields. 2010-12-16 23:26:07 -08:00
Graydon Hoare
a3f828f941 Sketch trans_vtbl. 2010-12-16 18:34:04 -08:00
Patrick Walton
bfdba2dbcc rustc: Translate parametric function signatures into task + type parameters + formal arguments 2010-12-16 16:35:19 -08:00
Graydon Hoare
31f0642da3 Stub out translation of obj ctors (no vtbl or body built). 2010-12-16 15:55:28 -08:00
Patrick Walton
51782d2c21 rustc: Add a type fold mechanism to the typechecker 2010-12-16 15:13:04 -08:00
Patrick Walton
a6c6e8679e rustc: Only generalize on definition types that can actually be parametric 2010-12-16 13:59:20 -08:00
Patrick Walton
680e858d61 rustc: Write types back when typechecking "ret" statements 2010-12-16 12:25:39 -08:00
Patrick Walton
13b889287b rustc: Make trans.type_of handle parameter types 2010-12-16 12:23:48 -08:00
Patrick Walton
e6908a66ec rustc: Infer the types of type-parametric functions 2010-12-16 11:12:45 -08:00
Graydon Hoare
9759d1e08a Annotate obj items while folding ast in typeck. 2010-12-16 10:34:54 -08:00
Graydon Hoare
7d2feae857 Collect obj items, translate obj-name references and obj-ctor types. 2010-12-16 10:23:47 -08:00