about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
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
2011-07-12rustc: Simplify tritv::copy; shaves a couple of seconds off typestate.Patrick Walton-17/+4
2011-07-12Add missing filesTim Chevalier-111/+44
git add didn't, so this actually has the changes that should have been in the previous commit
2011-07-12Fix potential use-before-init bug in transTim Chevalier-5/+9
This was being masked by a bug in typestate (fixed in the next commit).
2011-07-12Update pretty-printing of '...' in record patterns to be ', _' insteadMarijn Haverbeke-1/+4
2011-07-11Fix pretty-printing of literals again. Issue #672Brian Anderson-1/+6
The pos variable is one character beyond where I thought it was.
2011-07-11Make the parser add correct spans to view_itemsTim Chevalier-30/+19
Closes #650.
2011-07-11Pass command-line args to the test runner. Issue #428Brian Anderson-5/+28
This will let the test runner filter the tests it runs.
2011-07-11So... I can't spell 'ellipsis'.Paul Stansifer-8/+8
2011-07-11Change "etc" syntax for record patterns from `{a:b ...}` to `{a:b, _}`.Paul Stansifer-5/+6
2011-07-11Add elipses, reorganize the macro components into their own AST node.Paul Stansifer-103/+206
2011-07-11Move macro expansion to a separate phase, change macro syntax, and add ↵Paul Stansifer-168/+330
parse_sess to session.
2011-07-11Add nodes for embedding types and blocks in expressions for macros.Paul Stansifer-45/+58
2011-07-11Only print up to six lines on error. Print ^~~~~ to highlight error span.Josh Matthews-1/+50
2011-07-11Hack to print lines when error spans are available.Josh Matthews-2/+55
2011-07-11Visit the type argument in a port expressionTim Chevalier-1/+8
This closes #664.
2011-07-11Add parser::parse_crate_from_source_strBrian Anderson-0/+18
The fuzzer wants to be able to do stuff like this
2011-07-11In typeck, check for dynamically sized by-value arguments to thunksTim Chevalier-11/+49
A check in trans didn't have a corresponding check in typeck, causing some programs (to wit, compile-fail/chan-parameterized-args.rs - part of this commit) to fail with an assertion failure in trans instead of a type error. Fixed it. In short, arguments that are future thunk arguments (any spawn arguments, and _ arguments in bind) need to either not contain type params or type vars, or be by-reference. Closes #665.
2011-07-11Pull lexer creation out of new_parserBrian Anderson-15/+20
This will allow custom lexers to be injected into the parser (for fuzzing)
2011-07-11Pull file reading out of the lexerBrian Anderson-10/+11
2011-07-11rustc: Implement explicit global scope resolution via leading "::"; add a ↵Patrick Walton-31/+56
test case
2011-07-11Unify the rhs and lhs types in a sendTim Chevalier-0/+1
Closes #662. One-line fixes are always the best :-D
2011-07-11rustc: Implement pointer dereference; add a test casePatrick Walton-2/+5
2011-07-11Fix comparisons of the nil type to do something sensible.Michael Sullivan-21/+19
Closes #576.
2011-07-11The lexer's get_mark_str should slice by byte position, not char. Closes #654Brian Anderson-3/+4
2011-07-11Use some actual or-patterns in resolve.rsMarijn Haverbeke-70/+34
2011-07-11Fix pretty-printing of record patternsMarijn Haverbeke-3/+3
2011-07-11Fix autoderef of function calls when the function is not an lval.Michael Sullivan-18/+4
As it turns out, the correct way to handle this is much simpler than what I did originally. Also add more tests.
2011-07-11Fix handling of derived tydescs in bind.Michael Sullivan-4/+10
In trans_bind_thunk, we need to load the tydescs from the environment *before* we try to construct derived tydescs from them.