summary refs log tree commit diff
path: root/src/libsyntax/fold.rs
AgeCommit message (Collapse)AuthorLines
2013-03-29Add AbiSet and integrate it into the AST.Niko Matsakis-3/+4
I believe this patch incorporates all expected syntax changes from extern function reform (#3678). You can now write things like: extern "<abi>" fn foo(s: S) -> T { ... } extern "<abi>" mod { ... } extern "<abi>" fn(S) -> T The ABI for foreign functions is taken from this syntax (rather than from an annotation). We support the full ABI specification I described on the mailing list. The correct ABI is chosen based on the target architecture. Calls by pointer to C functions are not yet supported, and the Rust type of crust fns is still *u8.
2013-03-28auto merge of #5593 : luqmana/rust/inline-asm, r=catamorphismbors-7/+6
Clean things up a bit. Also, allow selecting intel syntax in addition to the default AT&T dialect.
2013-03-28librustc: Remove common fields and nested enums from the languagePatrick Walton-14/+0
2013-03-27auto merge of #5578 : erickt/rust/incoming, r=jbclements,ericktbors-2/+1
Hey folks, This patch series does some work on the json decoder, specifically with auto decoding of enums. Previously, we would take this code: ``` enum A { B, C(~str, uint) } ``` and would encode a value of this enum to either `["B", []]` or `["C", ["D", 123]]`. I've changed this to `"B"` or `["C", "D", 123]`. This matches the style of the O'Caml json library [json-wheel](http://mjambon.com/json-wheel.html). I've added tests to make sure all this work. In order to make this change, I added passing a `&[&str]` vec to `Decode::emit_enum_variant` so the json decoder can convert the name of a variant into it's position. I also changed the impl of `Encodable` for `Option<T>` to have the right upper casing. I also did some work on the parser, which allows for `fn foo<T: ::cmp::Eq>() { ... }` statements (#5572), fixed the pretty printer properly expanding `debug!("...")` expressions, and removed `ast::expr_vstore_fixed`, which doesn't appear to be used anymore.
2013-03-27libsyntax: Allow selecting intel style asm.Luqman Aden-4/+1
2013-03-27libsyntax: use a struct for inline asm in ast.Luqman Aden-7/+9
2013-03-27Fix pretty-printer test failure by carrying the bound lifetime names throughNiko Matsakis-0/+1
the types. Initially I thought it would be necessary to thread this data through not only the AST but the types themselves, but then I remembered that the pretty printer only cares about the AST. Regardless, I have elected to leave the changes to the types intact since they will eventually be needed. I left a few FIXMEs where it didn't seem worth finishing up since the code wasn't crucial yet.
2013-03-27syntax: fix pretty printing __log stmtsErick Tryzelaar-2/+1
2013-03-26librustc: Modify all code to use new lifetime binder syntaxPatrick Walton-1/+2
2013-03-26option: rm functions that duplicate methodsDaniel Micay-4/+3
2013-03-18Now actually allow using constants in those constant expressions for [T * n].Luqman Aden-2/+2
2013-03-15Actually pass inline asm operands around.Luqman Aden-1/+8
2013-03-13librustc: Don't accept `as Trait` anymore; fix all occurrences of it.Patrick Walton-24/+24
2013-03-12Parse inline assembly.Luqman Aden-0/+1
2013-03-11libsyntax: Remove newtype enums from libsyntax. rs=deenumPatrick Walton-13/+8
2013-03-11Implement vector destructuring from tailSeo Sanghyeon-3/+4
2013-03-07librustc: Stop parsing `assert`.Patrick Walton-1/+0
2013-03-07librustc: Remove record patterns from the compilerPatrick Walton-9/+0
2013-03-07libsyntax: Remove struct literal expressions from the compilerPatrick Walton-6/+0
2013-03-07librustc: Remove structural record types from the compilerPatrick Walton-1/+0
2013-03-03libsyntax: deny deprecated_self in libsyntaxErick Tryzelaar-2/+2
2013-03-02librustc: Stop parsing `fn@`, `fn~`, and `fn&`Patrick Walton-8/+0
2013-03-02libsyntax: Remove `fn@`, `fn~`, and `fn&` from libsyntax. rs=defunPatrick Walton-35/+34
2013-03-01Merge remote-tracking branch 'remotes/origin/incoming' into incomingErick Tryzelaar-115/+124
2013-02-28Remove legacy object creation mode, and convert remaining uses of itNiko Matsakis-108/+113
2013-02-28Fix implicit leaks of imports throughout librariesAlex Crichton-1/+2
Also touch up use of 'pub' and move some tests around so the tested functions don't have to be 'pub'
2013-02-28Merge remote-tracking branch 'remotes/origin/incoming' into incomingErick Tryzelaar-30/+40
2013-02-27auto merge of #5141 : nikomatsakis/rust/region-syntax-expl-lifetimes, ↵bors-16/+33
r=nikomatsakis Major changes are: - replace ~[ty_param] with Generics structure, which includes both OptVec<TyParam> and OptVec<Lifetime>; - the use of syntax::opt_vec to avoid allocation for empty lists; cc #4846 r? @graydon
2013-02-27Introduce lifetime declarations into the lists of type parameters.Niko Matsakis-16/+33
Major changes are: - replace ~[ty_param] with Generics structure, which includes both OptVec<TyParam> and OptVec<Lifetime>; - the use of syntax::opt_vec to avoid allocation for empty lists; cc #4846
2013-02-27Merge remote-tracking branch 'remotes/origin/incoming' into incomingErick Tryzelaar-1/+1
2013-02-27librustc: Forbid `pub` or `priv` before trait implementationsPatrick Walton-1/+1
2013-02-26libsyntax: add some explicit refsErick Tryzelaar-6/+6
2013-02-25libsyntax: add some explicit copiesErick Tryzelaar-1/+1
2013-02-25libsyntax: progress on making syntax::visit vecs_implicitly_copyable-freeErick Tryzelaar-384/+465
2013-02-25libsyntax: Convert ast::attribute_ to store a @meta_itemErick Tryzelaar-1/+1
2013-02-19libsyntax: make enum variants take refsErick Tryzelaar-21/+23
2013-02-19syntax: fix the indentation of a functionErick Tryzelaar-36/+36
2013-02-15librustc: Stop parsing `impl Type : Trait` and fix several declarations that ↵Patrick Walton-1/+1
slipped through. r=tjc
2013-02-15libsyntax: Get rid of uses of `move` and don't parse it.Luqman Aden-1/+1
2013-02-07Make ~fn non-copyable, make &fn copyable, split barefn/closure types,Niko Matsakis-5/+10
correct handling of moves for struct-record update. Part of #3678. Fixes #2828, #3904, #4719.
2013-02-01Remove fail keyword from lexer & parser and clean up remaining calls toNick Desaulniers-1/+0
fail Fix merge conflicts - Issue 4524
2013-01-31Workaround for #4717: pad contents of ast. rs=breakageNiko Matsakis-2/+3
2013-01-31Finalize moves-based-on-type implementation.Niko Matsakis-20/+7
Changes: - Refactor move mode computation - Removes move mode arguments, unary move, capture clauses (though they still parse for backwards compatibility) - Simplify how moves are handled in trans - Fix a number of illegal copies that cropped up - Workaround for bug involving def-ids in params (see details below) Future work (I'll open bugs for these...): - Improve error messages for moves that are due to bindings - Add support for moving owned content like a.b.c to borrow check, test in trans (but I think it'll "just work") - Proper fix for def-ids in params Def ids in params: Move captures into a map instead of recomputing. This is a workaround for a larger bug having to do with the def-ids associated with ty_params, which are not always properly preserved when inlining. I am not sure of my preferred fix for the larger bug yet. This current fix removes the only code in trans that I know of which relies on ty_param def-ids, but feels fragile.
2013-01-29libsyntax: De-export libsyntax. rs=deexportingPatrick Walton-38/+19
2013-01-22Add is_mutbl field to argSeo Sanghyeon-0/+1
2013-01-20convert the remaining ast record types into structsErick Tryzelaar-44/+63
These are: region,arg,fn_decl,method,_mod,foreign_mod, variant_arg,enum_def_,variant_,trait_ref.
2013-01-20convert ast::{ty_field_,ty_method} into a structErick Tryzelaar-3/+7
2013-01-20convert ast::ty into a structErick Tryzelaar-1/+5
2013-01-20convert ast::expr into a structErick Tryzelaar-4/+6
2013-01-14convert ast::{field_,capture_item_,mt} and middle::ty::mt into structsErick Tryzelaar-11/+23
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 19:12:00 +0000