Commit Graph

1661 Commits

Author SHA1 Message Date
Patrick Walton
da9ea9ab69 rustc: Move type parameter resolution from translation into the typechecker 2011-03-08 14:55:39 -08:00
Patrick Walton
16344a0145 rustc: Re-XFAIL rec-extend.rs. The typechecker never assigned the path expr a type. 2011-03-08 14:50:50 -08:00
Graydon Hoare
27547c6514 Revert "Move the glue asm code to a .o file. This reduces how much asm we print"
This reverts commit 55c80e763b.
2011-03-08 13:20:16 -08:00
Rafael Ávila de Espíndola
55c80e763b Move the glue asm code to a .o file. This reduces how much asm we print
in each "translation unit".
2011-03-08 13:08:31 -08:00
Patrick Walton
35bee753de rustc: Pass explicit type substitutions to later passes 2011-03-08 13:00:31 -08:00
Patrick Walton
4654faa67c rustc: Add a slot for explicit type parameter instantations to the typechecker's AST annotation 2011-03-08 12:42:56 -08:00
Patrick Walton
e2f6f19fc8 rustc: Rework type substitution to pair up type parameter IDs with the supplied type parameter instantiations explicitly 2011-03-08 12:19:37 -08:00
Patrick Walton
51be50490e rustc: Expose common.def_eq(). 2011-03-08 11:59:38 -08:00
Patrick Walton
473a242525 rustc: Store type parameter definition IDs instead of type parameter counts in the typechecker 2011-03-08 11:27:36 -08:00
Patrick Walton
0054efc412 rustc: Store the number of type parameters per item, which will be needed to get unused type params working 2011-03-08 10:57:40 -08:00
Brian Anderson
5aabe7e84f Add partial pretty-printing for syntax extensions 2011-03-07 22:06:26 -05:00
Brian Anderson
fa2525a7bd Remove old pretty-printer from rustc 2011-03-07 22:06:07 -05:00
Brian Anderson
5ba012f4a5 Add missing alt arm to expr_if pretty-printer 2011-03-07 22:05:55 -05:00
Brian Anderson
9fc4db6b89 Merge branch 'master' into recursive-elseif
Conflicts:

	src/Makefile
	src/comp/front/ast.rs
	src/comp/front/parser.rs
	src/comp/middle/fold.rs
	src/comp/middle/trans.rs
