Commit graph

11980 commits

Author SHA1 Message Date
Tim Chevalier
7d84505654 Error out in resolve if structs try to capture type parameters
Closes #3214
2012-10-15 16:27:53 -07:00
Patrick Walton
91ae5412d8 rustc: Merge module and type namespaces. r=brson 2012-10-15 15:35:36 -07:00
Tim Chevalier
c5b82a65e9 Add test cases for #3668
Previous commits fix the issue.

Closes #3668
2012-10-15 14:41:09 -07:00
Tim Chevalier
4f9e7babeb Un-xfail test for #3521; it works now
Closes #3521
2012-10-15 14:18:15 -07:00
Patrick Walton
c886629d4f rustc: Implement monomorphic default methods. r=nmatsakis 2012-10-15 14:14:05 -07:00
Niko Matsakis
2a1aa9fb53 Check whether loans conflict with old loans or with themselves.
Along the way, convert from dvec-of-dvec representation to track loans in scope
to just a single flattened list.  It's more convenient.

Fixes #3765. r+ pcwalton.
2012-10-15 13:37:50 -07:00
Tim Chevalier
0643466f85 Fix whitespace 2012-10-15 13:14:23 -07:00
Tim Chevalier
7237268b70 Allow enum discriminator exprs to refer to declared consts
Also some work towards #3521

Closes #2428
2012-10-15 12:28:29 -07:00
Tim Chevalier
f6211ab187 Add various test cases (xfailed) 2012-10-15 12:00:32 -07:00
Erick Tryzelaar
ab89b5c294 libstd: make Serializer a trait-level typaram 2012-10-15 08:25:23 -07:00
Gareth Daniel Smith
07edf90367 Implement to_managed without using an upcall function, as suggested by brson. 2012-10-13 05:57:13 -07:00
Gareth Daniel Smith
e9caa3fe2e Add an &str.to_managed method to allow creating non-constant @str values (for issue #3433). 2012-10-13 05:57:13 -07:00
Tim Chevalier
9406f8101d Avoid repeating 'try adding a move' hint 2012-10-12 22:15:13 -07:00
Tim Chevalier
f1e5b36ab2 Remove unneeded parens 2012-10-12 20:59:47 -07:00
Tim Chevalier
c6780fbb0c Make trans ignore last use 2012-10-12 20:43:38 -07:00
Tim Chevalier
c4155f5ea3 Change the kind checker to ignore results of last-use
and require explicit moves.

Also provide more info in some error messages.

Also: check that non-copyable struct fields don't get copied.
Closes #3481
2012-10-12 20:43:38 -07:00
Tim Chevalier
9abc7f0a1c (For legacy code:) In liveness, require that by-move arguments are rvalues 2012-10-12 20:43:38 -07:00
Tim Chevalier
632d60691a Test that functional struct update exprs get rejected if...
...they require copying noncopyable fields.
2012-10-12 20:43:38 -07:00
Tim Chevalier
71dbbe145c Make moves explicit in rfail tests 2012-10-12 20:43:38 -07:00
Tim Chevalier
3ebd878f4a Make moves explicit in rpass tests 2012-10-12 20:43:38 -07:00
Tim Chevalier
2145348090 Make moves explicit in cfail tests 2012-10-12 20:43:37 -07:00
Tim Chevalier
f5f3a75b65 Make moves explicit in bench tests 2012-10-12 20:43:37 -07:00
Tim Chevalier
e18c6bb3b6 Make moves explicit in aux test files 2012-10-12 20:43:37 -07:00
Tim Chevalier
d52f988dbb Make moves explicit in rustdoc 2012-10-12 20:43:37 -07:00
Tim Chevalier
90d06b80fd Make moves explicit in std tests 2012-10-12 20:43:37 -07:00
Tim Chevalier
30a62793fa Make moves explicit in core tests 2012-10-12 20:43:37 -07:00
Tim Chevalier
2d7d12b902 Make moves explicit in compiletest 2012-10-12 20:43:37 -07:00
Tim Chevalier
beb7471016 Make moves explicit in cargo 2012-10-12 20:43:37 -07:00
Tim Chevalier
ea5e3d21ff Make moves explicit in doc examples
Had to remove the buffalo example. It was awkward to update for
explicit moves.
2012-10-12 20:43:37 -07:00
Tim Chevalier
d0ed13c4bd Make moves explicit in rustc::middle 2012-10-12 20:43:37 -07:00
Tim Chevalier
c5fa613498 Make moves explicit in libsyntax 2012-10-12 20:43:37 -07:00
Tim Chevalier
335e5ca33b Add a colon, make an error message clearer 2012-10-12 20:43:37 -07:00
Niko Matsakis
98887cc7ee remove ctor from ast (take 2) (no review: just dead code removal) 2012-10-12 19:46:37 -07:00
Niko Matsakis
cb55e246ba Use the Nth impl when translating a static method call, instead
of the 0th.  0th is only correct when there are no bound tps
on the trait.

Fixes #3741.
2012-10-12 17:46:43 -07:00
Graydon Hoare
57b4d10ff6 bump version to 0.5. 2012-10-12 16:41:32 -07:00
Kevin Cantu
1bede1f5e0 Replace several common macros of the form #m[...] with m!(...)
This commit replaces nearly all remaining uses of #fmt, #debug, #error,
and #info, and fixes some error messages...
2012-10-12 14:14:48 -07:00
Tim Chevalier
693866d75e Change FIXME number 2012-10-11 18:09:55 -07:00
Tim Chevalier
44bffd2059 Revert "Use a constant vector for the sudoku board, delete a FIXME"
This reverts commit 06d0bf7555.
2012-10-11 18:08:58 -07:00
Tim Chevalier
55b528484d Re-xfail two tests that I tried to resurrect (no time right now) 2012-10-11 17:59:33 -07:00
Tim Chevalier
2d116db578 Use move instead of ref in select-macro 2012-10-11 17:59:29 -07:00
Tim Chevalier
dd54431df6 Fix pipe-select-macro 2012-10-11 17:59:14 -07:00
Tim Chevalier
945d57a6ff Export VecUnboxedRepr from vec so a test case can use it 2012-10-11 17:58:45 -07:00
Tim Chevalier
3c1ff31f4a Un-XFAIL task-compare 2012-10-11 17:03:56 -07:00
Tim Chevalier
5a849ea8ad Use match move in select-macro, get rid of a FIXME 2012-10-11 17:03:48 -07:00
Tim Chevalier
b24cba877d Un-XFAIL reflect-visit-type 2012-10-11 17:03:29 -07:00
Tim Chevalier
f1de001d69 Annotate FIXMEs in reflect-visit-data 2012-10-11 17:03:02 -07:00
Tim Chevalier
c090dcad84 Uncomment nested module in test, delete a FIXME 2012-10-11 17:02:38 -07:00
Tim Chevalier
06d0bf7555 Use a constant vector for the sudoku board, delete a FIXME 2012-10-11 17:02:12 -07:00
Tim Chevalier
668b39cb5c Use match move in pingpong, delete a FIXME 2012-10-11 17:01:55 -07:00
Tim Chevalier
915897b3df Remove obsolete comment 2012-10-11 16:46:06 -07:00