about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-08-08Implement typestate checking for move-mode args. Un-XFAIL ↵Graydon Hoare-28/+110
compile-fail/move-arg.rs.
2011-08-08rustc: Emit the shape of "float" as f64, not f32Patrick Walton-1/+1
2011-08-08Don't bother zeroing out slots in cleanups.Michael Sullivan-5/+1
2011-08-08rustc: Fix signature on cmp glue upcallPatrick Walton-1/+1
2011-08-08Add new arg-passing mode 'move' denoted with '-T'. Translate as ↵Graydon Hoare-6/+17
pass-by-value, doesn't deinit source yet nor get proper analysis in typestate, alias passes.
2011-08-08rustc: Declare upcall_cmp_typePatrick Walton-10/+20
2011-08-05Revert "rustc: bzero in zero_alloca. Shaves off a second or three."Paul Stansifer-1/+1
This causes trouble in Valgrind in drop glue in parsing. This reverts commit 4d180793f04ece462d2053c1a04ea2b0d73b4ee2.
2011-08-05Atomic ref counting for chans.Eric Holk-1/+17
2011-08-05Initialize all constraints to FalseTim Chevalier-9/+24
Previously, typestate was initializing the init constraint for a declared-but-not-initialized variable (like x in "let x;") to False, but other constraints to Don't-know. This led to over-lenient results when a variable was used before declaration (see the included test case). Now, everything gets initialized to False in the prestate/poststate- finding phase, and Don't-know should only be used in pre/postconditions. This aspect of the algorithm really needs formalization (just on paper), but for now, this closes #700
2011-08-05rustc: Parse "inline". Also write it into metadata.Patrick Walton-13/+33
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-05(Almost) Always unify a function tail expr with the function result typeTim Chevalier-6/+31
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/+27
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/+3
2011-08-04Don't force resolution of type variables until there is no enclosing ↵Michael Sullivan-8/+7
function scope. Closes #803.
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/+1
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/+78
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-04rustc: Generate shapesPatrick Walton-19/+625
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 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-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/+12
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/+57
2011-08-03Reject programs that do a put outside of iterators.Michael Sullivan-4/+7
Closes #774.
2011-08-03Do a bunch more typechecking for iters and for each loops.Michael Sullivan-31/+62
Closes #771. Closes #772. Closes #796.
2011-08-03Code cleanup in check_expr.Michael Sullivan-163/+149
2011-08-03Fix typechecking when spawning something type inferred.Michael Sullivan-8/+10
Of course, we still don't *translate* it. Closes #757.
2011-08-03parse_crate_from_source_str takes a parse_sess, not codemapBrian Anderson-3/+2
This was causing problems when reading from stdin for subsequent passes that needed to generate node ids.
2011-08-03Fix pretty-printer to read from files againBrian Anderson-1/+5
I accidentally made the pretty-printer always read from stdin
2011-08-03Pretty-print kinds of type paramsBrian Anderson-0/+9
2011-08-03Disambiguate unop statements in pretty-printer. Closes #674Brian Anderson-1/+44
2011-08-03Revert "Handle conditionals on _|_ - typed values correctly"Brian Anderson-12/+0
This reverts commit 13f8b3f2a67a4e3a7a26b0e238e1b6ce9e1f3573. run-pass/if-ret.rs does not translate correctly when unoptimized. Issue #797
2011-08-03Make ast::pat_bindings an iteratorMarijn Haverbeke-74/+48
And use it to get rid of some repetetive code
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 16:46:00 +0000