]> git.lizzy.rs Git - rust.git/log
rust.git
12 years agoUpdate CC fuzzer
Jesse Ruderman [Wed, 28 Mar 2012 19:30:07 +0000 (12:30 -0700)]
Update CC fuzzer

12 years agoUpdate AST fuzzer
Jesse Ruderman [Wed, 28 Mar 2012 19:29:53 +0000 (12:29 -0700)]
Update AST fuzzer

12 years agopython scripts run with Python 2.4 (for RHEL5)
Grahame Bowland [Wed, 28 Mar 2012 09:25:54 +0000 (17:25 +0800)]
python scripts run with Python 2.4 (for RHEL5)

12 years agoDon't include config.stamp in dist tarball.
Graydon Hoare [Wed, 28 Mar 2012 18:29:38 +0000 (11:29 -0700)]
Don't include config.stamp in dist tarball.

12 years agoTest case to make sure typestate checks the body of class constructors
Tim Chevalier [Wed, 28 Mar 2012 17:31:14 +0000 (10:31 -0700)]
Test case to make sure typestate checks the body of class constructors

12 years agoMake sure type_use.rs doesn't get lost in recursive enums
Marijn Haverbeke [Wed, 28 Mar 2012 08:35:16 +0000 (10:35 +0200)]
Make sure type_use.rs doesn't get lost in recursive enums

Closes #2059

12 years agoAdd config.stamp to .gitignore
Tim Chevalier [Wed, 28 Mar 2012 05:25:10 +0000 (22:25 -0700)]
Add config.stamp to .gitignore

12 years agoEnforce mutability declarations in classes; correct shapes for classes
Tim Chevalier [Wed, 28 Mar 2012 05:08:48 +0000 (22:08 -0700)]
Enforce mutability declarations in classes; correct shapes for classes

1. Enforce mutability declarations on class fields. Don't allow any
mutation of class fields not declared as mutable (except inside the
constructor).

2. Handle classes correctly in shape (treat classes like records).

12 years agomake type_kind exhaustive, add an entry for type_self (in particular)
Niko Matsakis [Tue, 27 Mar 2012 22:42:37 +0000 (15:42 -0700)]
make type_kind exhaustive, add an entry for type_self (in particular)

12 years agoemacs: Make 'mut' a keyword
Brian Anderson [Tue, 27 Mar 2012 22:10:25 +0000 (15:10 -0700)]
emacs: Make 'mut' a keyword

12 years agocore: Rename iter::to_list to to_vec. Closes #2056
Brian Anderson [Tue, 27 Mar 2012 21:50:23 +0000 (14:50 -0700)]
core: Rename iter::to_list to to_vec. Closes #2056

12 years agorust: Remove extensions' dependency on the session
Brian Anderson [Tue, 27 Mar 2012 21:03:57 +0000 (14:03 -0700)]
rust: Remove extensions' dependency on the session

12 years agoMinor typo fixes.
Graydon Hoare [Tue, 27 Mar 2012 20:54:49 +0000 (13:54 -0700)]
Minor typo fixes.

12 years agoPrep docs before pdf.
Graydon Hoare [Tue, 27 Mar 2012 20:07:26 +0000 (13:07 -0700)]
Prep docs before pdf.

12 years agoTweak relnotes.
Graydon Hoare [Tue, 27 Mar 2012 19:54:43 +0000 (12:54 -0700)]
Tweak relnotes.

12 years agoEmergency safe-ref-checker maintenance
Marijn Haverbeke [Tue, 27 Mar 2012 15:22:57 +0000 (17:22 +0200)]
Emergency safe-ref-checker maintenance

It still has some big problems, but at least it more or less
understands block arguments now.

Closes #1925

12 years agoMove some code over to iterator-for to see how it performs.
Marijn Haverbeke [Tue, 27 Mar 2012 13:14:12 +0000 (15:14 +0200)]
Move some code over to iterator-for to see how it performs.

