mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,461 Commits 2 Branches 0 Tags
Commit Graph

436 Commits

Author SHA1 Message Date
Brian Anderson
7a76323459 Allow vectors to contain unique boxes. Closes #952 
Issue #409
 2011-09-22 17:00:53 -07:00
Brian Anderson
d174d917e2 Calculate the correct kind for unique boxes 
Issue #409
 2011-09-22 15:28:49 -07:00
Brian Anderson
67bac873e0 Add assignment to unique box locals 
Issue #409
 2011-09-22 13:53:33 -07:00
Brian Anderson
f6ab12a3b1 Don't unify unique boxes with different mutability 
Issue #409
 2011-09-22 11:10:48 -07:00
Brian Anderson
1b3023e4d0 Convert ty::ty_uniq to contain a mutable type 
Issue #409
 2011-09-22 10:26:34 -07:00
Brian Anderson
2cc01e2ca2 Add ability to deref unique boxes. Make unique boxes immediates. 
Issue #409
 2011-09-21 14:40:55 -07:00
Marijn Haverbeke
eafb6789a2 Stop creating function pairs for static functions 
These are now called directly. When taking their value, a null pointer is added
to create a pair.
 2011-09-18 22:05:58 +02:00
Tim Chevalier
2b98eccfee Add a type_is_tup_like predicate that takes a block ctxt, and make some fns pure 2011-09-17 10:18:11 -07:00
Tim Chevalier
1b2c5c4c9b Make ty_fn_ret pure and get rid of a duplicate function 2011-09-16 13:06:31 -07:00
Marijn Haverbeke
3abe3671bd Require the parameter that will be referenced to be noted 
Issue #918
 2011-09-15 16:15:17 +02:00
Marijn Haverbeke
87fa38910e Make storing returned references in a by-reference local work 
fn f(a: {x: str}) -> &str {
        ret a.x;
    }

    fn main() {
        let x = {x: "hi"};
        let &y = f(x); // Look ma, no copy!
        log_err y;
    }

Issue #918.
 2011-09-15 15:17:14 +02:00
Marijn Haverbeke
25787bd2b8 Forbid assignment to by-reference bindings 
Issue #918
 2011-09-15 14:08:54 +02:00
Marijn Haverbeke
7298b8f4ba Insert omitted semicolons for statements 2011-09-15 09:49:00 +02:00
Marijn Haverbeke
93de2f0b74 Add syntax and representation for return-by-mutably-rooted-ref 
This will be used in the near future to decide what can safely
be done with the returned reference.

Issue #918
 2011-09-14 17:30:38 +02:00
Marijn Haverbeke
93d2a4f82a Add support for basic return-by-alias to trans 
Issue #918
 2011-09-14 14:39:08 +02:00
Marijn Haverbeke
51dae63c44 Make most of the compiler aware of return-by-reference 
tyencode/tydecode still don't know about it. return_ref will be extended to take
arguments anyway.
 2011-09-14 11:31:05 +02:00
Marijn Haverbeke
6eb9738a66 Rename ast::controlflow to ast::ret_style 
It will include information about returning by alias.
 2011-09-14 10:38:23 +02:00
Marijn Haverbeke
3e92f90952 Apply implicit copying for unsafe references to alt patterns 2011-09-13 12:23:36 +02:00
Marijn Haverbeke
edde2e0c45 Undo some pretty-printer damage in ty.rs 2011-09-12 14:43:41 +02:00
Marijn Haverbeke
ca1df2b111 Pretty-print for new arg-mode syntax 2011-09-12 12:49:00 +02:00
Marijn Haverbeke
fc6b7c8b38 Reformat for new mode syntax, step 1 
Long lines were fixed in a very crude way, as I'll be following up
with another reformat in a bit.
 2011-09-12 12:04:14 +02:00
Marijn Haverbeke
0e6e56ca60 Make the names of the arg mode tag reflect their (revised) meaning 2011-09-12 11:07:17 +02:00
Marijn Haverbeke
4be7e1e5cd Pass all arguments by reference, make immut alias mode equiv to value 
Arguments that can't be safely referenced will be implicitly copied.

(Warnings for expensive copies will be forthcoming.)

This will allow us to get rid of most of the ampersands in function
signatures. See [1].

[1] https://mail.mozilla.org/pipermail/rust-dev/2011-September/000759.html
 2011-09-12 11:06:54 +02:00
