about summary refs log tree commit diff
path: root/src
AgeCommit message (Collapse)AuthorLines
2011-08-05Basic async IO module using libuvRob Arnold-14/+721
2011-08-05Integrate libuv into the build systemRob Arnold-0/+5
2011-08-05Drop in libuv rev 2b5707d834a6b85b8e589ac04cb61a6db2dab94bRob Arnold-0/+64837
2011-08-05Log tags in memory_region::{free,realloc}Rob Arnold-4/+4
Make this useful and consistent with the destructor.
2011-08-05rustc: Add inlineness to the fn decl insteadPatrick Walton-0/+10
2011-08-05Revert "rustc: Introduce the concept of inline to the AST"Patrick Walton-104/+86
This reverts commit 9b9170f9fe2e4701255a5bd0630c203409d8e934.
2011-08-05rustc: Introduce the concept of inline to the ASTPatrick Walton-86/+104
2011-08-05etc: Update the Vim syntax mode with new keywordsPatrick Walton-6/+6
2011-08-05(Almost) Always unify a function tail expr with the function result typeTim Chevalier-6/+42
typeck::check_fn had an exception for the case where the tail expr was compatible with type nil -- in that case, it doesn't unify the tail expr's type with the enclosing function's result type. This seems wrong to me. There are several test cases in Issue #719 that illustrate why. If the tail expr has type T, for some type variable T that isn't resolved when this check happens, then T never gets unified with anything, which is incorrect -- T should be unified with the result type of the enclosing function. (The bug was occurring because an unconstrained type variable is compatible with type nil.) Instead, I removed the check for type nil and added a check that the function isn't an iterator -- if it's an iterator, I don't check the tail expr's type against the function result type, as that wouldn't make sense. However, this broke two test cases, and after discussion with brson, I understood that the purpose of the check was to allow semicolons to be omitted in some cases. The whole thing seems rather ad hoc. But I came up with a hacky compromise solution: instead of checking whether the tailexpr type is *compatible* with nil, we now just check whether it *is* nil. This also necessitates calling resolve_type_vars_if_possible before the check happens, which worries me. But, this fixes the bug from Issue #719 without requiring changes to any test cases. Closes #719 but I didn't try every variation -- so reopen the bug if one of the variations still doesn't work.
2011-08-04Prohibit assignment to upvars in lambdas. Closes #805.Michael Sullivan-5/+58
2011-08-04Revert "rustc: Don't emit memset for non-structural types" due to crashesPatrick Walton-13/+2
This reverts commit 3d5a777fe19ab210aedf473678687a98023ff586.
2011-08-04rustc: Don't emit memset for non-structural typesPatrick Walton-2/+13
2011-08-04Add a cleanup for copying closures. Closes #804.Michael Sullivan-0/+10
2011-08-04Don't force resolution of type variables until there is no enclosing ↵Michael Sullivan-8/+14
function scope. Closes #803.
2011-08-04stdlib: Pass getopt matches by aliasPatrick Walton-8/+8
2011-08-04rustc: bzero in drop_slotPatrick Walton-1/+1
2011-08-04Enable creation of backwarding vtables (issue #702), but don't startLindsey Kuper-160/+232
using them yet. Also, refactor process_fwding_mthd into separate functions to handle backwarding and forwarding, and refactor create_vtbl to be more digestible.
2011-08-04rustc: bzero in zero_alloca. Shaves off a second or three.Patrick Walton-1/+1
2011-08-04Use lambdas in gather_locals in typeck.Michael Sullivan-57/+36
2011-08-04Use lambdas in the freevars pass.Michael Sullivan-64/+50
2011-08-04rustc: Use memmove in copy_ty. 45% LLVM codegen speed improvement.Patrick Walton-2/+7
2011-08-04Handle alt on a _|_ - typed valueTim Chevalier-1/+4
Return the result of the discriminant from trans_alt, rather than nil, in the _|_ case. This was breaking the enclosed test case (alt-bot-2) when optimization was disabled. Closes #769
2011-08-04Add a fast path in ty::occurs_check_failsTim Chevalier-1/+5
Use type_contains_vars in occurs_check_fails to avoid doing any work most of the time. This fixes a performance regression. (No one else noticed yet that typechecking just got 4x slower, right? Well, now it isn't anymore. :-})
2011-08-04Implement the occurs checkTim Chevalier-14/+87
In the writeback phase, the typechecker now checks that it isn't replacing a type variable T with a type that contains T. It also does an occurs check in do_autoderef in order to avoid getting into an infinite chain of derefs. I'm a bit worried that there are more places where the occurs check needs to happen where I'm not doing it now, though. Closes #768
2011-08-04trans_args no longer needs llobj argument.Lindsey Kuper-3/+2
2011-08-04rustc: Actually emit shapesPatrick Walton-51/+59
2011-08-04Merge commit '6ec4829' into snapEric Holk-0/+5
2011-08-04Registering snapshot.Eric Holk-0/+5
2011-08-04rustc: Generate shapesPatrick Walton-19/+625
2011-08-04rt: Change int to uint32_t. Put out burning tinderbox.Patrick Walton-1/+1
2011-08-03rt: Stub shape glue and implement shape::print and shape::size_of.Patrick Walton-0/+705
2011-08-03Killing an obsolete comment.Lindsey Kuper-1/+0
2011-08-03Pointer-ifying llenv. Step 1 of 2 steps to object system sanity.Lindsey Kuper-38/+8
2011-08-03Put comments on trans contexts back where they belong. :(Lindsey Kuper-108/+114
2011-08-03Fix the pretty print tests to handle terminal newlines. Sorry!Michael Sullivan-3/+3
2011-08-03timeout_in_ns was renamed to timeout_in_ms.Erick Tryzelaar-1/+1
2011-08-03Sleep for a nonzero amount of time on Windows.Eric Holk-4/+4
2011-08-03Fix trans_put to properly return (). Closes #773.Michael Sullivan-1/+2
2011-08-03Make the pretty printer put trailing newlines at the end of files.Michael Sullivan-0/+3
2011-08-03Remove an obsolete FIXME in stdtest/deque.rs. Closes #140.Michael Sullivan-6/+2
2011-08-03Whitespace cleanupBrian Anderson-6/+6
2011-08-03Convert line endings when doing exact pretty-print testingBrian Anderson-0/+8
For the benefit of windows
2011-08-03Add some hacks to get stdin piping working more correctly in windowsBrian Anderson-6/+80
The way pipes work in windows is not the same as unix, though I'm not entirely clear on the differences. This patch changes the windows pipe method to return non-inheritable fds, and the windows rust_run_program method to duplicate them before spawning the new process. This allows make-check-pretty to work on windows.
2011-08-03Clean up how we deal with dynamic size function arguments/returns.Michael Sullivan-57/+24
2011-08-03Have trans_bind_thunk handle polymorphic but statically sized return values.Michael Sullivan-1/+3
Closes #775.
2011-08-03Revert "Revert "Handle conditionals on _|_ - typed values correctly""Tim Chevalier-0/+15
This reverts commit ea81c03960264bf590cd99ed2b662243e3db7a7c. Changed the case in trans_if where the conditional is _|_ - typed but the block is terminated to return the result of the cond, instead of nil. This passes "make check" with optimization disabled as well as enabled.
2011-08-03Add #concat_idents[] and #ident_to_str[]Paul Stansifer-9/+65
2011-08-03Actually un-xfail the test for put in fns.Michael Sullivan-3/+0
2011-08-03Reject programs that do a put outside of iterators.Michael Sullivan-6/+9
Closes #774.
2011-08-03Do a bunch more typechecking for iters and for each loops.Michael Sullivan-31/+70
Closes #771. Closes #772. Closes #796.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 02:16:14 +0000