12 years agoRegister new snapshot
Marijn Haverbeke [Tue, 27 Mar 2012 11:53:11 +0000 (13:53 +0200)]
Register new snapshot

12 years agoAdd vec::each, vec::eachi, and list::each
Marijn Haverbeke [Tue, 27 Mar 2012 10:45:42 +0000 (12:45 +0200)]
Add vec::each, vec::eachi, and list::each

For use with the new for construct.

Issue #1619

12 years agoSupport returning from loop blocks
Marijn Haverbeke [Tue, 27 Mar 2012 10:33:13 +0000 (12:33 +0200)]
Support returning from loop blocks

The code is somewhat invasive, but it seems hard to do this in a
clean way, since the design itself involves a bunch of 'action
at a distance'.

Issue #1819

12 years agoSupport an alternate for syntax that calls a higher-order function
Marijn Haverbeke [Mon, 26 Mar 2012 14:09:27 +0000 (16:09 +0200)]
Support an alternate for syntax that calls a higher-order function

The last argument of the call must be a block, and the type of this
argument must a function returning bool. `break` and `cont` are
supported in the body of the block, and return `false` or `true` from
the function. When the end of the function is reached, `true` is
implicitly returned.

    for vec::all([1, 2, 3]) {|elt|
        if elt == 2 { break; }
        log(error, elt);
    }

Issue #1619

12 years agoRegister new snapshots.
Graydon Hoare [Tue, 27 Mar 2012 05:10:02 +0000 (22:10 -0700)]
Register new snapshots.

12 years agoRemove duplicate definition.
Graydon Hoare [Tue, 27 Mar 2012 01:36:48 +0000 (18:36 -0700)]
Remove duplicate definition.

12 years agoBulk-edit mutable -> mut.
Graydon Hoare [Tue, 27 Mar 2012 01:35:18 +0000 (18:35 -0700)]
Bulk-edit mutable -> mut.

12 years agoUpdate release notes.
Graydon Hoare [Tue, 27 Mar 2012 01:17:55 +0000 (18:17 -0700)]
Update release notes.

12 years agoTidy up doc make rules.
Graydon Hoare [Tue, 27 Mar 2012 00:59:09 +0000 (17:59 -0700)]
Tidy up doc make rules.

12 years agoMove config.stamp touch to configure script.
Graydon Hoare [Tue, 27 Mar 2012 00:58:43 +0000 (17:58 -0700)]
Move config.stamp touch to configure script.

12 years agoOnly mention non-host triples if they exist.
Graydon Hoare [Mon, 26 Mar 2012 23:05:49 +0000 (16:05 -0700)]
Only mention non-host triples if they exist.

12 years agoBe more careful with CFG_{SRC,BUILD}_DIR ending in slash.
Graydon Hoare [Mon, 26 Mar 2012 23:05:33 +0000 (16:05 -0700)]
Be more careful with CFG_{SRC,BUILD}_DIR ending in slash.

12 years agoReconfigure less often, and tidy up MKFILE_DEPS.
Graydon Hoare [Mon, 26 Mar 2012 23:04:37 +0000 (16:04 -0700)]
Reconfigure less often, and tidy up MKFILE_DEPS.

12 years agoDisable some advanced (post glibc-2.3) libuv features when building snaps.
Graydon Hoare [Mon, 26 Mar 2012 22:54:22 +0000 (15:54 -0700)]
Disable some advanced (post glibc-2.3) libuv features when building snaps.

12 years agorustc: Begin eliminating ext's dependency on the session
Brian Anderson [Fri, 23 Mar 2012 01:53:30 +0000 (18:53 -0700)]
rustc: Begin eliminating ext's dependency on the session

12 years agorustc: Move eval_const_expr to its own mod
Brian Anderson [Thu, 22 Mar 2012 21:56:56 +0000 (14:56 -0700)]
rustc: Move eval_const_expr to its own mod

