about summary refs log tree commit diff
path: root/src/test/compile-fail
AgeCommit message (Expand)AuthorLines
2011-07-14XFAIL some tests in stage 0Brian Anderson-0/+2
2011-07-13Make resolve and the typechecker check for a main fn of theTim Chevalier-0/+12
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-10/+10
2011-07-13Add test case from issue #675. The previous fix actually fixes this too.Tim Chevalier-0/+5
2011-07-12Make resolve check for type-variable name-shadowingTim Chevalier-5/+8
2011-07-12Change typestate to use visit instead of walkTim Chevalier-0/+8
2011-07-11Move macro expansion to a separate phase, change macro syntax, and add parse_...Paul Stansifer-3/+3
2011-07-11In typeck, check for dynamically sized by-value arguments to thunksTim Chevalier-0/+28
2011-07-11Implement record patternsMarijn Haverbeke-0/+14
2011-07-11Implement or-patterns in case clausesMarijn Haverbeke-0/+12
2011-07-08Tests for constraint propagationTim Chevalier-0/+21
2011-07-08Improve the error message for import glob collisions. Closes #482Brian Anderson-0/+14
2011-07-06Swap the expected/actual for typechecking fields of updated recordsBrian Anderson-0/+9
2011-07-06Add a compile-fail test for attempts to extend non-objects.Lindsey Kuper-0/+13
2011-07-05Require that the meta items in a use statement have unique namesBrian Anderson-0/+7
2011-07-05Error if the link attribute has duplicate items. Issue #614Brian Anderson-0/+7
2011-07-05Add a test file for distinct ty_native typesMarijn Haverbeke-0/+7
2011-07-03Make non-str fail expression a type checking failure instead of a translation...Josh Matthews-0/+5
2011-07-02Fix assertion failure when syntax extension name is missing.Josh Matthews-0/+5
2011-07-02Fix the error-pattern on compile-fail/fail-simpleBrian Anderson-1/+1
2011-07-01Add a test for mismatched crate metadata in use statementsBrian Anderson-0/+5
2011-07-01Implement autoderef for function calls.Michael Sullivan-0/+7
2011-06-29Re-enable tidy (it was broken) and fix various non-tidy things.Graydon Hoare-13/+13
2011-06-28Support attaching attributes to modules via the crate file. Issue #487Brian Anderson-1/+1
2011-06-28Require that both sides of a swap be lvals.Michael Sullivan-0/+5
2011-06-28Add test case for non-matching crate metadata in use statementsBrian Anderson-0/+4
2011-06-28Another test for typestate and expr_fnTim Chevalier-0/+10
2011-06-28Handle lazy binops properly in typestateTim Chevalier-0/+18
2011-06-28Tests only: more tests with constraints and loopsTim Chevalier-0/+53
2011-06-28Use 'resource' rather than 'res' as a keywordMarijn Haverbeke-1/+1
2011-06-28Add test cases for resourcesMarijn Haverbeke-0/+8
2011-06-28'#simplext' -> '#macro'Paul Stansifer-2/+2
2011-06-28Add simple syntax extension (#simplext)Paul Stansifer-1/+14
2011-06-27Tests for while loops that may invalidate constraintsTim Chevalier-0/+34
2011-06-25Fail typechecking for bad binop/type combinationsBrian Anderson-0/+51
2011-06-25Add a test for mismatched types when comparing functionsBrian Anderson-0/+8
2011-06-25Remove variable name 'res' from test suiteMarijn Haverbeke-1/+1
2011-06-24Invalidate constraints correctly after an assignment expressionTim Chevalier-0/+40
2011-06-24Add a test that tests typestate checking inside of fn exprs.Michael Sullivan-0/+11
2011-06-23Correct error message for argument mode mismatchTim Chevalier-0/+9
2011-06-22Compute typestate properly for moveTim Chevalier-0/+6
2011-06-22rustc: Convert field access on invalid types from an ICE to a fatal errorBrian Anderson-1/+11
2011-06-22rustc: Don't commit unification changes until unify succeedsBrian Anderson-0/+9
2011-06-22Fix bug: globbed imports were importing everything visible from the otherPaul Stansifer-0/+14
2011-06-22rustc: Introduce and parse additional meta_item formsBrian Anderson-0/+6
2011-06-22test: Enable more testsBrian Anderson-8/+2
2011-06-21Emit a better error message for unbound type parameters in nested functionsTim Chevalier-0/+11
2011-06-21Serialize constraints in types (literal arguments still not supported)Tim Chevalier-2/+11
2011-06-18Typecheck block tail expressions that are fn return valuesBrian Anderson-0/+9
2011-06-17Restructure the "checking" pass in typestateTim Chevalier-0/+30