summary refs log tree commit diff
path: root/src/test/compile-fail
AgeCommit message (Collapse)AuthorLines
2012-03-28Test case to make sure typestate checks the body of class constructorsTim Chevalier-0/+23
2012-03-27Enforce mutability declarations in classes; correct shapes for classesTim Chevalier-0/+34
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).
2012-03-26Bulk-edit mutable -> mut.Graydon Hoare-43/+43
2012-03-26In typeck, don't call ty::store_iface_methods on private methodsTim Chevalier-1/+21
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.
2012-03-26Improve type inference to compute LUB/GLBNiko Matsakis-6/+9
2012-03-26Remove stray commentTim Chevalier-9/+0
2012-03-26Enforce privacy declarations for class fields and methodsTim Chevalier-0/+56
2012-03-26Disallow ret inside of block functionsMarijn Haverbeke-1/+1
Also adds proper checking for cont/break being inside a loop. Closes #1854 Issue #1619
2012-03-24correct more broken testsNiko Matsakis-12/+20
2012-03-24Avoid unifying vars when possible; handle bot (more) correctlyNiko Matsakis-0/+60
2012-03-24new test which features conflicting variance requirementsNiko Matsakis-0/+46
2012-03-24test: Add a simple test for dangling pointersPatrick Walton-0/+9
2012-03-23Implement new inference algorithm.Niko Matsakis-19/+58
2012-03-20Implement an initial version of placement new.Niko Matsakis-0/+15
2012-03-16allow binding of fn~, make result fn@. fixes 1899.Niko Matsakis-22/+0
2012-03-16Check kind bounds when calling methodsMarijn Haverbeke-0/+11
Closes #1915
2012-03-15test: Fix name of bitv typeBrian Anderson-1/+1
2012-03-15Remove support for dynamically-sized types from translation codeMarijn Haverbeke-4/+0
2012-03-14std: Rename the hashmap constructors to conform to new standardsBrian Anderson-1/+1
Instead of using the new_ prefix just name them after their type
2012-03-13Name types after their modules instead of 't'Brian Anderson-1/+1
2012-03-12Libc/os/run/rand/io reorganization. Close #1373. Close #1638.Graydon Hoare-9/+3
- Move io, run and rand to core. - Remove incorrect ctypes module (use libc). - Remove os-specific modules for os and fs. - Split fs between core::path and core::os.
2012-03-11Improve a typechecker error message (wrong type for main())Tim Chevalier-3/+3
As per #1903, state what type is expected for main(). Closes #1903
2012-03-11A few tests for infinite loopsTim Chevalier-0/+13
2012-03-10Tweak some test cases and add a few new onesTim Chevalier-7/+13
2012-03-10Handle infinite-loop poststate correctly in typestateTim Chevalier-1/+1
If control passes an infinite loop (that doesn't have non-local exits), then everything is true.
2012-03-09Add an infinite loop constructTim Chevalier-8/+8
Add a loop {} construct for infinite loops, and use it in test cases. See #1906 for details.
2012-03-07stdlib: Stop incurring vtable dispatch costs when hashmaps are usedPatrick Walton-2/+4
This required changing almost all users of hashmaps to import the hashmap interface first. The `size` member in the hashmap structure was renamed to `count` to work around a name conflict.
2012-03-07Revert "stdlib: Stop incurring vtable dispatch costs when hashmaps are used"Patrick Walton-4/+2
This reverts commit f0250a23d3fa2f8b4a4a4113ca89e41945a4cfed.
2012-03-07stdlib: Stop incurring vtable dispatch costs when hashmaps are usedPatrick Walton-2/+4
This required changing almost all users of hashmaps to import the hashmap interface first. The `size` member in the hashmap structure was renamed to `count` to work around a name conflict.
2012-03-07Improve a type error message (avoid the word 'non-dereferenceable')Tim Chevalier-0/+6
2012-03-05rustc: Lower case error messagesBrian Anderson-37/+37
2012-03-05print type arguments when pretty-printing all nominal typesNiko Matsakis-0/+10
2012-03-02make sure we do not bind unique closures (or blocks, for that matter)Niko Matsakis-0/+32
2012-02-25Disallow type parameters in the main() functionTim Chevalier-0/+2
Closes #1900
2012-02-23Finish cleanup of core::strMarijn Haverbeke-2/+4
Closes #1849
2012-02-22rustc: Don't ignore attributes inside empty mods. Closes #1655Brian Anderson-0/+11
2012-02-22test: Add a test for #1697Brian Anderson-0/+7
2012-02-22Improve error message for use of a non-pure-fn in a predTim Chevalier-1/+1
Closes #1883
2012-02-22Remove preconditions from librariesMarijn Haverbeke-17/+0
Closes #1805
2012-02-17Refactor view_path to parse (but not yet process) export globs, unify code ↵Graydon Hoare-12/+4
paths.
2012-02-16More rigorous reuse of cleanup sequencesMarijn Haverbeke-1/+1
In both landing pads and break/cont/ret unwinding. Closes #300
2012-02-15Rewrite exhaustiveness checkerMarijn Haverbeke-5/+15
Issue #352 Closes #1720 The old checker would happily accept things like 'alt x { @some(a) { a } }'. It now properly descends into patterns, checks exhaustiveness of booleans, and complains when number/string patterns aren't exhaustive.
2012-02-15Fix bug in safe-reference checkerMarijn Haverbeke-1/+1
At some point, a refactor broke the code that handled local declarations to no longer descend into the initializer expressions. Closes #1846
2012-02-14When parsing a source string, fail when the entire string is not parsed.Kevin Atkinson-0/+48
(For now only fail when parse_from_source_str is used to avoid possible compatibility problems; parse_expr_from_source_str still does not check.)
2012-02-14Do a better job of reporting source location for files (i.e. filemap)Kevin Atkinson-0/+51
that are really a substr of another file.
2012-02-14rustc: Typecheck crust functions as *u8Brian Anderson-0/+22
2012-02-13correct error message and add to testNiko Matsakis-0/+1
2012-02-13do not fail if iface/impl method have different number of parametersNiko Matsakis-0/+11
2012-02-13remove leading ::, new testsNiko Matsakis-2/+25
2012-02-11test: Fix cros-crate-glob-collisionBrian Anderson-2/+2