| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-01-18 | Remove '.' after nullary tags in patterns | Tim Chevalier | -1/+1 | |
| Does what it says on the tin. The next commit will remove support for this syntax. | ||||
| 2012-01-16 | Store type names in crate metadata | Marijn Haverbeke | -0/+7 | |
| Improves type error messages referring to external types. Issue #1507 | ||||
| 2012-01-13 | distinguish "any closure" and "stack closure" (block) | Niko Matsakis | -10/+13 | |
| 2012-01-13 | Obj system? What obj system? | Marijn Haverbeke | -18/+0 | |
| Removes the obj system from the compiler. Closes #1484 | ||||
| 2012-01-10 | rename sendfn to fn~, lambda to fn@ | Niko Matsakis | -5/+5 | |
| 2012-01-09 | Remove proto_sugar and 'lambda' as keyword, commit to fn@. | Graydon Hoare | -1/+1 | |
| 2012-01-06 | rejigger impl to have an opaque closure ptr rather than | Niko Matsakis | -1/+8 | |
| opaque closure | ||||
| 2012-01-06 | Disallow variable names that shadow tags in scope | Tim Chevalier | -5/+5 | |
| Now, if you have a tag named "foo", a variable declaration like "let foo..." is illegal. This change makes it possible to eliminate the '.' after a nullary tag pattern in an alt (but I'll be doing that in a future commit) -- as now it's always obvious whether a name refers to a tag or a new declared variable. resolve implements this change -- all the other changes are just to get rid of existing code that declares variables that shadow tag names. | ||||
| 2012-01-05 | Clean up translating of def_ids in metadata reader | Marijn Haverbeke | -75/+68 | |
| Reduces the amount of closure allocation, and makes the code cleaner. | ||||
| 2012-01-05 | Switch to new param kind bound syntax | Marijn Haverbeke | -1/+1 | |
| And remove support for the old syntax | ||||
| 2012-01-05 | Get external interfaces / impls working | Marijn Haverbeke | -13/+12 | |
| Issue #1227 | ||||
| 2012-01-02 | Box arrays of parameter bounds | Marijn Haverbeke | -1/+1 | |
| 2012-01-02 | Check that type parameter bounds are interface types | Marijn Haverbeke | -4/+11 | |
| Issue #1227 | ||||
| 2011-12-28 | Change representation of type params to handle interface bounds | Marijn Haverbeke | -15/+27 | |
| Issue #1227 | ||||
| 2011-12-23 | Check impls methods against the type of their iface. | Marijn Haverbeke | -1/+1 | |
| 2011-12-23 | Use the same type of record in ty::ty_fn and ty::method | Marijn Haverbeke | -16/+7 | |
| Removes some more code duplication. | ||||
| 2011-12-22 | Register new snapshots, purge log_err and log_full in favour of log(...). | Graydon Hoare | -1/+1 | |
| 2011-12-22 | Register snapshots and switch logging over to use of log_full or #error / ↵ | Graydon Hoare | -5/+5 | |
| #debug. | ||||
| 2011-12-16 | extend with ty_send_type and ty_opaque_closure | Niko Matsakis | -0/+2 | |
| 2011-12-14 | push changes through to get things compiling, if not running. | Niko Matsakis | -10/+13 | |
| 2011-12-13 | Copy first batch of material from libstd to libcore. | Graydon Hoare | -2/+2 | |
| 2011-12-07 | Change literal representation to not truncate | Marijn Haverbeke | -10/+10 | |
| Also shuffles around the organization of numeric literals and types, separating by int/uint/float instead of machine-vs-non-machine types. This simplifies some code. Closes #974 Closes #1252 | ||||
| 2011-11-30 | Box ast::path values | Marijn Haverbeke | -7/+7 | |
| It seems inefficient to copy them around. Let's measure whether that's actually > the case | ||||
| 2011-11-23 | Rollback return-by-reference | Marijn Haverbeke | -5/+0 | |
| It's proving too inflexible, so I'm ripping out the extra complexity in the hope that regions will, at some point, provide something similar. Closes #918 | ||||
| 2011-11-21 | rustc: Remove abi from ast::native_mod | Haitao Li | -7/+1 | |
| 2011-11-18 | Update stdlib, compiler, and tests to new kind system | Marijn Haverbeke | -1/+1 | |
| This involved adding 'copy' to more generics than I hoped, but an experiment with making it implicit showed that that way lies madness -- unless enforced, you will not remember to mark functions that don't copy as not requiring copyable kind. Issue #1177 | ||||
| 2011-11-18 | Add a pass-by-copy parameter passing convention | Marijn Haverbeke | -1/+2 | |
| This is intended to solve the problem of how to pass arguments to constructor functions -- you want to move in rvalues, but not have to explicitly copy stuff that is not an rvalue. The by-copy passing convention will ensure the callee gets its own copy of the value. For rvalues, it'll just pass off the value. For lvalues, it'll make a copy. Issue #1177 | ||||
| 2011-11-18 | Preparation for kind system overhaul | Marijn Haverbeke | -3/+3 | |
| This goes before a snapshot, so that subsequenct patches can make the transition without breaking the build. Disables kind checking pass, makes parser accept both new and old-style kind annotation. Issue #1177 | ||||
| 2011-11-17 | remove compile-command from local variable blocks | Niko Matsakis | -1/+0 | |
| 2011-11-10 | Cleanup unused imports | Haitao Li | -1/+1 | |
| 2011-11-09 | rustc: Rename native_abi_c_stack_cdecl to native_abi_cdecl | Brian Anderson | -1/+1 | |
| 2011-11-09 | rustc: Rename native_abi_c_stack_stdcall to native_abi_stdcall | Brian Anderson | -1/+1 | |
| 2011-11-09 | Remove native "x86stdcall" ABI | Brian Anderson | -1/+0 | |
| 2011-11-08 | Remove native "cdecl" ABI | Brian Anderson | -1/+0 | |
| 2011-11-07 | Remove native "llvm" ABI | Brian Anderson | -1/+0 | |
| 2011-11-07 | Remove native "rust" ABI | Brian Anderson | -1/+0 | |
| 2011-10-25 | Update our code to new type parameter kind syntax | Marijn Haverbeke | -1/+1 | |
| Closes #1067 | ||||
| 2011-10-21 | Drop support for iter, put, and for-each | Marijn Haverbeke | -6/+0 | |
| Closes #1056 | ||||
| 2011-10-20 | Merge ast::proto_shared and ast::proto_closure | Brian Anderson | -1/+2 | |
| Now they are both just proto_shared and proto_shared takes an argument indicating that it is sugared as 'lambda' | ||||
| 2011-10-20 | Rename ast::proto_fn to ast::proto_shared | Brian Anderson | -1/+1 | |
| 2011-10-20 | Make fn denote a bare function. Convert fn to fn@ as needed | Brian Anderson | -2/+2 | |
| 2011-10-20 | Parse obj methods as proto_bare | Brian Anderson | -1/+1 | |
| I don't know if this is the right thing to do, but it works and it lets 'fn' always mean proto_bare | ||||
| 2011-10-11 | Use the correct function type for external bare functions | Brian Anderson | -1/+1 | |
| Issue #1022 | ||||
| 2011-10-11 | Use a non-ambiguous character for encoding bare functions | Brian Anderson | -0/+5 | |
| I was using 'R' and that was already used for records. Issue #1022 | ||||
| 2011-10-07 | Parse and typecheck by-value and by-ref arg specs | Marijn Haverbeke | -8/+7 | |
| Add sprinkle && throughout the compiler to make it typecheck again. Issue #1008 | ||||
| 2011-10-03 | rustc: Implement C stack stdcall | Patrick Walton | -0/+1 | |
| 2011-09-28 | rustc: Add a new "C stack cdecl" native ABI | Patrick Walton | -0/+1 | |
| 2011-09-22 | Convert ty::ty_uniq to contain a mutable type | Brian Anderson | -1/+1 | |
| Issue #409 | ||||
| 2011-09-15 | Require the parameter that will be referenced to be noted | Marijn Haverbeke | -2/+5 | |
| Issue #918 | ||||
| 2011-09-14 | Add syntax and representation for return-by-mutably-rooted-ref | Marijn Haverbeke | -11/+7 | |
| This will be used in the near future to decide what can safely be done with the returned reference. Issue #918 | ||||