12 years agorustc: Combine and unify regions
Patrick Walton [Mon, 26 Mar 2012 22:07:15 +0000 (15:07 -0700)]
rustc: Combine and unify regions

12 years agorustc: "unkown" -> "unknown"
Patrick Walton [Mon, 26 Mar 2012 19:53:06 +0000 (12:53 -0700)]
rustc: "unkown" -> "unknown"

12 years agorustc: Fix typo in infer
Patrick Walton [Mon, 26 Mar 2012 19:52:31 +0000 (12:52 -0700)]
rustc: Fix typo in infer

12 years agorustc: Remove obsolete FIXME in infer
Patrick Walton [Mon, 26 Mar 2012 19:49:14 +0000 (12:49 -0700)]
rustc: Remove obsolete FIXME in infer

12 years agorustc: Generalize resolve_var to work with regions too
Patrick Walton [Mon, 26 Mar 2012 19:40:29 +0000 (12:40 -0700)]
rustc: Generalize resolve_var to work with regions too

12 years agoAdd Jacob Parker to AUTHORS.txt
Brian Anderson [Mon, 26 Mar 2012 19:26:33 +0000 (12:26 -0700)]
Add Jacob Parker to AUTHORS.txt

12 years agoMerge pull request #2054 from j3parker/master
Brian Anderson [Mon, 26 Mar 2012 19:24:53 +0000 (12:24 -0700)]
Merge pull request #2054 from j3parker/master

Minor fixes

12 years agoIn typeck, don't call ty::store_iface_methods on private methods
Tim Chevalier [Mon, 26 Mar 2012 17:45:04 +0000 (10:45 -0700)]
In typeck, don't call ty::store_iface_methods on private methods

This was resulting in a different error message depending on whether
the private method you were trying to call was in the same crate
or a different one.

12 years agoImprove type inference to compute LUB/GLB
Niko Matsakis [Sun, 25 Mar 2012 20:54:05 +0000 (13:54 -0700)]
Improve type inference to compute LUB/GLB

12 years agoRemove stray comment
Tim Chevalier [Mon, 26 Mar 2012 17:04:46 +0000 (10:04 -0700)]
Remove stray comment

12 years agoEnforce privacy declarations for class fields and methods
Tim Chevalier [Mon, 26 Mar 2012 16:59:59 +0000 (09:59 -0700)]
Enforce privacy declarations for class fields and methods

12 years agoFix return-in-block in cargo
Marijn Haverbeke [Mon, 26 Mar 2012 11:16:29 +0000 (13:16 +0200)]
Fix return-in-block in cargo

Which is apparently not built as part of make check

12 years agoCheck in a forgotten new file
Marijn Haverbeke [Mon, 26 Mar 2012 10:54:06 +0000 (12:54 +0200)]
Check in a forgotten new file

12 years agoDisallow ret inside of block functions
Marijn Haverbeke [Mon, 26 Mar 2012 10:39:20 +0000 (12:39 +0200)]
Disallow ret inside of block functions

Also adds proper checking for cont/break being inside a loop.

Closes #1854
Issue #1619

12 years agoFix bug in generation of non-generic resource dtors
Marijn Haverbeke [Mon, 26 Mar 2012 09:31:17 +0000 (11:31 +0200)]
Fix bug in generation of non-generic resource dtors

Issue #1944

12 years agorepair the build---also, make try/commit work over both ty/region vars
Niko Matsakis [Sun, 25 Mar 2012 20:32:13 +0000 (13:32 -0700)]
repair the build---also, make try/commit work over both ty/region vars

12 years agostr::to_chars -> str::chars
Jacob Parker [Sun, 25 Mar 2012 20:29:18 +0000 (16:29 -0400)]
str::to_chars -> str::chars

12 years agoFixed vim highlighting for \' (and other) escapes in char literals
Jacob Parker [Sun, 25 Mar 2012 20:26:48 +0000 (16:26 -0400)]
Fixed vim highlighting for \' (and other) escapes in char literals

