about summary refs log tree commit diff
path: root/src/rustc
AgeCommit message (Collapse)AuthorLines
2012-06-22Nicer quoting in "attempted access of field" message. Issue #2358.Lindsey Kuper-2/+3
2012-06-22Don't need a span on "main function not found" error. Issue #2707.Lindsey Kuper-3/+3
2012-06-22Use must_have_lock instead of private functions. (Issue #2700)Eric Holk-1/+0
I hereby declare that messages sent from the same source arrive in order (Issue #2605) Removing FIXME, owned is the correct type here. (Issue #2704) Remove outdated FIXME (Issue #2703) Updating test for spawning native functions (Issue #2602) Removing bogus FIXME (Issue #2599)
2012-06-22Hack to make [] and []/~ the same type in preparation for switching to []/~.Michael Sullivan-2/+8
2012-06-22Change resources to classes in libstd and rustcTim Chevalier-18/+38
2012-06-22Make the implicit copyability of []/~ configurable, like [] is, since we ↵Michael Sullivan-6/+2
will be switching sooner rather than later.
2012-06-21In reachability, traverse all classes that have dtorsTim Chevalier-1/+5
since dtors always have external linkage
2012-06-21Make liveness print out a proper error message for moves out of a self fieldTim Chevalier-1/+8
This was a call to span_bug() before. I'm not sure about the other cases, but the test case shows that the `vk_self` case can certainly arise with a bad program, so it should be a span_err() thing and not a span_bug() thing. Closes #2590
2012-06-21Tag all remaining FIXMEs with bugs. Install rule in tidy script to enforce this.Graydon Hoare-114/+105
2012-06-21Change the level of forcing in structurally_resolved_type().Lindsey Kuper-17/+10
A cleaner way to handle suffix inference for unary minus exprs.
2012-06-21Move vector addition out of trans and into libcore.Eric Holk-0/+2
2012-06-21Move vector addition out of trans and into libcore.Eric Holk-206/+37
2012-06-21Generate a temporary for assign_ops. Issue #2581Eric Holk-2/+12
2012-06-21Consolidate "make sure types are the same" fns. Issue #2644.Lindsey Kuper-42/+21
2012-06-21Rename upcall_malloc_dyn to just upcall_malloc.Michael Sullivan-9/+9
2012-06-21Issue #2657: track mutability of bindings, also prevent move from bindingsNiko Matsakis-7/+36
2012-06-21handle moves in let initializers and allow moves from unsafe ptrsNiko Matsakis-0/+16
Related to issue #2657, but this is not a complete fix.
2012-06-20Make trans give correct types to monomorphic dtorsTim Chevalier-13/+41
Irritatingly, class dtors have a different type from resource dtors (because class dtors have a self argument), and the monomorphic case wasn't reflecting that. Fixed.
2012-06-20Fix resolve bug that made nested classes not workTim Chevalier-17/+16
It wasn't possible to refer to the constructor for a class nested inside an item from the class's outer scope. Fixed.
2012-06-20Monomorphize dtors correctlyTim Chevalier-21/+41
The same dtor was getting re-used for different instances, which didn't always work right. Fixed.
2012-06-20Change map::get to map::find in ppauxTim Chevalier-3/+3
2012-06-20Don't consider loops to be breaking if they contain inner loops that breakTim Chevalier-9/+17
Closes #2642
2012-06-20Remove bind. Issue #2189Brian Anderson-249/+163
2012-06-20Don't allow + for evecs/estrs. It isn't implemented, and we are moving vec + ↵Michael Sullivan-2/+2
to libs anyways.
2012-06-20Repair the formatting of the table in is_binopable.Michael Sullivan-12/+9
2012-06-20Call the correct type formatting function for more typecheck diagnostics. ↵Michael Sullivan-10/+10
Closes #2652.
2012-06-20Don't force resolution of integral type vars in unary minus exprsLindsey Kuper-1/+8
These were getting resolved too early, when they were still unconstrained by the rest of the typing context. Waiting a bit longer to resolve them gives the rest of the typing context a chance to come into play, so that they don't default to `int`.
2012-06-20Use an unambiguous abbreviation for "operand" :)Lindsey Kuper-25/+25
2012-06-20Add comments explaining integral type variables; fix typosLindsey Kuper-1/+23
2012-06-20Don't reverse all the arguments to span_lint for lint checking passes.Michael Sullivan-7/+7
2012-06-19support autoderef on method callsNiko Matsakis-170/+211
2012-06-19Updating kind rules to make sure we don't sneakily send ports.Eric Holk-1/+1
2012-06-19Enable integer literal suffix inference.Lindsey Kuper-4/+1
2012-06-19Fix incorrect fn name in debug statementLindsey Kuper-1/+1
2012-06-19Don't create a new inference context for checking pattern ranges.Lindsey Kuper-3/+28
Ugly fix -- it would be better to refactor and consolidate the various "make sure these types are the same" fns scattered around typeck.
2012-06-19Union-find `rank` optimization for infer.Lindsey Kuper-23/+78
Makes deep-vector2 not run out of stack when suffix inference is enabled.
2012-06-19Add a `node` type in place of hand-rolled records in inferLindsey Kuper-27/+66
2012-06-19rustc: Add a temporary option to not link to the runtimeBrian Anderson-4/+10
2012-06-19first steps to autoderef on method callsNiko Matsakis-115/+198
2012-06-18document liveness a bit betterNiko Matsakis-2/+60
2012-06-18Add 'do' expressionsBrian Anderson-6/+40
2012-06-18Fix generation of str/@. Closes #2638.Michael Sullivan-2/+6
2012-06-18Use unboxed vecs for string shape glue.Michael Sullivan-9/+1
2012-06-18Minor infer/typeck cleanupsLindsey Kuper-12/+9
2012-06-17Undo workaround for #2633 since it is fixed.Niko Matsakis-5/+1
This reverts commit a14df270dc18cd13965e741967eaeac443e20466. Conflicts: src/rustc/middle/trans/base.rs
2012-06-17Issue #2633: remove last_use entries that are subject to a loanNiko Matsakis-1/+29
2012-06-16Comments onlyTim Chevalier-0/+4
2012-06-16Make move_val take its first argument by copyTim Chevalier-1/+1
Workaround for #2633 -- should allow changes on eholk's branch to compile without segfaulting.
2012-06-15Fix copying of fixed length vectors. Closes #2630.Michael Sullivan-2/+1
2012-06-15Make fixed length vecs implicitly copyable. Clean up some other kind code. ↵Michael Sullivan-24/+18
Closes #2629