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 |
|
Niko Matsakis
|
8a9df5aa38
|
make it illegal to implicitly capture mutable variables
this is the final part of #1273
|
2012-05-07 13:22:42 -07:00 |
|
Tim Chevalier
|
95a2b5d42f
|
Add test case that checks that class members must be prefixed with "self"
Closes #2289.
|
2012-05-04 13:44:01 -07:00 |
|
Niko Matsakis
|
50ec6bd2c3
|
new cap clause syntax
|
2012-05-04 12:33:08 -07:00 |
|
Niko Matsakis
|
cfa09d35a3
|
Revert "allow fn exprs to omit arg types"
This reverts commit 1ba4ca4c4a0153578e812baf5f7f5554d079de40.
|
2012-05-03 14:42:34 -07:00 |
|
Niko Matsakis
|
1ba4ca4c4a
|
allow fn exprs to omit arg types
also, avoid using type variables for fn args with omitted types
unless necessary. This will be important for bound regions in
fn types.
fixes #2093
|
2012-05-03 14:32:32 -07:00 |
|
Tim Chevalier
|
d8f28be753
|
Check early on in typeck that types being implemented are actually iface types
Closes #2330.
|
2012-05-03 12:38:45 -07:00 |
|
Marijn Haverbeke
|
d0d71838cd
|
Mention missing constructor when complaining about inexhaustive top-level pattern
It previously, uselessly, only pointed out the constructor when the
inexhaustive pattern was nested in some other pattern.
Closes #2337
|
2012-05-03 17:35:12 +02:00 |
|
Niko Matsakis
|
f1129635ee
|
report ambig impl methods
|
2012-05-02 21:47:14 -07:00 |
|
Graydon Hoare
|
b12e27595e
|
Error message reformatting, close #2309.
|
2012-05-02 14:47:33 -07:00 |
|
Niko Matsakis
|
2db4259b35
|
Stop inferring bot/static when types/regions are unconstrained.
Also, some other changes that came up along the way:
- add a 'blk' region for the current block.
- detect unused type/region variables.
|
2012-04-30 19:53:02 -07:00 |
|
Niko Matsakis
|
e348567f77
|
new, simpler approach to the iter library
|
2012-04-27 16:57:50 -07:00 |
|
Brian Anderson
|
5eca3c2210
|
parser: More refactoring of restricted value name checking
|
2012-04-27 16:45:54 -07:00 |
|
Brian Anderson
|
48368c5a07
|
test: Add test for two restricted keyword cases
|
2012-04-27 16:45:54 -07:00 |
|