731 Commits

Author	SHA1	Message	Date
Niko Matsakis	638491712e	change region inference to not consider & that appears in a fn ... type as indicating region parameterization	2012-07-27 15:49:03 -07:00
Tim Chevalier	b6aadf56c8	In resolve, check for duplicate pattern-bound vars ... Closes #3038	2012-07-27 13:35:17 -07:00
Graydon Hoare	dbbaa50290	Nomenclature fixes in the lint checker. Fewer double-negatives. ... New style is allow(foo), warn(foo), deny(foo) and forbid(foo), mirrored by -A foo, -W foo, -D foo and -F foo on command line. These replace -W no-foo, -W foo, -W err-foo, respectively. Forbid is new, and means "deny, and you can't override it".	2012-07-26 17:08:33 -07:00
Graydon Hoare	f8dc9283ad	Reject non-UTF-8 files when reading as str. Close #2918.	2012-07-25 15:34:18 -07:00
Niko Matsakis	99674dc52b	avoid capture of bound regions when infering types for closure ... expressions. cc #2981	2012-07-25 05:45:52 -07:00
Niko Matsakis	168306f11b	correct treatment of mutability for deref'd components ... Fixes #2980	2012-07-25 05:45:52 -07:00
Niko Matsakis	f676547c97	Fix intersection of two region params in infer, cc #2962	2012-07-19 10:14:16 -07:00
Patrick Walton	00aa5f163f	test: XFAIL some more in an effort to unbreak the tree	2012-07-19 07:30:37 -07:00
Patrick Walton	f82db5d136	test: Change the expected error message on iface-test.rs to contain "trait" instead of "interface"	2012-07-18 20:42:14 -07:00
Tim Chevalier	3119afc6e8	In resolve3, error on non-existent imports ... Closes #2937	2012-07-18 18:02:07 -07:00
Niko Matsakis	e0ea67a2a6	prevent regions from escaping in ifaces; remove &r.T syntax	2012-07-18 11:48:58 -07:00
Patrick Walton	db020ab63c	rustc: Implement and enforce instance coherence	2012-07-17 15:46:43 -07:00
Niko Matsakis	0e42004bab	introduce an owned kind for data that contains no borrowed ptrs	2012-07-16 20:18:18 -07:00
Niko Matsakis	3ef7ff8b89	infer the scope of borrows	2012-07-14 17:37:32 -07:00
Niko Matsakis	41a21f053c	remove typestate from code, tests, and docs	2012-07-14 17:37:20 -07:00
Michael Sullivan	6822ec3eb4	Treat bare vector and string literals as fixed length vecs. Closes #2922.	2012-07-14 14:30:48 -07:00
Michael Sullivan	d884085f43	Tear out ty_str and ty_vec.	2012-07-14 12:19:36 -07:00
Michael Sullivan	92743dc2a6	Move the world over to using the new style string literals and types. Closes #2907.	2012-07-14 01:03:43 -07:00
Michael Sullivan	f5e69d611e	Change the pretty printer to print vstores for strs in prefix notation.	2012-07-13 17:03:54 -07:00
Lindsey Kuper	5a63b2100e	More consistent use of backticks and "expected" in error messages. ... Got some of the debug messages, here, too. I figure it doesn't hurt to get used to doing this even in places where users won't ever see it.	2012-07-13 15:31:39 -07:00
Niko Matsakis	4c463b78fb	repair error msg	2012-07-13 10:20:51 -07:00
Niko Matsakis	90e435e808	change region syntax to &r/T in place of &r.T	2012-07-13 10:20:50 -07:00
Michael Sullivan	2ea9c8df0f	Accept prefix notation for writing the types of str/~ and friends.	2012-07-12 16:52:26 -07:00
Michael Sullivan	9d2e5f3a65	Merge branch 'rt-changes' into incoming	2012-07-12 15:03:54 -07:00
Michael Sullivan	7b26503566	Make str be treated as str/~.	2012-07-12 00:21:04 -07:00
Niko Matsakis	b9aa9def85	infer when types are region parameterized rather than requiring /& ... - removes various fields from various variants in the AST - also update tests not to use this notation	2012-07-11 14:41:41 -07:00
Michael Sullivan	120773b2a7	Change the interface of placement new to take a tydesc as part of Issue #2831.	2012-07-11 11:42:49 -07:00
Tim Chevalier	f39477d926	In resolve, check that an or-pattern has the same number of bindings in each disjunct ... resolve3 wasn't checking this. Added test cases. Also added a helpful informational message in the case where you have a variable binding that you probably think refers to a variant that you forgot to import. This is easier to do in resolve than in typeck because there's code in typeck that assumes that each of the patterns binds the same number of variables.	2012-07-10 18:24:41 -07:00
Michael Sullivan	bf06deafe6	Disallow implicitly binding methods in typechecker. Closes #2189.	2012-07-10 15:12:13 -07:00
Michael Sullivan	0070527383	Pretty print vectors as ~[] instead of []/~. Closes #2863.	2012-07-10 13:55:19 -07:00
Tim Chevalier	78088fb813	Add test case for issue 2766, which resolve 3 fixes	2012-07-09 19:16:23 -07:00
Patrick Walton	f3b50ae348	test: Remove failing parts of the failing test (requires intertwining of resolve and typechecking)	2012-07-09 12:55:00 -07:00
Ben Blum	8ffab392ab	change borrowck error msg: 'declared in outer block' -> 'captured in a closure' (properly this time)	2012-07-09 14:01:39 -04:00
Patrick Walton	e41029d236	rustc: Switch to the new resolution pass	2012-07-09 10:27:13 -07:00
Niko Matsakis	a856bccdc6	Revert "rustc: Switch to the new resolution pass" ... This reverts commit c4af6e92fb. Branch was burning...many, many unresolved imports.	2012-07-06 20:45:06 -07:00
Patrick Walton	c4af6e92fb	rustc: Switch to the new resolution pass	2012-07-06 19:07:26 -07:00
Lindsey Kuper	47f61c5429	Clean up error message punctuation/capitalization	2012-07-05 16:18:58 -07:00
Ben Striegel	f2e2a14f36	Remove empty argument lists from do expressions	2012-07-04 17:21:29 -07:00
Brian Anderson	ae6ea068a1	Revert "Remove rule requiring non-nil block-style statements to be semi-terminated" ... This reverts commit 0f5eaef5fb.	2012-07-03 17:30:25 -07:00
Brian Anderson	0f5eaef5fb	Remove rule requiring non-nil block-style statements to be semi-terminated ... This is a subtle rule that no longer seems to be required.	2012-07-03 17:03:52 -07:00
Graydon Hoare	be2c92078b	Change crust -> extern.	2012-07-03 16:49:46 -07:00
Graydon Hoare	debb7e4641	Switch 'native' to 'extern' (or 'foreign' in some descriptions)	2012-07-03 16:11:00 -07:00
Brian Anderson	0b1edb7f0e	Update compile-fail/missing-do for new error-comment syntax	2012-07-02 17:39:52 -07:00
Armin Ronacher	1f80b9b90a	Added testcase for the missing do compile note	2012-07-02 17:33:57 -07:00
Brian Anderson	569467eb0d	Merge remote-tracking branch 'Dretch/prettydocs' ... Conflicts: src/compiletest/errors.rs src/libsyntax/parse/attr.rs src/libsyntax/parse/comments.rs src/test/compile-fail/ambig_impl_unify.rs src/test/compile-fail/assign-super.rs src/test/compile-fail/bad-for-loop.rs src/test/compile-fail/bad-var-env-capture-in-block-arg.rs src/test/compile-fail/block-arg-as-stmt-with-value.rs src/test/compile-fail/borrowck-assign-comp-idx.rs src/test/compile-fail/borrowck-lend-flow.rs src/test/compile-fail/borrowck-loan-blocks-move-cc.rs src/test/compile-fail/borrowck-loan-blocks-mut-uniq.rs src/test/compile-fail/borrowck-loan-rcvr.rs src/test/compile-fail/borrowck-loan-vec-content.rs src/test/compile-fail/borrowck-mut-vec-as-imm-slice-bad.rs src/test/compile-fail/cap-clause-with-stack-closure.rs src/test/compile-fail/do1.rs src/test/compile-fail/do2.rs src/test/compile-fail/empty-vec-trailing-comma.rs src/test/compile-fail/evec-subtyping.rs src/test/compile-fail/issue-1896.rs src/test/compile-fail/issue-2149.rs src/test/compile-fail/issue-2150.rs src/test/compile-fail/issue-2487-b.rs src/test/compile-fail/kindck-implicit-close-over-mut-var.rs src/test/compile-fail/liveness-issue-2163.rs src/test/compile-fail/liveness-use-in-index-lvalue.rs src/test/compile-fail/no-reuse-move-arc.rs src/test/compile-fail/no-send-res-ports.rs src/test/compile-fail/non-const.rs src/test/compile-fail/pure-higher-order.rs src/test/compile-fail/pure-loop-body.rs src/test/compile-fail/regions-addr-of-upvar-self.rs src/test/compile-fail/regions-escape-loop-via-vec.rs src/test/compile-fail/regions-scoping.rs src/test/compile-fail/seq-args.rs src/test/compile-fail/tstate-unsat-in-called-fn-expr.rs src/test/compile-fail/tstate-unsat-in-fn-expr.rs src/test/compile-fail/vec-add.rs src/test/compile-fail/vec-concat-bug.rs src/test/compile-fail/vector-no-ann.rs	2012-07-02 15:23:41 -07:00
Brian Anderson	9743757113	syntax: Support dropping argument list from for/do	2012-07-01 22:36:24 -07:00
Brian Anderson	d1fc2b5995	Convert to new closure syntax	2012-07-01 19:19:32 -07:00
Brian Anderson	ed834f0629	syntax: Add support for new lambda syntax	2012-06-30 16:01:52 -07:00
Brian Anderson	a3382b6f26	Eliminate usages of old sugared call syntax	2012-06-30 16:01:49 -07:00
Gareth Daniel Smith	6d86969260	change the test suite //! kind syntax to //~ kind in order to avoid a ... conflict with the new single-line-sugared-inner-doc-comment (`//! ...`).	2012-06-30 12:23:59 +01:00