Brian Anderson
|
7ef825bb60
|
Revert "remove alias analysis and replace with borrowck"
18s perf regression compiling rustc with opts
This reverts commit 7f6ee0ce0d.
|
2012-06-07 19:42:27 -07:00 |
|
Niko Matsakis
|
7f6ee0ce0d
|
remove alias analysis and replace with borrowck
cc #2540
|
2012-06-07 16:46:57 -07:00 |
|
Niko Matsakis
|
08520a1697
|
move borrowck to dvec, insert a few minor copies
|
2012-06-06 18:37:35 -07:00 |
|
Niko Matsakis
|
903033bb03
|
handle fixed-length vecs in borrowck categorization
|
2012-06-04 16:40:09 -07:00 |
|
Niko Matsakis
|
cfac9b6833
|
improve borrowck to handle some frankly rather tricky cases
- receivers of method calls are also borrowed
- by-val arguments are also borrowed (needs tests)
- assignment to components can interfere with loans
|
2012-06-02 10:08:04 -07:00 |
|
Niko Matsakis
|
6c6ad229a3
|
break up borrowck into modules and begin to document how it works
|
2012-06-01 10:50:19 -07:00 |
|
Niko Matsakis
|
c2ce2741a7
|
allow mutable vectors and so forth to be used as immutable slices
|
2012-05-31 15:07:09 -07:00 |
|
Niko Matsakis
|
79b3dedac3
|
allow for loop bodies
|
2012-05-30 11:26:15 -07:00 |
|
Niko Matsakis
|
653a1f8781
|
integrate purity into type
|
2012-05-30 11:26:15 -07:00 |
|
Niko Matsakis
|
f90228b8a8
|
make all arguments modes immutable
note: you can still move from copy/move mode args
|
2012-05-29 16:22:17 -07:00 |
|
Niko Matsakis
|
9e6a068034
|
replace last_use with liveness info
|
2012-05-25 14:37:30 -07:00 |
|
Niko Matsakis
|
30b47649ea
|
new liveness pass to supercede last_use / initedness
|
2012-05-24 09:52:03 -07:00 |
|
Niko Matsakis
|
c9eb9ee612
|
rewrite purity check to search through scope chain
|
2012-05-24 05:19:44 -07:00 |
|
Niko Matsakis
|
9773a22119
|
shuffle error messages in borrowck, and prevent it from spewing too many
also, fix a few minor issues it complains about
|
2012-05-23 12:01:27 -07:00 |
|
Niko Matsakis
|
e0f59e835e
|
modify borrowck to allow arbitrary borrows in pure scopes
|
2012-05-23 06:30:29 -07:00 |
|
Niko Matsakis
|
00849191ce
|
refactor loan to not return result<>
|
2012-05-23 06:30:29 -07:00 |
|
Niko Matsakis
|
01a2e99639
|
prepare for gather to gather up multiple maps
|
2012-05-23 06:30:29 -07:00 |
|
Brian Anderson
|
9aa18c2852
|
rustc: Move ast_map to the syntax crate
|
2012-05-21 23:39:27 -07:00 |
|
Niko Matsakis
|
0f969da882
|
port some code to use dvec
|
2012-05-18 20:00:50 -07:00 |
|
Niko Matsakis
|
44c100c28d
|
try to improve handling of methods
|
2012-05-18 20:00:50 -07:00 |
|
Niko Matsakis
|
b79d717c91
|
fix borrowing pats---the id field of cmt was assoc with wrong pat
|
2012-05-18 19:07:20 -07:00 |
|
Niko Matsakis
|
a559329692
|
test that we preserve boxes in patterns---still one bug
|
2012-05-18 14:32:37 -07:00 |
|
Niko Matsakis
|
63210ecddb
|
correct preservation of explicit borrows like "let x = &*y;"
|
2012-05-16 07:19:19 -07:00 |
|
Niko Matsakis
|
9c7b74b025
|
check if the type of a local variable contains illegal region
also, try to suppress some of the duplicate errors---in general
more work is needed to make these error messages comprehensible
to ordinary humans
|
2012-05-15 21:20:37 -07:00 |
|
Niko Matsakis
|
adb61e3e99
|
get preservation of boxes working, at least in simple cases
|
2012-05-15 13:38:16 -07:00 |
|
Lindsey Kuper
|
b8880e3254
|
Remove be keyword.
Closes #2227.
|
2012-05-15 10:41:14 -07:00 |
|
Niko Matsakis
|
63eb8e0e87
|
move purity checking into borrowck, addresses #1422
|
2012-05-11 14:05:58 -07:00 |
|
Niko Matsakis
|
b4d1f1b2c1
|
replace mutbl pass with borrowck
|
2012-05-10 21:14:43 -07:00 |
|
Paul Stansifer
|
13c924c049
|
Remove do { ... } while ... from the language.
|
2012-05-10 15:09:33 -07:00 |
|
Niko Matsakis
|
50a3dd40ae
|
implement new borrow ck (disabled by default)
|
2012-05-09 17:00:19 -07:00 |
|