2011-03-07 21:21:01 -05:00
Graydon Hoare
0d60918855 Most of the way through genericizing bind properly with new malloc path. Still getting the thunk call wrong. 2011-03-07 18:13:56 -08:00
Patrick Walton
3473ff3bff rustc: Cast dynamically-sized tags in iter_structural_ty_full() to opaque tag types. Un-XFAIL generic-recursive-tag.rs. 2011-03-07 18:03:33 -08:00
Patrick Walton
6ed226c6b3 rustc: Cast the LLVM representations of tag types when constructing boxes. Un-XFAIL list.rs. 2011-03-07 16:35:00 -08:00
Patrick Walton
6f7e21ddac rustc: Truncate or zero-extend indexes appropriately. Un-XFAIL integral-indexing.rs. 2011-03-07 15:44:42 -08:00
Graydon Hoare
df3038e68b Parse opacity (and drop on the floor), so std.rc parses now. 2011-03-07 15:38:20 -08:00
Patrick Walton
3869b3bfe4 Modernize test/run-pass/generic-recursive-tag.rs. Un-XFAIL it in rustboot. 2011-03-07 15:12:41 -08:00
Graydon Hoare
7fa8936ece Un-XFAIL 5 more tests that pass lately. 2011-03-07 14:48:32 -08:00
Patrick Walton
eeb2d6d32c rustc: Un-XFAIL box-unbox.rs 2011-03-07 14:28:52 -08:00
Graydon Hoare
abbcc0385d Poison ty_param values in trans; fix buggy parametric obj and box malloc paths. Add generic-box test. 2011-03-07 14:05:16 -08:00
Marijn Haverbeke
0624f9db4a Add a pretty-printer
Adds a -pp option to the compiler which will cause it to simply
pretty-print the given file.
2011-03-07 12:58:08 -08:00
Rafael Ávila de Espíndola
8047957b99 Construct the wrappers to native functions. Hello world now works :-) 2011-03-07 15:37:40 -05:00
Graydon Hoare
90f299e710 Permit view items in native modules. 2011-03-07 11:48:43 -08:00
Graydon Hoare
dfa85968c3 Stage the last compile fix to put out fire. Thanks git. 2011-03-07 10:33:04 -08:00
Graydon Hoare
44bceb84a7 Complain on unexpected native symbol, rather than failing with none-exhaustive match. 2011-03-07 10:02:01 -08:00
Graydon Hoare
5041944fd2 Yell louder when a linkage error in rt occurs, as compiler output fails quietly on null return. 2011-03-07 08:41:48 -08:00
Graydon Hoare
e621f1ef9e Add Marijn to AUTHORS.txt. 2011-03-07 08:19:28 -08:00
Marijn Haverbeke
1ce6cfbe7c use a precedence table for operator parsing 2011-03-07 15:32:11 +01:00
Graydon Hoare
f017a9e71f Un-XFAIL str-concat.rs. 2011-03-07 00:18:10 -08:00
Graydon Hoare
60657fa8aa Set the cleanup on the post-growth vector, not the temporary one. 2011-03-07 00:13:56 -08:00
Graydon Hoare
2cbfb8795d Fix off-by-one in vector append code. 2011-03-06 23:06:01 -08:00
Graydon Hoare
386ba3ae63 Further work on vec-append. Almost working. 2011-03-06 22:37:14 -08:00
Brian Anderson
d39da6f978 Remove typestate workarounds 2011-03-06 15:13:35 -08:00
Brian Anderson
b893bec4bb Flatten conditionals in rustc.rs. Remove FIXME 2011-03-06 15:13:32 -08:00
Brian Anderson
bed457d3a7 Change io.fileflag to a tag type. Remove FIXME 2011-03-06 15:13:30 -08:00
Brian Anderson
330c9c6c35 Make _str.bytes use _vec.init_fn. Remove FIXME. 2011-03-06 15:13:28 -08:00
Graydon Hoare
138c55a69d Fix return value on trans_vec_add. 2011-03-06 15:12:33 -08:00
Graydon Hoare
3eb20f3f6e Correct signatures and arguments associated with call into vec_append_glue. 2011-03-06 12:46:33 -08:00
Graydon Hoare
d97c800e31 Make ret and fail stmts have 0 out-edges, Closes #250. 2011-03-05 20:05:02 +00:00
Patrick Walton
94b681afe4 rustc: Use copy_ty() when initializing N-ary tag variants. Un-XFAIL generic-tag.rs. 2011-03-04 18:05:48 -08:00
Patrick Walton
1dc6bdf331 rustc: Don't recurse forever if type glue needs to refer to its own type descriptor 2011-03-04 17:22:43 -08:00
Patrick Walton
0aa74828e3 rustc: Remove "translating variants" debug string 2011-03-04 15:15:12 -08:00
Patrick Walton
76ec67063e rustc: Don't use recursive types for tags; remove tag_info; introduce GEP_tag() 2011-03-04 15:10:22 -08:00
Graydon Hoare
596face274 Parse (and generally ignore) constraints and constrained types. 2011-03-04 14:19:48 -08:00
Rafael Ávila de Espíndola
95c0cefd32 Build empty wrappers. This lets us compile hello world, but so far it
just returns 0.
2011-03-04 15:29:33 -05:00
Rafael Ávila de Espíndola
2ff67ed94e Remove unused argument. 2011-03-04 14:53:52 -05:00
Graydon Hoare
02dff96b52 Parse meta directives in crates. 2011-03-04 11:28:40 -08:00