Niko Matsakis
|
c2ce2741a7
|
allow mutable vectors and so forth to be used as immutable slices
|
2012-05-31 15:07:09 -07:00 |
|
Eric Holk
|
0470abe1d2
|
Allow some resources to be considered const.
|
2012-05-31 13:55:54 -07:00 |
|
Kevin Cantu
|
7dcbaedd32
|
Rename librustsyntax to libsyntax
Per issue #2418.
|
2012-05-31 11:15:00 -07:00 |
|
Brian Anderson
|
615f532475
|
test: Update test with current error message
These errors where previously generated by typestate, but there seem to
be other passes that cover this now.
|
2012-05-31 00:06:10 -07:00 |
|
Niko Matsakis
|
dca11e1f99
|
test our some of the various combinations of fn subtyping
|
2012-05-30 12:02:01 -07:00 |
|
Niko Matsakis
|
5b8abec92f
|
test for pure fn vs impure fn etc subtyping
|
2012-05-30 11:56:50 -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
|
22a10f0e4a
|
refactor region manip. to remove redundancy, get closer to fn subtyping
also: remove "auto-mode-matching" for implemented interfaces, as it
is complex and interacts poorly with classes
cc #2263
|
2012-05-30 11:04:12 -07:00 |
|
Michael Sullivan
|
b744f52620
|
Make heap closures always require a capture clause to capture mutable variables. Closes #2446.
|
2012-05-30 10:46:22 -07:00 |
|
Tim Chevalier
|
3f3c9caf4d
|
Handle poststates of breaking loops correctly in typestate
The poststate should be one where all predicates are assumed false,
rather than the unchanged prestate.
Closes #2374
|
2012-05-29 18:22:38 -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 |
|
Michael Sullivan
|
5d1c29912d
|
Fix an error message to not refer to "block type". Closes #2423.
|
2012-05-29 12:18:59 -07:00 |
|
Brian Anderson
|
432c6cbde9
|
core: Make range follow the for loop protocol
|
2012-05-26 02:28:00 -07:00 |
|
Niko Matsakis
|
98740a59da
|
detect ambig. calls to iface bounds, use transactions
cc #2433
|
2012-05-25 17:04:05 -07:00 |
|
Niko Matsakis
|
62fe587f81
|
revisit error message; create spill map
|
2012-05-25 14:37:30 -07:00 |
|
Eric Holk
|
8b6bfc96cb
|
Const kind checking. The rules are almost certainly incomplete and unsound...
|
2012-05-24 15:06:56 -07:00 |
|
Niko Matsakis
|
ccd8d5573e
|
remove dead assignments
|
2012-05-24 13:35:57 -07:00 |
|
Niko Matsakis
|
f5c51b0a9c
|
remove initedness checking from typestate, as best I could
|
2012-05-24 09:52:16 -07:00 |
|
Niko Matsakis
|
0d3811e275
|
improve liveness so it reports unused vars / dead assignments
doesn't warn about pattern bindings yet though
|
2012-05-24 09:52:16 -07:00 |
|
Niko Matsakis
|
30b47649ea
|
new liveness pass to supercede last_use / initedness
|
2012-05-24 09:52:03 -07:00 |
|
Niko Matsakis
|
a3be0b1054
|
fix classes and parameterized ifaces; remove needless self check
ref #1726, #2434
|
2012-05-24 06:49:40 -07:00 |
|
Niko Matsakis
|
bd573becf5
|
change region scope of call arguments, old one was unsound
improve error message to describe kind of deref'd ptr using sigil
|
2012-05-24 05:19:44 -07:00 |
|
Eric Holk
|
5f154770e2
|
Prevent capturing non-copyable things in closures.
|
2012-05-23 15:46:43 -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 |
|
Eric Holk
|
8678baab12
|
Resources are once again not copyable.
|
2012-05-23 10:27:42 -07:00 |
|
Niko Matsakis
|
b93839408c
|
new test
|
2012-05-23 06:30:29 -07:00 |
|
Niko Matsakis
|
e0f59e835e
|
modify borrowck to allow arbitrary borrows in pure scopes
|
2012-05-23 06:30:29 -07:00 |
|
Eric Holk
|
0b2f2cabbe
|
Send is no longer a subkind of copy. This allows for sendable, but non-copyable resources. Closes #2420.
|
2012-05-22 14:10:32 -07:00 |
|
Lindsey Kuper
|
248e439638
|
Region checking: this one currently passes, but only "by accident".
|
2012-05-21 13:05:06 -07:00 |
|
Niko Matsakis
|
8e73bb6ea0
|
detect and report shadows in nested bindings
|
2012-05-21 09:37:22 -07:00 |
|
Niko Matsakis
|
28d0ce9a8b
|
fix up handling of &x where x is an arg or &self (for now at least).
|
2012-05-19 10:33:14 -07:00 |
|
Paul Stansifer
|
9fe547d3a7
|
Make extracting syntax extension arguments easier.
|
2012-05-18 10:05:24 -07:00 |
|
Tim Chevalier
|
0343b0553b
|
Test that a class type name gets printed correctly in a...
"cannot be dereferenced" error message. Closes #2370
|
2012-05-17 09:40:43 -07:00 |
|
Niko Matsakis
|
21fc3af031
|
add xfail-fast directives for borrowck tests
|
2012-05-16 12:44:54 -07:00 |
|
Niko Matsakis
|
63210ecddb
|
correct preservation of explicit borrows like "let x = &*y;"
|
2012-05-16 07:19:19 -07:00 |
|
Niko Matsakis
|
4bfa19b100
|
rename test
|
2012-05-15 21:20:52 -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
|
ab735320b4
|
move regionck into typeck, in the process fixing a bug or two
|
2012-05-15 19:05:03 -07:00 |
|
Lindsey Kuper
|
b8880e3254
|
Remove be keyword.
Closes #2227.
|
2012-05-15 10:41:14 -07:00 |
|
Tim Chevalier
|
89cd2f6bd0
|
Enforce that self doesn't escape from a class
Closes #2294
|
2012-05-14 14:26:10 -07:00 |
|
Niko Matsakis
|
a6b9fa0cd1
|
new test for loaning out an index
|
2012-05-11 18:27:17 -07:00 |
|
Niko Matsakis
|
63eb8e0e87
|
move purity checking into borrowck, addresses #1422
|
2012-05-11 14:05:58 -07:00 |
|
Niko Matsakis
|
5dbf881e87
|
three new tests for assigning to various unassignable things
|
2012-05-11 06:41:58 -07:00 |
|
Niko Matsakis
|
b4d1f1b2c1
|
replace mutbl pass with borrowck
|
2012-05-10 21:14:43 -07:00 |
|
Paul Stansifer
|
f943667af3
|
Remove do ... while loops from the tests and docs.
|
2012-05-10 15:27:42 -07:00 |
|
Niko Matsakis
|
50a3dd40ae
|
implement new borrow ck (disabled by default)
|
2012-05-09 17:00:19 -07:00 |
|
Niko Matsakis
|
5e7229b72c
|
reduce self type to a special type parameter
|
2012-05-09 07:11:59 -07:00 |
|
Marijn Haverbeke
|
96a159a6ea
|
Support visibility modifiers and attributes on view items
Issue #1893
Tangentially, issue #2357
|
2012-05-08 23:14:24 +02:00 |
|
Tim Chevalier
|
1460ea43d2
|
Add xfailed test case for #2354
|
2012-05-07 14:43:31 -07:00 |
|