12 years agorustc: Generalize several parts of infer in preparation for using them for region...
Patrick Walton [Sun, 25 Mar 2012 06:13:04 +0000 (23:13 -0700)]
rustc: Generalize several parts of infer in preparation for using them for region bounds as well

12 years agocorrect more broken tests
Niko Matsakis [Sun, 25 Mar 2012 05:15:34 +0000 (22:15 -0700)]
correct more broken tests

12 years agoadd test that was failing from tedh
Niko Matsakis [Sun, 25 Mar 2012 04:59:16 +0000 (21:59 -0700)]
add test that was failing from tedh

12 years agoadd annotation for variable that used to infer to bot
Niko Matsakis [Sun, 25 Mar 2012 04:55:53 +0000 (21:55 -0700)]
add annotation for variable that used to infer to bot

12 years agoAvoid unifying vars when possible; handle bot (more) correctly
Niko Matsakis [Sun, 25 Mar 2012 04:24:47 +0000 (21:24 -0700)]
Avoid unifying vars when possible; handle bot (more) correctly

12 years agonew test which features conflicting variance requirements
Niko Matsakis [Sat, 24 Mar 2012 17:14:03 +0000 (10:14 -0700)]
new test which features conflicting variance requirements

12 years agorustc: Stub some region resolution stuff in infer
Patrick Walton [Sun, 25 Mar 2012 04:30:57 +0000 (21:30 -0700)]
rustc: Stub some region resolution stuff in infer

12 years agotest: Rename run-pass/simple-regions.rs to run-pass/regions-simple.rs
Patrick Walton [Sun, 25 Mar 2012 02:21:51 +0000 (19:21 -0700)]
test: Rename run-pass/simple-regions.rs to run-pass/regions-simple.rs

This groups all the region tests under regions-*.

12 years agotest: Add a simple test for dangling pointers
Patrick Walton [Sun, 25 Mar 2012 01:59:11 +0000 (18:59 -0700)]
test: Add a simple test for dangling pointers

12 years agorustc: Add some simple region checking (no region vars yet)
Patrick Walton [Sun, 25 Mar 2012 01:30:53 +0000 (18:30 -0700)]
rustc: Add some simple region checking (no region vars yet)

Amazingly, this causes no test cases to fail!

12 years agoprune unused unification code; leave region code that still needs to be ported
Niko Matsakis [Sat, 24 Mar 2012 16:20:20 +0000 (09:20 -0700)]
prune unused unification code; leave region code that still needs to be ported

12 years agoAllow methods to call other methods in the same class
Tim Chevalier [Sat, 24 Mar 2012 06:08:41 +0000 (23:08 -0700)]
Allow methods to call other methods in the same class

12 years agoAdd another test for cross-crate method calls
Tim Chevalier [Sat, 24 Mar 2012 04:43:10 +0000 (21:43 -0700)]
Add another test for cross-crate method calls

12 years agoadd a few measly comments, remove some dead code
Niko Matsakis [Sat, 24 Mar 2012 05:36:21 +0000 (22:36 -0700)]
add a few measly comments, remove some dead code

12 years agoxfail-test regions tests
Niko Matsakis [Sat, 24 Mar 2012 05:06:39 +0000 (22:06 -0700)]
xfail-test regions tests

12 years agoImplement new inference algorithm.
Niko Matsakis [Fri, 23 Mar 2012 03:06:01 +0000 (20:06 -0700)]
Implement new inference algorithm.

12 years agoFix breakage
Tim Chevalier [Sat, 24 Mar 2012 03:53:38 +0000 (20:53 -0700)]
Fix breakage

12 years agoHandle self correctly when translating classes
Tim Chevalier [Sat, 24 Mar 2012 02:49:01 +0000 (19:49 -0700)]
Handle self correctly when translating classes

This change uses the same code for handling the "self" reference for
classes as is already used for impls/ifaces. This allows removing the
extra maybe_self_id argument (which was just for classes) to trans_closure
that I added before. I also rewrote the translation for class ctors so
that it doesn't generate new AST nodes (instead translating directly).

