about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2012-01-05rustc: Add cargo's lib directory to search pathsBrian Anderson-0/+25
2012-01-05Use precise return type to allocate retslot in trans_argsMarijn Haverbeke-4/+11
Using type_of_or_i8 did, predictably, allocate an i8 for a type parameter, which leads to memory corruption and general confusion. Closes #1443
2012-01-05fix pretty printer to correctly insert parens for disambNiko Matsakis-35/+5
2012-01-05require a non-semi expr acting as a stmt to have unit return typeNiko Matsakis-33/+52
2012-01-05make parser handle parenthesized block-sugar exprs properlyNiko Matsakis-81/+114
2012-01-05Merge branch 'master' into kmathStefan Plantikow-222/+177
Conflicts: src/libcore/float.rs
2012-01-05Moved generic float::min, max to core::math and cleaned up some importsStefan Plantikow-4/+3
2012-01-05Clean up translating of def_ids in metadata readerMarijn Haverbeke-188/+149
Reduces the amount of closure allocation, and makes the code cleaner.
2012-01-05Switch to new param kind bound syntaxMarijn Haverbeke-29/+27
And remove support for the old syntax
2012-01-05Clean up some FIXMEs related to implsMarijn Haverbeke-6/+2
2012-01-05Get external interfaces / impls workingMarijn Haverbeke-109/+152
Issue #1227
2012-01-05Fix bad spans for ast::ty parsingMarijn Haverbeke-9/+6
The span would be pointing after the actual text.
2012-01-05Write the iface type of an impl in the crate dataMarijn Haverbeke-105/+129
Also, move checking of ifaces into the collect phase of typeck to give further passes some guarantees. Issue #1227
2012-01-05Remove ty::bind_params_in_typeMarijn Haverbeke-56/+20
It does nothing that substitute_type_params can't do better.
2012-01-05Add more item types to the ast_map so the test suite can build with debug info.Josh Matthews-1/+9
2012-01-04Use the right types for methods in trans_implMarijn Haverbeke-12/+5
This prevents misalignment between function and argument types in corner cases.
2012-01-04Reformat typestate error messages so as not to confuse emacs compilation modeTim Chevalier-3/+5
2012-01-04Prevent typenames in param bounds from resolving to their own paramMarijn Haverbeke-19/+38
I.e. fn foo<T: seq<T>>(...). This leads to weird circularities that seem to never make any sense, so it seems prudent to forbid it. Issue #1227
2012-01-04Add visit_ty_params to visit.rsMarijn Haverbeke-28/+22
And use it to make typechecking of bounds less error-prone.
2012-01-04Properly typecheck and compile invocations of generic methods.Marijn Haverbeke-167/+225
Aligning the type parameters of the ifaces, impls, and methods correctly in typeck is almost brain surgery. Seems to work now for everything I threw at it, but might still break in other corner cases. Issue #1227
2012-01-04"str": rename "str_from_cstr" to "from_cstr" (analogous to the other "from_*")Lenny222-2/+2
2012-01-03Add missing ty_constr cases to trans::type_of_inner and ty::fold_ty.Tim Chevalier-0/+11
Closes #970
2012-01-03Allow tail expressions even in no_value blocks. Type checkerNiko Matsakis-43/+74
will guarantee they have unit type.
2012-01-03extend parser so that expressions that do not require semi-colonsNiko Matsakis-2/+2
to be statements are not considered expressions in the tail position
2012-01-03rewrite to put blk as 2nd argNiko Matsakis-1/+1
2012-01-03minimal changes to permit fn blocks in exprNiko Matsakis-68/+64
2012-01-03Merge pull request #1392 from Lenny222/listBrian Anderson-2/+6
list: add "is_not_empty" requirement to "head" and "tail" (analogous to "vec")
2012-01-03Make resolution of dictionaries on bounded params workMarijn Haverbeke-6/+11
Issue #1227
2012-01-03Wire in resolution of param bounds for method callsMarijn Haverbeke-15/+39
Issue #1227
2012-01-03Make syntax for impls less magicalMarijn Haverbeke-23/+18
The trick of interpreting parameters to the iface type as parameters to the impl was just too magical. Issue #1227
2012-01-03More work on translating dictionary-passingMarijn Haverbeke-162/+387
Reached a point where simple uses of interfaces without bounds work. Issue #1227
2012-01-02Add a clause ty_ptr to ppaux::ty_to_strMarijn Haverbeke-0/+1
Closes #1383
2012-01-02Properly handle expression blocks in kind.rsMarijn Haverbeke-3/+10
It was only noticing them in expr_block form, not as function bodies. Closes #1390
2012-01-02Write out vtables for interface implementationsMarijn Haverbeke-13/+78
Issue #1227
2012-01-02Drop two useless sub-passes from transMarijn Haverbeke-98/+59
Neither collect_tag_ctors nor the second pass in collect_items needed to be separate passes. Also remove obsolete obj_methods table kludge.
2012-01-02Create a trans_impl moduleMarijn Haverbeke-16/+20
2012-01-02Key tcx.ty_param_bounds on node_ids, not def_idsMarijn Haverbeke-9/+11
This makes it clearer that it's only valid for local nodes.
2012-01-02Box arrays of parameter boundsMarijn Haverbeke-42/+41
2012-01-02Pass bounds to trans::type_of_fnMarijn Haverbeke-50/+65
2012-01-02More resolving and typechecking of bounded type parameters.Marijn Haverbeke-55/+211
Extern interfaces still don't get recognized. Issue #1227
2012-01-02Check that type parameter bounds are interface typesMarijn Haverbeke-45/+96
Issue #1227
2012-01-02Make last-use pass properly handle closed-over variablesMarijn Haverbeke-3/+18
Closes #1399
2012-01-01link with gcc44+Jyun-Yan You-1/+3
2012-01-01fix link errorJyun-Yan You-1/+4
2012-01-01add missing library, enable segmented stacks for freebsdJyun-Yan You-5/+4
2012-01-01freebsd supportUser Jyyou-5/+42
2011-12-30add cap clause to pretty printer, with a testNiko Matsakis-2/+34
2011-12-30Print usage messages to rustc and rustdoc when invoked with no args. Close ↵Graydon Hoare-0/+3
#1394.
2011-12-29split proto from fn_decl, as not all fn_decls know the proto.Niko Matsakis-200/+207
this will address the (crashing) new test added.
2011-12-29Add support in lexer for utf8 identifiers. No NFKC logic in char yet.Graydon Hoare-2/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 02:38:57 +0000