about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
2011-07-16rustc: Implement immediates in the DPS engine; it should now always be at ↵Patrick Walton-16/+49
least as efficient as the original engine (and typically much more).
2011-07-15rustc: Implement interior string logging in DPSPatrick Walton-3/+7
2011-07-15rustc: Implement logging in DPSPatrick Walton-9/+109
2011-07-15rustc: Translate literals in DPS style; no constification of strings yet.Patrick Walton-7/+174
2011-07-15rustc: Write names of local variables into the LLVM IR when debug mode is onPatrick Walton-0/+3
2011-07-15gather_locals shouldn't descend down into fns and items.Michael Sullivan-1/+10
2011-07-15Convert gather_locals to use visit.Michael Sullivan-18/+21
2011-07-15rustc: Introduce a stub destination-passing-style translation engine, ↵Patrick Walton-11/+175
accessible via the --dps switch for now
2011-07-15rustc: Remove a bunch of exterior vectorsPatrick Walton-96/+95
2011-07-15Getting rid of unnecessary casts for objects.Lindsey Kuper-3/+0
Now that all objects are of rust_object_type in the wake of the LLVM type system rewrite, we don't need this cast anymore.
2011-07-14refactor: Move the task and communication-related translation functions to a ↵Eric Holk-284/+310
new module.
2011-07-14Make collect_upvars know about function args.Michael Sullivan-1/+6
Closes #697.
2011-07-14Generalize collect_upvars to work over any type of ast node.Michael Sullivan-7/+12
2011-07-14refactor: Move the LLVM type and constant constructors into a new module.Eric Holk-430/+494
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-14Move rustc to the new llvm type system. Requires an update to llvm trunk.Rafael Ávila de Espíndola-29/+32
2011-07-14rustc: First stab at interior string literals, untested as of yetPatrick Walton-12/+86
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-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-8/+65
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-24/+29
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-71/+71
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-108/+108
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-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-0/+18
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-2/+0
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-16/+7
vec-related imports
2011-07-13Use switches rather than chained conditionals to compile alt matchesMarijn Haverbeke-219/+431
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 10:03:00 +0000