Also changed visit so that it visits class ctors correctly with visit_fn,
and changed typestate to not do return-checking when visiting a class ctor.

12 years agorustc: Remove `// */` sequence from trans/base.rs; it breaks vi syntax highlighting
Patrick Walton [Sat, 24 Mar 2012 01:21:23 +0000 (18:21 -0700)]
rustc: Remove `// */` sequence from trans/base.rs; it breaks vi syntax highlighting

12 years agorustc: Stub a table of borrowings
Patrick Walton [Sat, 24 Mar 2012 00:28:24 +0000 (17:28 -0700)]
rustc: Stub a table of borrowings

12 years agorustc: Make region folding not descend into function types
Patrick Walton [Sat, 24 Mar 2012 00:04:58 +0000 (17:04 -0700)]
rustc: Make region folding not descend into function types

Since region parameters are always universally quantified at the function
level, this would be incorrect.

12 years agoRemove unneeded code
Tim Chevalier [Fri, 23 Mar 2012 23:21:12 +0000 (16:21 -0700)]
Remove unneeded code

12 years agoRemove ctypes -- it's no longer used.
Tim Chevalier [Fri, 23 Mar 2012 22:50:21 +0000 (15:50 -0700)]
Remove ctypes -- it's no longer used.

12 years agoRemove a FIXME and workaround that appear to be obsolete
Tim Chevalier [Fri, 23 Mar 2012 22:36:40 +0000 (15:36 -0700)]
Remove a FIXME and workaround that appear to be obsolete

12 years agoRemove char::to_lower, char::to_upper, use libc versions instead
Tim Chevalier [Fri, 23 Mar 2012 21:41:02 +0000 (14:41 -0700)]
Remove char::to_lower, char::to_upper, use libc versions instead

As per Graydon's comments on #1985: remove char::to_lower and
char::to_upper. The str versions of these functions now call
libc::tolower and libc::toupper (using wrappers that cast between
char and c_char). Not sure how much better that is, but it at least
makes it clearer that these functions are Unicode-unsafe.

12 years agotest: Add a test case that ensures `ret &EXPR` works.
Patrick Walton [Fri, 23 Mar 2012 23:18:28 +0000 (16:18 -0700)]
test: Add a test case that ensures `ret &EXPR` works.

12 years agorustc: Fix parsing of `ret &EXPR`
Patrick Walton [Fri, 23 Mar 2012 23:15:58 +0000 (16:15 -0700)]
rustc: Fix parsing of `ret &EXPR`

The parser didn't think that `&` could start an expression.

12 years agotest: Fix unresolved name in regions-mock-trans-impls.rs
Patrick Walton [Fri, 23 Mar 2012 22:44:37 +0000 (15:44 -0700)]
test: Fix unresolved name in regions-mock-trans-impls.rs

12 years agotest: Add a version of the "mock-trans" regions test case that uses impls
Patrick Walton [Fri, 23 Mar 2012 22:28:47 +0000 (15:28 -0700)]
test: Add a version of the "mock-trans" regions test case that uses impls

12 years agotest: Fix leak in regions-mock-trans
Patrick Walton [Fri, 23 Mar 2012 22:17:34 +0000 (15:17 -0700)]
test: Fix leak in regions-mock-trans

12 years agotest: Fix whitespace at EOL
Patrick Walton [Fri, 23 Mar 2012 22:05:39 +0000 (15:05 -0700)]
test: Fix whitespace at EOL

12 years agotest: Add a trans.rs-workalike test case for regions
Patrick Walton [Fri, 23 Mar 2012 21:42:39 +0000 (14:42 -0700)]
test: Add a trans.rs-workalike test case for regions

12 years agorustc: Redo region inference to be a bit less broken
Patrick Walton [Fri, 23 Mar 2012 18:37:10 +0000 (11:37 -0700)]
rustc: Redo region inference to be a bit less broken