Marijn Haverbeke
f3edf8dd5e Make it possible to take the value of (and bind) native fns 
Closes #820
 2011-09-07 12:12:20 +02:00
Brian Anderson
a1d71995ec Rename istr-stuff to str in rustc. Issue #855 2011-09-02 22:11:46 -07:00
Brian Anderson
f1555e2ca8 Rename ty_istr to ty_str. Issue #855 2011-09-02 22:11:46 -07:00
Brian Anderson
5c49e4f4e9 Reformat. Issue #855 2011-09-02 22:11:42 -07:00
Tim Chevalier
b5f9053423 Add a constraint to trans::type_of 
trans::type_of now has a constraint saying that its type argument
is statically sized. This eliminates the "impossible happened" case
in type_of. Yay!

I note that this change decreased translation time for stage2/rustc
from 16.1 s to 14.0 s. I also think many of the remaining checks
could be eliminated with some mildly clever use of constrained types
and further preconditions. Future work!
 2011-09-02 19:35:17 -07:00
Marijn Haverbeke
785c26f7f4 Rename ivecs to vecs in the compiler 2011-09-02 16:09:41 +02:00
Marijn Haverbeke
a0e2809f54 Remove remaining evec support from trans 2011-09-02 15:56:59 +02:00
Brian Anderson
9c173f17c0 Remove lots of estr code from rustc. Issue #855 2011-09-01 23:25:33 -07:00
Brian Anderson
418d09e547 Convert all uses of #ifmt to #fmt. Issue #855 2011-09-01 18:54:03 -07:00
Brian Anderson
ab6bb035e5 Rename std::istr to std::str. Issue #855 2011-09-01 17:27:58 -07:00
Brian Anderson
e824775d53 Remove std::str. Issue #855 2011-09-01 16:09:15 -07:00
Marijn Haverbeke
6ba4eacddf Make resolve recognize upvars 
Upvars are now marked with def_upvar throughout, not just when going
through freevars::lookup_def. This makes things less error-prone. One
thing to watch out for is that def_upvar is used in `for each` bodies
too, when they refer to a local outside the body.
 2011-09-01 16:32:44 +02:00
Marijn Haverbeke
34ae491ca9 Store arg mode and objfield mutability in their def 2011-09-01 16:32:38 +02:00
Brian Anderson
498e38b705 Convert uses of #fmt to #ifmt. Issue #855 2011-08-31 11:44:06 -07:00
Marijn Haverbeke
4db388ea6c Remove obsolete exports 2011-08-29 23:46:38 +02:00
Marijn Haverbeke
c9c5ee252a Implement non-internal ivecs 
Vectors are now similar to our old, pre-internal vectors, except that
they are uniquely owned, not refcounted.

Their name should probably change too, then. I've renamed them to vec
in the runtime, will do so throughout the compiler later.
 2011-08-29 09:07:53 +02:00
Brian Anderson
5f57a508af Convert misc compiler bits to istrs. Issue #855 2011-08-27 18:05:59 -07:00
Brian Anderson
9857048929 Convert rustc::driver::session to istrs. Issue #855 2011-08-27 16:47:50 -07:00
Brian Anderson
cbad23a747 Convert pretty-printer to istrs. Issue #855 2011-08-27 15:54:46 -07:00
Brian Anderson
d2ae28fc99 Convert rustc::util to istrs. Issue #855 2011-08-27 15:54:45 -07:00
Brian Anderson
03119fe269 Convert ast::ident to istr. Issue #855 2011-08-27 15:54:44 -07:00
Brian Anderson
b2408d57f0 Convert portions of rustc to istrs. Recover a lot of performance. 
Issue #855
 2011-08-27 15:54:43 -07:00
Brian Anderson
53be480d20 Convert std::int to istrs. Issue #855 2011-08-27 15:53:08 -07:00
Brian Anderson
ee2a11eb4f Convert std::uint to istrs. Issue #855 2011-08-27 15:53:08 -07:00
Tim Chevalier
e241f2996d Allow pure fns to have any return type 2011-08-25 17:23:35 -07:00
Marijn Haverbeke
fa97793139 Revert "Back out copy-glue" 
This reverts commit 629ee94a0b360e2df1a1bbf7bf61ef346adf36ad.
 2011-08-24 20:30:20 +02:00
Marijn Haverbeke
629ee94a0b Back out copy-glue 
This wasn't a good idea after all.
 2011-08-24 17:05:53 +02:00