| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-10-17 | Correct two more analyses of mutable? as mutable | Brian Anderson | -2/+2 | |
| I can't come up with test cases but this seems correct. | ||||
| 2011-10-17 | Don't allow assignment to mutable-wha? | Brian Anderson | -9/+9 | |
| 2011-10-14 | Use trans_expr_save_in instead of trans_expr when appropriate | Marijn Haverbeke | -2/+2 | |
| This guards against passing a save_in destination to nil or bot-typed things. | ||||
| 2011-10-14 | Don't crash when reporting an unresolved import in the nil scope | Marijn Haverbeke | -18/+22 | |
| Closes #1027 | ||||
| 2011-10-13 | Remove an unnecessary visitor from rustc::middle::fn_usage | Brian Anderson | -8/+1 | |
| 2011-10-13 | Fix a use of visit in rustc::middle::fn_usage | Brian Anderson | -1/+1 | |
| This was working by just skipping an AST node instead of doing the advertised check. I can't find a test case for it, but this is more correct. | ||||
| 2011-10-13 | Don't allow the value of generic bare functions to be taken | Brian Anderson | -5/+36 | |
| Issue #1038 | ||||
| 2011-10-13 | Rename rustc::middle::unsafeck to fn_usage | Brian Anderson | -11/+11 | |
| I'm going to add further checks unrelated to unsafe. Issue #1038 | ||||
| 2011-10-13 | Make trans_anon_obj properly thread its bcx | Marijn Haverbeke | -9/+3 | |
| Closes #893 Unfortunately, anon objs are still so broken as to be useless (fields don't work). | ||||
| 2011-10-13 | Properly fill single-variant zero-arg tag values. | Marijn Haverbeke | -9/+10 | |
| Closes #1034. Closes #1035. | ||||
| 2011-10-12 | reimplement some of the unsafe stuff which got lost | Niko Matsakis | -79/+65 | |
| - blocks inherit unsafety - remove the --check-unsafe flag - add unsafe annotations where needed to get things to compile | ||||
| 2011-10-12 | make compiler emit more than 1 error in the case of unsafe | Niko Matsakis | -23/+8 | |
| 2011-10-12 | prohibit ptr deref unless in unsafe code | Niko Matsakis | -2/+20 | |
| 2011-10-12 | fix error msg | Niko Matsakis | -8/+2 | |
| 2011-10-12 | add pass to check that unsafe fns cannot be used as values | Niko Matsakis | -0/+72 | |
| 2011-10-12 | continue to annotate trans functions as unsafe where neccessary | Niko Matsakis | -5/+7 | |
| 2011-10-12 | continue to annotate trans functions as unsafe where neccessary | Niko Matsakis | -3/+3 | |
| 2011-10-12 | add unsafe tags into various points in the translation chains | Niko Matsakis | -50/+92 | |
| and so forth | ||||
| 2011-10-12 | Add unsafe tags to usage of LLVM funcs | Niko Matsakis | -5/+7 | |
| 2011-10-12 | make native functions markable as unsafe and incorporate that | Niko Matsakis | -7/+10 | |
| into the type check | ||||
| 2011-10-12 | skip test, remove whitespace | Niko Matsakis | -1/+1 | |
| 2011-10-12 | correct lines over 78 chars | Niko Matsakis | -1/+3 | |
| 2011-10-12 | enable unsafe checking but only with a flag --check-unsafe | Niko Matsakis | -11/+18 | |
| 2011-10-12 | make treatment of unchecked/unsafe blocks more uniform | Niko Matsakis | -8/+7 | |
| also repair various errors in the parser related to such blocks. rename checked_blk to default_blk to reflect the fact that it inherits its purity from the surrounding context. | ||||
| 2011-10-12 | Add unsafe blocks, unsafe functions, and two rudimentary tests | Niko Matsakis | -4/+6 | |
| related to them | ||||
| 2011-10-12 | Extend the unchecked block stuff to allow unsafe blocks as well. | Niko Matsakis | -5/+30 | |
| 2011-10-12 | expand purity to include unsafe | Niko Matsakis | -18/+23 | |
| 2011-10-12 | Make build_environment and trans_bind_thunk GEP bound arguments the same | Brian Anderson | -5/+6 | |
| These functions both use GEP_tup_like to get at the arguments bound to the environment, but they were starting from a different 'level' of the environment-box structure. Frighteningly, this was leading to them having different opinions of how the bound arguments were aligned in some cases. | ||||
| 2011-10-12 | Simplify copying of uniques | Marijn Haverbeke | -27/+3 | |
| We can call take glue, rather than duplicating it inline. | ||||
| 2011-10-12 | [Renaming] str_to_float is now float::from_str, float_to_str is now ↵ | David Rajchenbach-Teller | -2/+2 | |
| float::to_str | ||||
| 2011-10-11 | Remove the environment argument from bare functions | Brian Anderson | -7/+35 | |
| Issue #1022 | ||||
| 2011-10-11 | Don't allow bind to produce bare functions | Brian Anderson | -1/+12 | |
| Issue #1022 | ||||
| 2011-10-11 | Introduce ast::proto_bare | Brian Anderson | -1/+1 | |
| Issue #1022 | ||||
| 2011-10-11 | [Move] Moved str_to_float, float_to_str from compiler to lib | David Rajchenbach-Teller | -2/+2 | |
| 2011-10-10 | Adjust function signatures to allow for vecs being immediate | Marijn Haverbeke | -15/+11 | |
| Some code was relying on vectors being implicitly by-reference (as non-immediate value). This adds the necessary &&-sigils. Closes #1021 | ||||
| 2011-10-10 | Make vectors and strings immediates again | Marijn Haverbeke | -115/+94 | |
| There's no good reason to force them to be spilled anymore. Some pieces of trans become more elegant this way, and less stack allocs and load/stores are needed. Issue #1021 | ||||
| 2011-10-10 | Make bcx_tcx-style accessors return by reference | Marijn Haverbeke | -8/+8 | |
| 2011-10-10 | Move type_is_immediate into ty.rs | Marijn Haverbeke | -16/+6 | |
| 2011-10-10 | Don't spill immediates in order to drop them | Marijn Haverbeke | -21/+52 | |
| Issue #1012 | ||||
| 2011-10-10 | Make free glue take a pointer to the heap part (box) | Marijn Haverbeke | -70/+67 | |
| This way, it can be used to drop values without first spilling them. Issue #1012 | ||||
| 2011-10-09 | Fix bad float-type detection in trans | Marijn Haverbeke | -6/+2 | |
| Closes #1017 | ||||
| 2011-10-07 | Stop registering cleanups for types that don't need them | Marijn Haverbeke | -0/+3 | |
| 2011-10-07 | Make it possible to have locals that don't live on the stack | Marijn Haverbeke | -149/+172 | |
| Local values that are not mutated, don't need to be cleaned up, and are immediate, don't need to be spilled. (All immediate args, and non-pointer immediate let locals.) | ||||
| 2011-10-07 | Forbid passing dynamically-sized types by value | Marijn Haverbeke | -2/+11 | |
| Issue #1008 | ||||
| 2011-10-07 | Actually pass parameters specified as by-val by value | Marijn Haverbeke | -31/+49 | |
| Issue #1008 | ||||
| 2011-10-07 | Give up on providing a by-value version of map, convert fold over to | Marijn Haverbeke | -12/+13 | |
| passing pointers by ref Issue #1008 | ||||
| 2011-10-07 | Parse and typecheck by-value and by-ref arg specs | Marijn Haverbeke | -68/+90 | |
| Add sprinkle && throughout the compiler to make it typecheck again. Issue #1008 | ||||
| 2011-10-06 | Fix problem with polymorphic return value being instantiated as nil | Marijn Haverbeke | -1/+1 | |
| Closes #1005 | ||||
| 2011-10-05 | Tie up the last ends in destination-passing-conversion | Marijn Haverbeke | -33/+26 | |
| Closes #667 | ||||
| 2011-10-05 | Make trans_lval lval-only | Marijn Haverbeke | -59/+15 | |
| Call trans_temp_lval if you want the old fallback-to-temporary behaviour. Issue #667 | ||||