12 years agoKeep an explicit map of things that have to be spilled
Marijn Haverbeke [Fri, 23 Mar 2012 15:05:53 +0000 (16:05 +0100)]
Keep an explicit map of things that have to be spilled

This prevents us from spilling locals more than once.

Closes #2040

12 years agoRemove last vestiges of old-style intrinsics
Marijn Haverbeke [Fri, 23 Mar 2012 14:05:16 +0000 (15:05 +0100)]
Remove last vestiges of old-style intrinsics

Closes #2048

12 years agoRegister new snapshot
Marijn Haverbeke [Fri, 23 Mar 2012 14:04:14 +0000 (15:04 +0100)]
Register new snapshot

12 years agoRemove more needless context threading in trans
Marijn Haverbeke [Fri, 23 Mar 2012 13:45:47 +0000 (14:45 +0100)]
Remove more needless context threading in trans

12 years agoRevert resolve kludge that was working around #2049
Marijn Haverbeke [Fri, 23 Mar 2012 12:32:00 +0000 (13:32 +0100)]
Revert resolve kludge that was working around #2049

12 years agoFix inconsistent-iteration hazard in map.rs
Marijn Haverbeke [Fri, 23 Mar 2012 12:30:29 +0000 (13:30 +0100)]
Fix inconsistent-iteration hazard in map.rs

Closes #2049

12 years agoStop trying to link intrinsics.bc
Marijn Haverbeke [Fri, 23 Mar 2012 11:57:37 +0000 (12:57 +0100)]
Stop trying to link intrinsics.bc

12 years agoInterpret native mods with ABI rust-intrinsic as builtins
Marijn Haverbeke [Fri, 23 Mar 2012 11:52:53 +0000 (12:52 +0100)]
Interpret native mods with ABI rust-intrinsic as builtins

12 years agoRevert removal of intrinsics
Marijn Haverbeke [Fri, 23 Mar 2012 11:51:20 +0000 (12:51 +0100)]
Revert removal of intrinsics

Oops. We can't do this yet until the next snapshot.

12 years agoClean up some confused shuffling of def_ids in resolve.rs
Marijn Haverbeke [Fri, 23 Mar 2012 11:38:36 +0000 (12:38 +0100)]
Clean up some confused shuffling of def_ids in resolve.rs

12 years agoRename builtin back to intrinsic
Marijn Haverbeke [Fri, 23 Mar 2012 11:03:16 +0000 (12:03 +0100)]
Rename builtin back to intrinsic

As per Graydon's request

Issue #1981

12 years agoRemove support for the old-style intrinsics
Marijn Haverbeke [Fri, 23 Mar 2012 10:51:06 +0000 (11:51 +0100)]
Remove support for the old-style intrinsics

Closes #2042
Closes #1981

12 years agoRegister snapshot, turn off USE_SNAPSHOT flags
Marijn Haverbeke [Fri, 23 Mar 2012 10:38:21 +0000 (11:38 +0100)]
Register snapshot, turn off USE_SNAPSHOT flags

12 years agoKludge in resolve to be able to land builtins
Marijn Haverbeke [Fri, 23 Mar 2012 10:09:19 +0000 (11:09 +0100)]
Kludge in resolve to be able to land builtins

Something strange is happening to hash maps. I'm still investigating but
want to get my snapshot built in the meantime. (Problem only happened on
OS X.)

12 years agoFix bug in function-instance reuse
Marijn Haverbeke [Fri, 23 Mar 2012 09:22:23 +0000 (10:22 +0100)]
Fix bug in function-instance reuse

You can't safely reuse functions that pass a T by move, since they might
zero it out, which will not end well when it doesn't know its precise
size.

12 years agoChange vector append to no longer rely on an intrinsic
Marijn Haverbeke [Thu, 22 Mar 2012 15:02:34 +0000 (16:02 +0100)]
Change vector append to no longer rely on an intrinsic

Issue #1981