about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-07-14Consolidate some arguments in typeck by just passing the record they came from.Michael Sullivan-12/+12
2011-07-14Factor out build_environment's code to find a variable in a function context.Michael Sullivan-18/+24
2011-07-14Factor out closure construction from trans_for_each.Michael Sullivan-14/+24
2011-07-14Fix array out of bounds index in load_environment.Michael Sullivan-3/+3
Closes #696.
2011-07-14rustc: Move metadata::encoder over to interior vectorsPatrick Walton-52/+56
2011-07-14Add a facility for ignoring tests. Issue #428Brian Anderson-8/+31
Adding the #[ignore] attribute will cause the test not to be run, though it will still show up in the list of tests.
2011-07-14Fix long line.Graydon Hoare-1/+2
2011-07-14Move rustc to the new llvm type system. Requires an update to llvm trunk.Rafael Ávila de Espíndola-55/+40
2011-07-14rustc: Move much of metadata reading over to interior vectorsPatrick Walton-336/+337
2011-07-14rustc: First stab at interior string literals, untested as of yetPatrick Walton-12/+86
2011-07-14The test runner's main returns unit, not int. Issue #428Brian Anderson-1/+1
The appropriate way to indicate failure from main is to fail.
2011-07-14Revert "Allow main to return int"Brian Anderson-4/+1
This reverts commit 8c94d8fd54ba864e6a603ba6d90d41ccfaa62f53. There's no mechanism to actually return the value from main, so all this does is allow main -> int to compile. Per #688, the program returns non-zero on failure, so it's not obvious that this change is appropriate at this time.
2011-07-14Flag --test implies '--cfg test'. Issue #428Brian Anderson-6/+59
So certain code can be conditionally compiled only when building for testing
2011-07-14Keep a pointer to rust_object_type.Rafael Ávila de Espíndola-7/+9
2011-07-14Main part of the type system rewrite:Rafael Ávila de Espíndola-75/+87
Change the type of all objects to be { {}*, {}* }.
2011-07-13Allow main to return intBrian Anderson-1/+4
2011-07-13Make resolve and the typechecker check for a main fn of theTim Chevalier-10/+77
correct type This means if a non-library program leaves out the main program, the error gets caught earlier than link. Closes #626.
2011-07-13rustc: Remove some interior vectors from ty, except the ones that I think ↵Patrick Walton-35/+8
were causing crashes before
2011-07-13Small cleanups that were missing in the last patch.Rafael Ávila de Espíndola-4/+3
2011-07-13Next step in the type system change. Add task_type to the context.Rafael Ávila de Espíndola-37/+43
2011-07-13rustc: Remove exterior vectors from resolve againPatrick Walton-29/+26
This reverts commit 6390c43dc465b7c89eb542855bdfe12103ee330f.
2011-07-13First step in the typesystem rewrite:Rafael Ávila de Espíndola-84/+84
Create the typedesc type in one place. That is where it will be named.
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-210/+210
2011-07-13Use more precise spans in error messages for bad FRU exprsTim Chevalier-9/+15
The type error message for an expression using FRU where a field expression had the wrong type was using the span for the entire expression. Fixed it to use the span for the individual field. Closes #628.
2011-07-13Parse nullary ret correctlyTim Chevalier-9/+7
ret is similar to fail: if not followed by an expression, it should be parsed as a ret without an argument. The old version would fail if ret was followed by a close paren (for example). Fixed it. Closes #676.
2011-07-13Add some missing cases to token::can_begin_exprTim Chevalier-0/+4
2011-07-13Refactor out some repetetive code in trans_altMarijn Haverbeke-59/+46
2011-07-13Add box patternsMarijn Haverbeke-13/+56
An @ can now be prepended to a pattern to unbox something during pattern matching. Closes #661
2011-07-13box patterns, expect for the trans partMarijn Haverbeke-3/+35
2011-07-13Do not allow moving out of obj fields, properly check move initsMarijn Haverbeke-87/+85
Closes #591
2011-07-12Revert "rustc: Remove some exterior vectors from ty.rs"Patrick Walton-15/+42
This reverts commit 01ea0647bb9773f44a8100c461af30046c3293aa.
2011-07-12Revert "rustc: Remove exterior vectors from resolve"Patrick Walton-26/+29
This reverts commit 0ffe8c81c31f00e7a032d88d5397930fefbfc97f.
2011-07-12rustc: Remove the last few exterior vectors from typeckPatrick Walton-42/+25
2011-07-12rustc: Remove a few scattered uses of exterior vectors from typestatePatrick Walton-18/+6
2011-07-12rustc: Remove exterior vectors from resolvePatrick Walton-29/+26
2011-07-12rustc: Remove some exterior vectors from ty.rsPatrick Walton-42/+15
2011-07-12rustc: Remove some useless std::vec importsPatrick Walton-5/+0
2011-07-12Fix fast-check target by disabling code snippet printing on warnings (broken ↵Graydon Hoare-1/+4
on .rc files) and adding an xfail-fast flag for global-scope.rs.
2011-07-12Simplify the code for generating tests. Issue #428Brian Anderson-17/+10
2011-07-12Log the synthesized __test module. Issue #428Brian Anderson-4/+8
2011-07-12Elide existing main function when building a test runner. Issue #428Brian Anderson-1/+25
This prevents any defined main function from colliding with the one synthesized for the test runner. This is not the best solution since it doesn't compile a function the user defined, but I don't think it's likely to be a problem in the near term.
2011-07-12Fix type inference of fn tail expressions. Closes #680Brian Anderson-4/+5
2011-07-12rustc: Remove some interior vectors from typestate and some useless ↵Patrick Walton-26/+7
vec-related imports
2011-07-12rustc: Move ppaux away from exterior vectorsPatrick Walton-22/+14
2011-07-12rustc: Complete the transition of pprust to interior vectorsPatrick Walton-80/+48
2011-07-12rustc: Remove exterior vectors from front::attrPatrick Walton-12/+11
2011-07-13Use switches rather than chained conditionals to compile alt matchesMarijn Haverbeke-219/+433
This also moves the alt-related trans code into its own file. Closes #467
2011-07-12Make resolve check for type-variable name-shadowingTim Chevalier-5/+18
Capturing a type argument in the enclosing scope should be an error -- this commit implements that check in resolve, avoiding a potential assertion failure in trans. Closes #648.
2011-07-12Remove some obsolete comments.Lindsey Kuper-9/+0
2011-07-12"Narrow scope forgives many sins." -- M. SchwernLindsey Kuper-15/+14