| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-01-16 | Minor cleanups to custom discriminator code. | Kevin Atkinson | -4/+4 | |
| Mostly updates to the comments and docs from Pull Request #1537. | ||||
| 2012-01-16 | Remove misguided indirect return in trans_closure | Marijn Haverbeke | -8/+4 | |
| Closes #1528 | ||||
| 2012-01-16 | Store type names in crate metadata | Marijn Haverbeke | -1/+6 | |
| Improves type error messages referring to external types. Issue #1507 | ||||
| 2012-01-16 | Don't evaluate discriminator value constants when parsing. | Kevin Atkinson | -5/+84 | |
| Remove disr_val from ast::variant_ and always use ty::variant_info when the value is needed. Move what was done during parsing into other passes, primary typeck.rs. This move also correctly type checks the disr. value expression; thus, fixing rustc --pretty=typed when disr. values are used. | ||||
| 2012-01-13 | Undo over-enthusiastic obj system removal in debuginfo. | Josh Matthews | -0/+3 | |
| 2012-01-13 | llvm: Switch back to LLVM trunk | Brian Anderson | -1/+1 | |
| 2012-01-13 | distinguish "any closure" and "stack closure" (block) | Niko Matsakis | -15/+29 | |
| 2012-01-13 | make blocks fn& and fn stand for "any closure" | Niko Matsakis | -0/+2 | |
| 2012-01-13 | deprecate fn exprs and the fn() type, preferring fn@ and native fn | Niko Matsakis | -47/+49 | |
| 2012-01-13 | Obj system? What obj system? | Marijn Haverbeke | -1690/+128 | |
| Removes the obj system from the compiler. Closes #1484 | ||||
| 2012-01-13 | Remove all remaining uses of objs from the compiler | Marijn Haverbeke | -31/+32 | |
| 2012-01-12 | Add type parameters when checking wildcard patterns | Tim Chevalier | -1/+12 | |
| For some reason, wildcard patterns were never getting type parameter substitutions attached. This would cause an assertion failure when checking a wildcard pattern that matches against a tag with polymorphic type (not sure why this didn't come up before). Fixed it. (The diff and test case may be easier to understand than this note :P) Closes #1503. | ||||
| 2012-01-12 | add tydescs into shape, rewrite walk_fn_contents() | Niko Matsakis | -14/+5 | |
| 2012-01-12 | free uniq data we encounter on the sweep, walk thru them otherwise | Niko Matsakis | -5/+29 | |
| 2012-01-12 | Make driver::session::session no longer an object | Marijn Haverbeke | -76/+99 | |
| Rather, it is now a struct where properties like opts are accessed directly, and the error-reporting methods are part of a static impl (with the same name as the type). | ||||
| 2012-01-12 | Implement passing cast-to-vtable values as bounded params | Marijn Haverbeke | -76/+155 | |
| Closes #1492 | ||||
| 2012-01-12 | Cleanups to previous commits for issue #1393. | Kevin Atkinson | -5/+5 | |
| 2012-01-11 | Fix dependency bug iface-did-of-impl resolving | Marijn Haverbeke | -9/+10 | |
| By simply not resolving that def id until the typeck pass. Closes #1494 | ||||
| 2012-01-11 | Implement std::map as an iface/impl instead of an obj | Marijn Haverbeke | -82/+8 | |
| 2012-01-11 | Fix regression in resolving of external impls | Marijn Haverbeke | -5/+8 | |
| 2012-01-11 | Pass type with params intact as item_type for method callees | Marijn Haverbeke | -7/+6 | |
| This prevents trans_args from optimizing out nil return types. The method might be generic, in which case it *will* write to a nil retptr. | ||||
| 2012-01-10 | Add support for casting enum-like tags to scalar values. | Kevin Atkinson | -5/+48 | |
| 2012-01-10 | Support explicit discriminant numbers on tag variants. | Kevin Atkinson | -25/+18 | |
| Addresses issue #1393. For now disallow disr. values unless all variants use nullary contractors (i.e. "enum-like"). Disr. values are now encoded in the crate metadata, but only when it will differ from the inferred value based on the order. | ||||
| 2012-01-10 | replace lambda with fn@ | Niko Matsakis | -15/+10 | |
| 2012-01-10 | rename sendfn to fn~, lambda to fn@ | Niko Matsakis | -62/+54 | |
| 2012-01-10 | rustc: Remove sret attributes from functions | Brian Anderson | -13/+3 | |
| Something about the way we're using it is causing incorrect code generation. Closes #1343 | ||||
| 2012-01-09 | Change all uses of 'when' in alt-patterns to 'if' | Austin Seipp | -6/+6 | |
| Issue #1396 | ||||
| 2012-01-09 | Remove proto_sugar and 'lambda' as keyword, commit to fn@. | Graydon Hoare | -30/+29 | |
| 2012-01-09 | Iface types are not structural | Marijn Haverbeke | -2/+1 | |
| Not sure how they ended up being marked as such. | ||||
| 2012-01-09 | Work around recursive type check for iface types | Marijn Haverbeke | -3/+7 | |
| They are nominal, and can safely refer to themselves. | ||||
| 2012-01-09 | Properly recognize self as an upvar when closed over | Marijn Haverbeke | -34/+27 | |
| Closes #1463 | ||||
| 2012-01-09 | Fix #1474: check that block args resolved to bare fns do not make use of upvars | Niko Matsakis | -8/+13 | |
| 2012-01-09 | Don't resolve upvars in fn() { ... } exprs | Marijn Haverbeke | -6/+3 | |
| Closes #1467 | ||||
| 2012-01-08 | correct long line | Niko Matsakis | -2/+2 | |
| 2012-01-08 | modify last use to take into account cap clause, add new test | Niko Matsakis | -9/+44 | |
| 2012-01-08 | First barely-working version of casting to iface | Marijn Haverbeke | -33/+99 | |
| Issue #1437 | ||||
| 2012-01-08 | Add fall-through case for non-iface bounds typeck::lookup_method | Marijn Haverbeke | -0/+1 | |
| Closes #1462 | ||||
| 2012-01-06 | choose a new arbitrary value | Niko Matsakis | -2/+2 | |
| 2012-01-06 | revert changes to trans_uniq.rs | Niko Matsakis | -4/+14 | |
| 2012-01-06 | revert metrics | Niko Matsakis | -82/+94 | |
| 2012-01-06 | plug leak: free shared type descrs recursively, as we ought to | Niko Matsakis | -2/+6 | |
| 2012-01-06 | hack the tydesc that is registered with a malloc to be what cc expects | Niko Matsakis | -22/+47 | |
| 2012-01-06 | fix how we walk functions to match new closure fmt | Niko Matsakis | -3/+8 | |
| 2012-01-06 | rejigger impl to have an opaque closure ptr rather than | Niko Matsakis | -297/+384 | |
| opaque closure | ||||
| 2012-01-06 | collapse sizeof, alignof into metrics, pass along an instance if avail | Niko Matsakis | -47/+78 | |
| 2012-01-06 | make size_of and align_of take an optional value | Niko Matsakis | -101/+103 | |
| 2012-01-06 | emit the take glue for closure tydescs | Niko Matsakis | -0/+1 | |
| 2012-01-06 | simplify task impl | Niko Matsakis | -1/+1 | |
| 2012-01-06 | Disallow variable names that shadow tags in scope | Tim Chevalier | -64/+151 | |
| Now, if you have a tag named "foo", a variable declaration like "let foo..." is illegal. This change makes it possible to eliminate the '.' after a nullary tag pattern in an alt (but I'll be doing that in a future commit) -- as now it's always obvious whether a name refers to a tag or a new declared variable. resolve implements this change -- all the other changes are just to get rid of existing code that declares variables that shadow tag names. | ||||
| 2012-01-06 | Eliminate a use of map::get in freevars | Tim Chevalier | -14/+21 | |
| map::get is evil -- just say no! | ||||
