aboutsummaryrefslogtreecommitdiff
path: root/src/test/compile-fail
Commit message (Collapse)AuthorAgeFilesLines
* Remove reserved word tests (since reserved words were removed)Marijn Haverbeke2011-05-137-35/+0
| | | | | | | | Ping me if you disagree, but I think that in a language that's as in-flux as rust currently is, it is silly to try and enforce a single future-compatibility. The reserved words didn't work well with the parser refactor, so I dropped them for the time being. We can, eventually, bring them back as type-only reserved words.
* Implement module namespacesMarijn Haverbeke2011-05-133-3/+6
| | | | | | | Module names no longer clash with type and value names. The tokenizer/parser still needs to be taught to be more careful in identifying keywords, so that we can use 'str' and 'vec' and so as module names.
* Move capture checking into resolve.rsMarijn Haverbeke2011-05-133-1/+25
| | | | | Drops capture.rs. The new algorithm also checks for captures function arguments and obj fields.
* Fix mistaken replacements in error-pattern comments in testsMarijn Haverbeke2011-05-1217-17/+17
|
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-1230-36/+36
| | | | This should be a snapshot transition.
* Add a missed xfail-stage0Marijn Haverbeke2011-05-111-0/+1
|
* Rewrite comp/middle/resolve.rsMarijn Haverbeke2011-05-113-3/+4
| | | | | | | | | * Cleans up the algorithm * Move first pass to walk (second still folds) * Support part of a type/value namespace split (crate metadata and module indices still need to be taught about this) * Remove a few blatant inefficiencies (import tables being recreated for every lookup, most importantly)
* Un-XFAIL compile-fail export tests for stage0Brian Anderson2011-05-106-6/+0
|
* rustc: Alias fix part 2 -- Check that the aliasness of function parameters ↵Patrick Walton2011-05-091-0/+15
| | | | matches. Add a test case.
* Enforce in typechecker that preds return a boolTim Chevalier2011-05-051-1/+3
| | | | as well as a test case
* Test cases for pred / check stuffTim Chevalier2011-05-056-0/+45
|
* Check well-formedness of constraintsTim Chevalier2011-05-052-0/+26
| | | | | | Check that the operand in a constraint is an explicit name, and that the operands are all local variables or literals. Still need to check that the name refers to a pure function.
* Check that the operand in a check is a callTim Chevalier2011-05-051-0/+9
| | | | | | In addition, fix bug in fold that was turning asserts into checks. More typechecking still needs to be done.
* Un-XFAILed not-a-pred in stage0 (it fails correctly)Tim Chevalier2011-05-051-3/+0
|
* Add missing ret statements to check_modBrian Anderson2011-05-046-12/+0
| | | | Un-XFAIL compile-fail export tests
* More export XFAILs.Graydon Hoare2011-05-042-0/+6
|
* XFAIL some compile-fail tests mysteriously failing on win32 tinderbox.Graydon Hoare2011-05-044-0/+12
|
* Change two compile-fail patterns to match rustc output.Graydon Hoare2011-05-042-2/+2
|
* Assume xfail-stage0 implies stage1 and stage2 in tests, for now.Graydon Hoare2011-05-0330-0/+60
|
* Add some tests of tag-export interactionBrian Anderson2011-05-021-0/+17
|
* Add a test that imports can't circumvent exportsBrian Anderson2011-05-011-0/+19
|
* Add a regression test for use of unexported fully-qualified pathsBrian Anderson2011-05-011-0/+21
| | | | | An unexported foo.baz can't be resolved from inside foo when called as foo.baz instead of just baz. This behavior may want to change eventually.
* Hide unexported tag variantsBrian Anderson2011-05-011-0/+17
|
* Implement simple module exportBrian Anderson2011-05-013-2/+46
|
* Enable typestate_checkTim Chevalier2011-04-2811-11/+0
| | | | | Enable typestate checking (just for uninitialized vars) and un-XFAIL the relevant tests for stage0.
* Support all expression forms in typestateTim Chevalier2011-04-282-0/+44
| | | | | | | | | | | | Added support for self_method, cont, chan, port, recv, send, be, do_while, spawn, and ext; handled break and cont correctly. (However, there are no non-xfailed test cases for ext or spawn in stage0 currently.) Although the standard library compiles and all test cases pass with typestate enabled, I left typestate checking disabled as rustc terminates abnormally when building the standard library if so, even though it does generate code correctly.
* Handle nested items correctly in typestate_checkTim Chevalier2011-04-191-0/+12
| | | | | | | | | | | | | | | | | | | | | | | | Summary says it all. Actually, only nested objects and functions are handled, but that's better than before. The fold that I was using before to traverse a crate wasn't working correctly, because annotations have to reflect the number of local variables of the nearest enclosing function (in turn, because annotations are represented as bit vectors). The fold was traversing the AST in the wrong order, first filling in the annotations correctly, but then re-traversing them with the bit vector length for any outer nested functions, and so on. Remedying this required writing a lot of tedious boilerplate code because I scrapped the idea of using a fold altogether. I also made typestate_check handle unary, field, alt, and fail. Also, some miscellaneous changes: * added annotations to blocks in typeck * fix pprust so it can handle spawn * added more logging functions in util.common * fixed _vec.or * added maybe and from_maybe in option * removed fold_block field from ast_fold, since it was never used
* Remove effect system from src.Graydon Hoare2011-04-191-21/+0
|
* Implement the "attempted dynamic environment-capture" error in rustc.Rafael Ávila de Espíndola2011-04-112-0/+30
|
* Disable effect checking in rustbootMarijn Haverbeke2011-04-086-52/+0
|
* Beginnings of support for magical self prefix; nothing profound happening yet.Lindsey Kuper2011-03-291-0/+13
|
* Switch xfail system to use comments embedded in source files.Graydon Hoare2011-03-2551-0/+55
|
* Teach rustc about reserved keywordsBrian Anderson2011-02-227-0/+35
|
* Cleanup for 'be' statement and comments about future typestateBrian Anderson2011-02-102-2/+2
|
* Add compile-fail tests for tail callsBrian Anderson2011-02-102-0/+23
|
* Reenable xfailed tests for rustboot that pass with trivial or no modificationsBrian Anderson2011-01-301-1/+1
|
* Fix test now that we look at the full error-pattern. Also enable it for rustc.Rafael Ávila de Espíndola2011-01-261-1/+1
|
* Print an error if we try to refer to a module in an expr_path.Rafael Ávila de Espíndola2011-01-251-0/+10
|
* Small first step in expr_path. Call find_final_def just to detectRafael Ávila de Espíndola2011-01-251-0/+8
| | | | | unresolved names. find_final_def is going to be extended to return the final expr.
* Enable more tests.Rafael Ávila de Espíndola2011-01-171-1/+1
|
* Fix the import handling in "complex" cases. When looking a.b.c and 'a' is aRafael Ávila de Espíndola2011-01-141-0/+8
| | | | | | | module, we should look for 'b' *just* in the module 'a' and then continue resolving b.c in the environment created by updating *with* a. Still not 100% correct, but getting there.
* Produce better errors for invalid imports.Rafael Ávila de Espíndola2011-01-121-0/+6
|
* Fix two invalid import cases we were not detecting:Rafael Ávila de Espíndola2011-01-112-0/+23
| | | | | | | * If an import was unused we would never print any errors for it. * We would keep the existing environment in scope when descending 'foo.bar' and would find 'bar' in the global environment if there was no 'bar' in 'foo'.
* Further corrections to the Makefile rules covering failing tests.Graydon Hoare2011-01-108-6/+22
|
* Add a check for binding an alias. Good thing, as we had two instances in our ↵Graydon Hoare2010-11-081-0/+7
| | | | library.
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-024-5/+5
|
* Typecheck tags in "alt" patternsPatrick Walton2010-10-142-0/+24
|
* Closed issue 154 - prevents compiler from compiliing a line to zero statementsOr Brostovski2010-09-301-0/+7
|
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare2010-09-201-2/+2
| | | | translate 0-ary constructors as constants. Rustc loses ~300kb.
* Check for infinitely sized tags. Un-XFAIL ↵Patrick Walton2010-09-161-2/+5
| | | | test/compile-fail/infinite-tag-type-recursion.rs.
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 12:15:11 +0000