Patrick Walton
a1aad28690
rustc: Use the right block context to generate unary operands. std.rc compiles now. For realz.
2011-03-19 15:03:21 -07:00
Patrick Walton
8e597b295f
rustc: Allow arguments to be captured as upvars. std.rc compiles now, except for the lack of a main fn.
2011-03-19 14:26:12 -07:00
Patrick Walton
c710c9a1b8
rustc: Do argument casts before loading aggregates, not after
2011-03-19 13:58:48 -07:00
Patrick Walton
3f2bae4449
rustc: Implement int-to-native casts
2011-03-18 18:49:59 -07:00
Patrick Walton
e6b6d1b645
rustc: Make trans_path() generic-safe wrt nullary tags
2011-03-18 18:45:49 -07:00
Patrick Walton
95dc89f012
rustc: Make iter_structural_ty_full() generic-safe wrt tags
2011-03-18 18:34:06 -07:00
Patrick Walton
8c48fae726
rustc: Do pointer casts when casting native types
2011-03-18 18:12:58 -07:00
Patrick Walton
9c0c0af1b2
rustc: Fix inference for auto slots (forgot to stage changes before)
2011-03-18 17:45:47 -07:00
Patrick Walton
f3b58947c0
rustc: Don't always build a constant multiply instruction when translating literal vectors; the size of the referent isn't always constant
2011-03-18 16:41:56 -07:00
Patrick Walton
533dea772f
rustc: Move type_of() behind the check for dynamic size in trans_vec()
2011-03-18 16:34:22 -07:00
Patrick Walton
78bcfe28f2
rustc: Create global variable constants during the collection phase
2011-03-18 16:24:01 -07:00
Patrick Walton
8ff77b14a9
rustc: Make iter_sequence() work with generic vectors
2011-03-18 16:04:16 -07:00
Patrick Walton
47d650e25b
rustc: Box the tuples returned by hashmap.items() for now since we don't have alias iterators yet
2011-03-18 15:18:45 -07:00
Patrick Walton
ebee49314b
rustc: Get type params from the item when translating native items
2011-03-18 15:01:45 -07:00
Patrick Walton
e8938f5fb2
rustc: Unify over alt expressions
2011-03-18 12:49:48 -07:00
Patrick Walton
6f65ce5255
rustc: Add a span_unimpl() for debugging
2011-03-18 12:30:44 -07:00
Patrick Walton
2ef9c01ffc
rustc: Implement "mutable?". Add a test case and XFAIL it in rustboot for now.
2011-03-18 11:49:47 -07:00
Patrick Walton
5eca7129e3
rustc: Switch mutability from being a type constructor to a field annotation
2011-03-17 17:39:47 -07:00
Patrick Walton
67bac63aa3
rustc: Correctly report mutability when stringifying types
2011-03-17 11:54:00 -07:00
Patrick Walton
2ca66718ce
rustc: Consider native types to be scalar
2011-03-17 11:46:21 -07:00
Patrick Walton
55587a554c
rustc: Sort object methods when parsing textual types in the AST
2011-03-17 11:40:05 -07:00
Patrick Walton
bc51842d4f
rustc: Don't go over inner functions' locals during the writeback phase of typechecking
2011-03-17 11:23:17 -07:00
Rafael Ávila de Espíndola
9dc3f3f183
Fixed version of my previous patch to rename the upcall functions. This time also update the inline assembly.
2011-03-16 18:09:12 -04:00
Graydon Hoare
54587bdccb
Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tweak std lib vec fns in process.
2011-03-16 14:58:02 -07:00
Rafael Ávila de Espíndola
8dc5059058
Update comment to reflect the decision to avoid cycles.
2011-03-16 11:29:41 -04:00
Patrick Walton
71b6e602c5
rustc: Add an annotation for the crate definition to view_item_use
2011-03-15 17:33:05 -07:00
Patrick Walton
341d128ad3
Revert "Change the numbering of upcall functions. upcall_0 now calls a function" due to tinderbox failure on win32
...
This reverts commit bd9dd5ed1a
2011-03-15 17:20:00 -07:00
Rafael Ávila de Espíndola
bd9dd5ed1a
Change the numbering of upcall functions. upcall_0 now calls a function
...
with no arguments. This is still preparation for calling functions that
don't take a rust task argument.
2011-03-15 16:24:03 -04:00
Graydon Hoare
7f5bffc3ea
Merge remote branch 'brson/recursive-elseif'
2011-03-14 16:59:04 -07:00
Brian Anderson
8b5574ac09
Rename check_assignment_like to check_assignment since it turned out not to be useful for send/recv
2011-03-14 16:41:46 -07:00
Brian Anderson
b83a4af93c
Fix the typechecking for expr_send and expr_recv
2011-03-14 16:41:46 -07:00
Brian Anderson
4ce4d8857f
Add ty_port and ty_chan to expr_ty function
2011-03-14 16:41:46 -07:00
Brian Anderson
83f758cf0d
Typecheck expr_send and expr_recv
2011-03-14 16:41:46 -07:00
Brian Anderson
a309f74a94
Reorganize evaluation of expr_send/recv to put them closer to expr_assign, to which they are similar
2011-03-14 16:41:46 -07:00
Brian Anderson
644d8b95da
Factor out expression checking for forms that look like assignment
2011-03-14 16:41:46 -07:00
Brian Anderson
7464237256
Add folding and type checking for ports and chans
2011-03-14 16:41:46 -07:00
Brian Anderson
a3cca65f6d
Fold ty_chan and ty_port
2011-03-14 16:41:46 -07:00
Rafael Ávila de Espíndola
3436979b17
Split trans' collection in two passes. This allows us to handle tags
...
that are defined after use in a block.
This is really inefficient, but for now it lets us compile the included test.
2011-03-14 16:56:03 -04:00
Brian Anderson
bbb6836da0
Merge branch 'master' into recursive-elseif
...
Conflicts:
src/comp/middle/typeck.rs
2011-03-13 19:40:25 -04:00
Brian Anderson
2a662944a4
Remove extra blocks from the translation of expr_block
...
Doesn't seem to break anything and allows trans_if to be streamlined
2011-03-13 19:29:40 -04:00
Graydon Hoare
ec7e84ae0d
Preserve crate directives in the parsed crate.
2011-03-11 15:49:56 -08:00
Patrick Walton
9b3db0ed44
rustc: Add some stub metadata to each crate
2011-03-11 15:35:50 -08:00
Rafael Ávila de Espíndola
74d891517b
reindex the block index.
2011-03-11 17:35:33 -05:00
Patrick Walton
6392bd1681
rustc: Load structural loop variables in iterators. Un-XFAIL foreach-put-structured.rs.
2011-03-11 14:29:45 -08:00
Rafael Ávila de Espíndola
28d51e3fd2
Add support for indexing tags in blocks.
2011-03-11 17:12:25 -05:00
Patrick Walton
37007a4d01
rustc: Populate the upvar environment when calling iterator bodies. Un-XFAIL test/run-pass/iter-range.rs.
2011-03-11 12:02:51 -08:00
Patrick Walton
336f22db61
rustc: Resolve upvars as necessary
2011-03-11 10:39:36 -08:00
Rafael Ávila de Espíndola
0117cf2fc2
Handle resolving to native modules.
2011-03-10 21:33:53 -05:00
Graydon Hoare
3aac5059ee
Move the glue code to a .o file. This reduces how much asm we print
...
in each "translation unit".
Part of it is not repetitive and should probably be moved to a .ll file, but
for now we autogen all of it.
(Modified somewhat by graydon while integrating).
2011-03-10 17:30:08 -08:00
Patrick Walton
7454b53411
rustc: Build up a list of upvars inside foreach bodies
2011-03-10 16:49:00 -08:00
