| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-05-30 | rustc: Remove tuplify_cbox_ty. Unused | Brian Anderson | -9/+2 | |
| 2012-05-30 | rustc: Don't typestate fns that don't have constrained function calls | Brian Anderson | -16/+52 | |
| 2012-05-30 | Properly sign extend array indexes. Closes #2468. | Michael Sullivan | -1/+3 | |
| 2012-05-30 | Handle differing signedness in constant shifts. Closes #2426. | Michael Sullivan | -1/+11 | |
| 2012-05-30 | Include capture clauses when generating metadata. | Eric Holk | -1/+8 | |
| This may fix the bug that's blocking Issue #2441. | ||||
| 2012-05-30 | zero out alloca for preserving values | Niko Matsakis | -22/+31 | |
| conservatively do it always for now | ||||
| 2012-05-30 | port alt to dvec | Niko Matsakis | -5/+6 | |
| 2012-05-30 | allow for loop bodies | Niko Matsakis | -1/+1 | |
| 2012-05-30 | integrate purity into type | Niko Matsakis | -105/+211 | |
| 2012-05-30 | refactor region manip. to remove redundancy, get closer to fn subtyping | Niko Matsakis | -154/+159 | |
| also: remove "auto-mode-matching" for implemented interfaces, as it is complex and interacts poorly with classes cc #2263 | ||||
| 2012-05-30 | refactor region manipulation routines to eliminate duplication | Niko 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-30 | Make heap closures always require a capture clause to capture mutable ↵ | Michael Sullivan | -10/+6 | |
| variables. Closes #2446. | ||||
| 2012-05-29 | rustc: Move filesearch into metadata mod | Brian 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-29 | Handle poststates of breaking loops correctly in typestate | Tim Chevalier | -24/+10 | |
| The poststate should be one where all predicates are assumed false, rather than the unchanged prestate. Closes #2374 | ||||
| 2012-05-29 | Resolve bounds in iface types | Tim Chevalier | -3/+5 | |
| Closes #2311 | ||||
| 2012-05-29 | make all arguments modes immutable | Niko Matsakis | -12/+45 | |
| note: you can still move from copy/move mode args | ||||
| 2012-05-29 | remove useless invocations of universally_quantify_from_sty() in method lookup | Niko Matsakis | -19/+9 | |
| 2012-05-29 | modify 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-29 | In reachability, don't ignore nested items | Tim 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-29 | Fix an error message to not refer to "block type". Closes #2423. | Michael Sullivan | -1/+2 | |
| 2012-05-29 | Adding 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-28 | Merge pull request #2455 from erickt/master | Erick Tryzelaar | -6/+10 | |
| Fleshing out result methods | ||||
| 2012-05-28 | Remove bad Load in make_visit_glue, un-xfail reflect-visit-type.rs. | Graydon Hoare | -1/+1 | |
| 2012-05-28 | Rename result::{iter,map,map2} to add _vec suffix | Erick 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-26 | core: Make range follow the for loop protocol | Brian Anderson | -10/+10 | |
| 2012-05-25 | More refactoring on a quest to understand region types. | Lindsey Kuper | -22/+62 | |
| 2012-05-25 | fix warning | Niko Matsakis | -2/+1 | |
| 2012-05-25 | detect ambig. calls to iface bounds, use transactions | Niko Matsakis | -20/+70 | |
| cc #2433 | ||||
| 2012-05-25 | Add 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-25 | Get rid of many implicit copies as a preliminary to Issue #2448. | Michael Sullivan | -10/+10 | |
| 2012-05-25 | Add hack to silence the annoying liveness warning in trans/base.rs. | Michael Sullivan | -0/+1 | |
| 2012-05-25 | replace last_use with liveness info | Niko Matsakis | -480/+121 | |
| 2012-05-25 | revisit error message; create spill map | Niko Matsakis | -15/+89 | |
| 2012-05-25 | typeck: cleanup/refactoring | Lindsey Kuper | -44/+35 | |
| 2012-05-25 | typeck: Minor cleanup | Lindsey Kuper | -16/+16 | |
| 2012-05-24 | Some refactoring and WIP on issue #2263. | Lindsey Kuper | -58/+120 | |
| 2012-05-24 | Typo fixes in comments. | Lindsey Kuper | -7/+7 | |
| 2012-05-24 | Convert kinds to strings better for more usable error messages. | Eric Holk | -1/+1 | |
| 2012-05-24 | Updating the comments in kind.rs to better reflect the current state of things. | Eric Holk | -5/+18 | |
| 2012-05-24 | Const kind checking. The rules are almost certainly incomplete and unsound... | Eric Holk | -27/+85 | |
| 2012-05-24 | Teach parser and related things to understand const kind bounds. | Eric Holk | -2/+10 | |
| 2012-05-24 | remove dead assignments | Niko Matsakis | -37/+12 | |
| 2012-05-24 | remove initedness checking from typestate, as best I could | Niko Matsakis | -492/+89 | |
| 2012-05-24 | improve liveness so it reports unused vars / dead assignments | Niko Matsakis | -83/+207 | |
| doesn't warn about pattern bindings yet though | ||||
| 2012-05-24 | new liveness pass to supercede last_use / initedness | Niko Matsakis | -13/+1554 | |
| 2012-05-24 | fix classes and parameterized ifaces; remove needless self check | Niko Matsakis | -71/+11 | |
| ref #1726, #2434 | ||||
| 2012-05-24 | change region scope of call arguments, old one was unsound | Niko Matsakis | -45/+35 | |
| improve error message to describe kind of deref'd ptr using sigil | ||||
| 2012-05-24 | rewrite purity check to search through scope chain | Niko Matsakis | -63/+67 | |
| 2012-05-23 | Prevent capturing non-copyable things in closures. | Eric Holk | -0/+3 | |
| 2012-05-23 | shuffle error messages in borrowck, and prevent it from spewing too many | Niko Matsakis | -19/+25 | |
| also, fix a few minor issues it complains about | ||||
