about summary refs log tree commit diff
path: root/src
AgeCommit message (Collapse)AuthorLines
2011-09-01Store arg mode and objfield mutability in their defMarijn Haverbeke-43/+43
2011-09-01Clean up handling of restriction contexts in alias analysisMarijn Haverbeke-93/+94
2011-08-31Reexport std::str::alloc. Windows still needs this. Issue #855Brian Anderson-1/+1
2011-08-31Expose STDERR to rust.Erick Tryzelaar-0/+4
2011-08-31rt: Make the dynamic stack self-describingPatrick Walton-25/+74
2011-08-31rt: Set n_params appropriately in upcall_get_type_descPatrick Walton-0/+1
2011-08-31Start paring down std::str. Issue #855Brian Anderson-721/+398
2011-08-31Convert benchmarks to istrs. Issue #855Brian Anderson-103/+97
2011-08-31Convert fuzzer to istrs. Issue #855Brian Anderson-83/+84
2011-08-31Remove more uses of str from std::run. Issue #855Brian Anderson-23/+23
2011-08-31Remove a few more usages of std::str from rustc. Issue #855Brian Anderson-7/+5
2011-08-31rt: Prevent trailing commas from showing up when logging oddly aligned arraysPatrick Walton-16/+24
2011-08-31rt: Introduce "end_dp" bailouts in order to avoid marching past the end of ↵Patrick Walton-19/+32
oddly aligned vectors
2011-08-31rt: Make |align| a member of the shape glue class instead of threading it ↵Patrick Walton-231/+240
through every function
2011-08-31Don't check arguments types if there are an incorrect number of args. Closes ↵Michael Sullivan-5/+3
#871.
2011-08-31Check all paths return properly in blocks. Closes #874.Michael Sullivan-1/+6
2011-08-31Get rid of the hack that ignores () typed things in fn tail position.Michael Sullivan-30/+15
Closes #868. Unfortunately, this causes certain invalid programs to fail type-checking instead of failing type-state when a type-state error message would probably be more intuitive. (Although, by any reasonable interpretation of the static semantics, it technically ought to be a type error.)
2011-08-31Convert uses of #fmt to #ifmt. Issue #855Brian Anderson-380/+345
2011-08-31Produce the start of an immutable treemap.Michael Sullivan-0/+82
2011-08-31Replace xfail-stageN with simply xfail-testMarijn Haverbeke-127/+46
Closes #799
2011-08-31Revert "Replace xfail-stageN with simply xfail-test"Marijn Haverbeke-40/+118
This reverts commit 574194f6bcfb90b9f8486002b83babc4c21208c0.
2011-08-31Replace xfail-stageN with simply xfail-testMarijn Haverbeke-118/+40
Closes #799
2011-08-31Register new snapshotsBrian Anderson-0/+5
2011-08-30Allow main to take istrs. Issue #855Brian Anderson-10/+93
2011-08-30Convert compiletest to istrs. Issue #855Brian Anderson-213/+248
2011-08-30Convert #env to istrs. Temporarily disable usage in rustc. Issue #855Brian Anderson-3/+5
2011-08-30Add a FIXME about the bogosity of aio::ip_to_sbufBrian Anderson-0/+3
2011-08-30Convert std::net to istrs. Issue #855Brian Anderson-17/+21
2011-08-30Support istrs as fail argument. Issue #855Brian Anderson-7/+25
2011-08-30Add #ifmt extension, like #fmt but for istrs. Issue #855Brian Anderson-153/+948
2011-08-30Remove the %S istr conversion from #fmtBrian Anderson-16/+0
I want to do the #fmt transition a different way. Issue #855
2011-08-30rt: Override the character interpretation of u8/i8 values when loggingPatrick Walton-1/+19
2011-08-30rustc: Hoist derived tydesc GC roots up to the top of the function so the GC ↵Patrick Walton-4/+7
doesn't try to access uninitialized tydescs
2011-08-30Un-xfail zip-same-lengthTim Chevalier-5/+3
There was a type error that was getting reported poorly. Fixed it. (Now to figure out why the error was reported so poorly...)
2011-08-30Add a total version of vec::last that has a preconditionTim Chevalier-0/+5
2011-08-30XFAIL zip-same-length -- that's ok, since it's a new testTim Chevalier-3/+5
2011-08-30Library test cases for vec::zipTim Chevalier-0/+60
2011-08-30Add a precondition on vec::zipTim Chevalier-14/+54
vec::zip now has the precondition that the two argument vectors are the same length. Changed uses of it to reflect that. Also added a few vector-enumerating utilities to vec.rs, which necessitated in making some functions in u8 declared-pure.
2011-08-30Test that fn preconditions get typecheckedTim Chevalier-0/+18
2011-08-30Typecheck function preconditionsTim Chevalier-50/+107
It turned out that function preconditions weren't getting checked at all, so you could write a constraint on a fn decl that was total nonsense. Fixed now.
2011-08-30Eliminate an unchecked use of map::get in ppauxTim Chevalier-1/+5
2011-08-30rt: Fix logging of type-parametric resourcesPatrick Walton-31/+31
2011-08-30rustc: Allow non-type-parametric resources to be loggedPatrick Walton-20/+62
2011-08-30Stop relying on klunky hack in alias.rsMarijn Haverbeke-29/+41
It assumed node_ids increased monotonically for locals, but macros make this no longer the case, and it was a dubious assumption anyway. It now numbers locals itself and uses that to determine which precede which.
2011-08-30Clean up trans_build, factor repeated code into functionMarijn Haverbeke-282/+105
2011-08-30Change a number of result-returning functions to return @block_ctxtMarijn Haverbeke-234/+187
The uniformity doesn't seem to be worth the extra noise and pointless code being generated. If something doesn't produce a value, don't make it return one. (For now, trans_[exprtype] things are left in the result- returning form, even when they never return anything useful, since in that case uniformity is arguably helpful.)
2011-08-30Remove compiler-bug-workaround that's no longer neededMarijn Haverbeke-14/+4
2011-08-30Glob-import trans_build in other trans filesMarijn Haverbeke-450/+449
The capitalization already prevents name clashes. Being able to refer to the bitcode-construction primitives directly makes the code cleaner.
2011-08-29Stab-in-the-dark error fix for the crashing windows tinderboxes. Helps win2 ↵Graydon Hoare-2/+4
anyways.
2011-08-29rt: Have data::walk_fn be defensive regarding whether the derived ↵Patrick Walton-1/+2
implementation of walk_fn moves the data pointer