about summary refs log tree commit diff
path: root/src/rustc
AgeCommit message (Collapse)AuthorLines
2012-05-30rustc: Remove tuplify_cbox_ty. UnusedBrian Anderson-9/+2
2012-05-30rustc: Don't typestate fns that don't have constrained function callsBrian Anderson-16/+52
2012-05-30Properly sign extend array indexes. Closes #2468.Michael Sullivan-1/+3
2012-05-30Handle differing signedness in constant shifts. Closes #2426.Michael Sullivan-1/+11
2012-05-30Include capture clauses when generating metadata.Eric Holk-1/+8
This may fix the bug that's blocking Issue #2441.
2012-05-30zero out alloca for preserving valuesNiko Matsakis-22/+31
conservatively do it always for now
2012-05-30port alt to dvecNiko Matsakis-5/+6
2012-05-30allow for loop bodiesNiko Matsakis-1/+1
2012-05-30integrate purity into typeNiko Matsakis-105/+211
2012-05-30refactor region manip. to remove redundancy, get closer to fn subtypingNiko Matsakis-154/+159
also: remove "auto-mode-matching" for implemented interfaces, as it is complex and interacts poorly with classes cc #2263
2012-05-30refactor region manipulation routines to eliminate duplicationNiko Matsakis-186/+119
fn subtyping is starting to work, but it's exposing bugs in the code which checks for iface conformance, which doesn't properly skolemize the self region
2012-05-30Make heap closures always require a capture clause to capture mutable ↵Michael Sullivan-10/+6
variables. Closes #2446.
2012-05-29rustc: Move filesearch into metadata modBrian Anderson-10/+8
It's not that related to metadata, but metadata needs it and it will probably be useful for doing dynamic loading.
2012-05-29Handle poststates of breaking loops correctly in typestateTim Chevalier-24/+10
The poststate should be one where all predicates are assumed false, rather than the unchanged prestate. Closes #2374
2012-05-29Resolve bounds in iface typesTim Chevalier-3/+5
Closes #2311
2012-05-29make all arguments modes immutableNiko Matsakis-12/+45
note: you can still move from copy/move mode args
2012-05-29remove useless invocations of universally_quantify_from_sty() in method lookupNiko Matsakis-19/+9
2012-05-29modify shape code to only emit monomorphized enums (#2444)Niko Matsakis-187/+198
this is hacky, but shape code is going away anyway and I didn't want to invest too much effort into it
2012-05-29In reachability, don't ignore nested itemsTim Chevalier-5/+19
Reachability was considering nested items to be unreachable, which was causing the bug in #2383. Once I fixed that, I also had to make impl::make_impl_vtable instantiate methods where necessary, before calling monomorphic_fn. Closes #2383
2012-05-29Fix an error message to not refer to "block type". Closes #2423.Michael Sullivan-1/+2
2012-05-29Adding shared_arc to hide some of the tedium of sharing an arc between tasks.Eric Holk-2/+18
Also added some asserts and logging to trans. Modified graph500 to use the shared_arc, but this unfortunately doesn't work due to #2444.
2012-05-28Merge pull request #2455 from erickt/masterErick Tryzelaar-6/+10
Fleshing out result methods
2012-05-28Remove bad Load in make_visit_glue, un-xfail reflect-visit-type.rs.Graydon Hoare-1/+1
2012-05-28Rename result::{iter,map,map2} to add _vec suffixErick Tryzelaar-6/+10
The result module doesn't follow the standard iter/map pattern that we use in the rest of the library. So to
2012-05-26core: Make range follow the for loop protocolBrian Anderson-10/+10
2012-05-25More refactoring on a quest to understand region types.Lindsey Kuper-22/+62
2012-05-25fix warningNiko Matsakis-2/+1
2012-05-25detect ambig. calls to iface bounds, use transactionsNiko Matsakis-20/+70
cc #2433
2012-05-25Add an internal notion of 'implicit copyability' and use it to warn when ↵Michael Sullivan-46/+104
implicitly copying mutable data and some unique data. Closes #2448.
2012-05-25Get rid of many implicit copies as a preliminary to Issue #2448.Michael Sullivan-10/+10
2012-05-25Add hack to silence the annoying liveness warning in trans/base.rs.Michael Sullivan-0/+1
2012-05-25replace last_use with liveness infoNiko Matsakis-480/+121
2012-05-25revisit error message; create spill mapNiko Matsakis-15/+89
2012-05-25typeck: cleanup/refactoringLindsey Kuper-44/+35
2012-05-25typeck: Minor cleanupLindsey Kuper-16/+16
2012-05-24Some refactoring and WIP on issue #2263.Lindsey Kuper-58/+120
2012-05-24Typo fixes in comments.Lindsey Kuper-7/+7
2012-05-24Convert kinds to strings better for more usable error messages.Eric Holk-1/+1
2012-05-24Updating the comments in kind.rs to better reflect the current state of things.Eric Holk-5/+18
2012-05-24Const kind checking. The rules are almost certainly incomplete and unsound...Eric Holk-27/+85
2012-05-24Teach parser and related things to understand const kind bounds.Eric Holk-2/+10
2012-05-24remove dead assignmentsNiko Matsakis-37/+12
2012-05-24remove initedness checking from typestate, as best I couldNiko Matsakis-492/+89
2012-05-24improve liveness so it reports unused vars / dead assignmentsNiko Matsakis-83/+207
doesn't warn about pattern bindings yet though
2012-05-24new liveness pass to supercede last_use / initednessNiko Matsakis-13/+1554
2012-05-24fix classes and parameterized ifaces; remove needless self checkNiko Matsakis-71/+11
ref #1726, #2434
2012-05-24change region scope of call arguments, old one was unsoundNiko Matsakis-45/+35
improve error message to describe kind of deref'd ptr using sigil
2012-05-24rewrite purity check to search through scope chainNiko Matsakis-63/+67
2012-05-23Prevent capturing non-copyable things in closures.Eric Holk-0/+3
2012-05-23shuffle error messages in borrowck, and prevent it from spewing too manyNiko Matsakis-19/+25
also, fix a few minor issues it complains about