Graydon Hoare
|
68af077e81
|
Implement binop= forms. Un-XFAIL bitwise.rs.
|
2010-12-08 14:50:47 -08:00 |
|
Graydon Hoare
|
b971d6312e
|
Fix missing case in resolve, un-XFAIL rec-tup.rs.
|
2010-12-08 11:52:34 -08:00 |
|
Patrick Walton
|
47f0729d38
|
rustc: Un-XFAIL test/run-pass/writealias.rs too
|
2010-12-07 12:40:57 -08:00 |
|
Patrick Walton
|
b5679c844e
|
rustc: Un-XFAIL readalias.rs
|
2010-12-07 12:38:51 -08:00 |
|
Patrick Walton
|
e558ff907f
|
rustc: Allow callees to use alias args
|
2010-12-07 12:34:10 -08:00 |
|
Patrick Walton
|
7f85945b05
|
rustc: Translate function calls with alias parameters (though the callee can't use them yet)
|
2010-12-07 11:57:19 -08:00 |
|
Patrick Walton
|
15a614acb4
|
rustc: Implement is_lval
|
2010-12-07 10:38:42 -08:00 |
|
Graydon Hoare
|
fdb3a4e471
|
Un-XFAIL deref.rs and large-records.rs.
|
2010-12-06 18:53:16 -08:00 |
|
Graydon Hoare
|
a059b4720c
|
Null slots on missing init, null-check box ptrs on drop. Works around missing typestate pass. Un-XFAIL box-in-tup.rs.
|
2010-12-06 17:46:44 -08:00 |
|
Patrick Walton
|
3f9d5dab5b
|
rustc: Run the verifier over LLVM modules before writing them out
|
2010-12-06 17:17:49 -08:00 |
|
Patrick Walton
|
a1c7d19836
|
rustc: Translate tag constructors. Can't call them at the moment due to lack of alias args, though.
|
2010-12-06 16:50:24 -08:00 |
|
Patrick Walton
|
fb05d9184b
|
rustc: Make copy_args_to_allocas not insist on a function type so it's easier to make it work with tag constructors
|
2010-12-06 11:22:08 -08:00 |
|
Graydon Hoare
|
9f6a630519
|
Drop rec and tup alloca temporariles on block exit.
|
2010-12-03 18:43:40 -08:00 |
|
Patrick Walton
|
b4d9754347
|
rustc: Make new_fn_ctxt and copy_args_to_allocas receive a list of args rather than an AST fn, so we can use it for tag constructors
|
2010-12-03 18:20:41 -08:00 |
|
Patrick Walton
|
2e119698b7
|
rustc: Add def ids to variant arguments so we can turn them into function arguments later
|
2010-12-03 18:13:15 -08:00 |
|
Graydon Hoare
|
0c19c8e18f
|
Parse layer and effect annotations.
|
2010-12-03 18:04:18 -08:00 |
|
Patrick Walton
|
afd3af9bb5
|
rustc: Remove LLVM unions and represent tags as (discriminant, byte blob) pairs
|
2010-12-03 16:55:59 -08:00 |
|
Patrick Walton
|
f371dc613a
|
rustc: Set data layout and target triple
|
2010-12-03 13:52:54 -08:00 |
|
Graydon Hoare
|
aeef8cee29
|
Add load_non_structural and use it.
|
2010-12-03 13:03:07 -08:00 |
|
Patrick Walton
|
5347cac92d
|
rustc: Handle n-ary tag constructors in iter_structural_ty (which lets us process their refcounts correctly)
|
2010-12-03 12:35:49 -08:00 |
|
Graydon Hoare
|
4316df6323
|
Trim whitespace.
|
2010-12-03 12:26:27 -08:00 |
|
Graydon Hoare
|
a98b2ebb4a
|
Change 'stratum' to the friendlier term 'layer'.
|
2010-12-03 12:15:32 -08:00 |
|
Patrick Walton
|
7bdb93266d
|
rustc: Translate nullary tag constructors
|
2010-12-03 10:24:55 -08:00 |
|
Graydon Hoare
|
d922b0ad9c
|
Drop slots on the way out of scopes. Un-XFAIL box.rs.
|
2010-12-02 19:44:24 -08:00 |
|
Graydon Hoare
|
966cfed07c
|
Modify block ctxt / cleanup handling to only occur on scope blocks.
|
2010-12-02 19:12:34 -08:00 |
|
Graydon Hoare
|
1e9c8b923d
|
Implement translation for deref unop.
|
2010-12-02 19:12:09 -08:00 |
|
Graydon Hoare
|
97247bbb53
|
Change order of basic blocks in copy_ty, makes nicer disassembly.
|
2010-12-02 18:33:11 -08:00 |
|
Graydon Hoare
|
f69b4417e6
|
Don't drop context returned from decl-init call to copy_ty.
|
2010-12-02 18:32:43 -08:00 |
|
Graydon Hoare
|
0f41f5a8f9
|
Improve translations of unary box operator and drop_ty on boxes.
|
2010-12-02 17:43:24 -08:00 |
|
Patrick Walton
|
e233978891
|
rustc: Change fn_names and fn_ids to item_names and item_ids in trans, since we're soon to be storing tags in there too
|
2010-12-02 17:30:07 -08:00 |
|
Patrick Walton
|
49b3cd700e
|
rustc: Remove the premature optimization for nullary tag constructors, since it'll be no longer necessary once LLVM gets a unit type
|
2010-12-02 17:18:06 -08:00 |
|
Graydon Hoare
|
a439f6ec68
|
Add ty_boxed to typeck.type_is_boxed.
|
2010-12-02 15:56:44 -08:00 |
|
Graydon Hoare
|
cdcab742a7
|
Fix fold bug on expr_unary.
|
2010-12-02 15:54:45 -08:00 |
|
Graydon Hoare
|
df5f8f3e37
|
Add minimal test for box/deref.
|
2010-12-02 15:02:17 -08:00 |
|
Graydon Hoare
|
de9fc72cb4
|
Add test for non-exhaustive match failure.
|
2010-12-02 14:50:00 -08:00 |
|
Graydon Hoare
|
b79de6b76c
|
Typecheck the box and deref unops properly.
|
2010-12-02 14:38:32 -08:00 |
|
Patrick Walton
|
376b35e618
|
rustc: Remove the overly complex variant_indices and n_ary_variant_indices tables
|
2010-12-02 11:00:10 -08:00 |
|
Patrick Walton
|
eeecc8d061
|
rustc: Add stub support for tag constructors in trans
|
2010-12-01 19:03:47 -08:00 |
|
Graydon Hoare
|
98a63bd1f9
|
Add code to fail on non-exhaustive alt matching. Fix all cases this picked up in rustc.
|
2010-12-01 17:09:02 -08:00 |
|
Patrick Walton
|
fd600bad46
|
rustc: Annotate variants with their types. This may be useful for trans!
|
2010-12-01 15:27:38 -08:00 |
|
Patrick Walton
|
cd97b9d965
|
rustc: Typecheck tag constructors
|
2010-12-01 11:39:03 -08:00 |
|
Patrick Walton
|
67a616340d
|
rustc: Fix segfault due to nonexhaustive match when using tags
|
2010-12-01 10:53:40 -08:00 |
|
Patrick Walton
|
42282a25c0
|
rustc: Resolve tag variant names
|
2010-12-01 10:19:38 -08:00 |
|
Graydon Hoare
|
4dc98e54d1
|
Make the ugly detailed leak-spray on rustc failures optional.
|
2010-11-30 17:10:51 -08:00 |
|
Graydon Hoare
|
45043374ff
|
Tidy up structural types for rec, tup AST and typeck nodes.
|
2010-11-30 16:32:00 -08:00 |
|
Patrick Walton
|
567a45cc70
|
rustc: Add def ids to variants
|
2010-11-30 12:32:20 -08:00 |
|
Graydon Hoare
|
25b973df1b
|
Finish support for typechecking and translating records. Un-XFAIL rec.rs.
|
2010-11-30 10:39:35 -08:00 |
|
Graydon Hoare
|
9c426521ee
|
Wrap long lines.
|
2010-11-29 17:53:35 -08:00 |
|
Graydon Hoare
|
a94046f5d2
|
Teach typechecker about record types.
|
2010-11-29 17:42:53 -08:00 |
|
Patrick Walton
|
6c5a05b819
|
rustc: Implement the block syntax discussed on the mailing list
|
2010-11-29 17:11:41 -08:00 |
|