aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
...
* | Groundwork for structural comparison. Still lacking the actual loop that does...Graydon Hoare2011-02-281-24/+97
* | rustc: Write tag variant discriminants into the crate as integer constantsPatrick Walton2011-02-281-1/+15
* | Declare wrappers to the native functions and use those to createRafael Ávila de Espíndola2011-02-281-4/+28
* | Update the function declarations with rust abi. A cdeclRafael Ávila de Espíndola2011-02-281-1/+12
* | rustc: Make the tag info table keyed by both tag ID and type parameter. Also ...Patrick Walton2011-02-252-14/+24
* | rustc: Eliminate the "ty_params" field from the tag infoPatrick Walton2011-02-251-6/+14
* | rustc: Eliminate the "variants" field from the tag infoPatrick Walton2011-02-251-37/+22
* | rustc: Make iter_structural_ty() not use the "variants" field in the tag infoPatrick Walton2011-02-251-62/+42
* | Add a tag_variant_count() function to trans that doesn't go through the soon-...Patrick Walton2011-02-251-1/+14
* | rustc: Move all of the logic in type_of() to type_of_inner()Patrick Walton2011-02-251-38/+40
* | Revert "rustc: Push type parameters down through alt tag patterns; add a test...Patrick Walton2011-02-251-49/+11
* | rustc: Remove FIXME obsoleted by the previous commitPatrick Walton2011-02-251-5/+0
* | rustc: Push type parameters down through alt tag patterns; add a testPatrick Walton2011-02-251-6/+49
* | Pass the abi of native functions all the way to codegen.Rafael Ávila de Espíndola2011-02-253-30/+49
* | There are no native iterators (or at least they are not going to be supportedRafael Ávila de Espíndola2011-02-253-17/+21
* | rustc: Perform type parameter substitutions when emitting glue for generic ta...Patrick Walton2011-02-243-31/+56
* | Cast more aggressively to the callee type when calling generic functions. Add...Patrick Walton2011-02-241-3/+9
* | Revert "Cast more aggressively to the callee type when calling generic functi...Patrick Walton2011-02-241-3/+3
* | Cast more aggressively to the callee type when calling generic functions. Add...Patrick Walton2011-02-241-3/+3
* | Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs.Patrick Walton2011-02-232-19/+99
* | Parse the abi in native modules.Rafael Ávila de Espíndola2011-02-231-0/+1
* | Handle the new ty_native_fn in type check.Rafael Ávila de Espíndola2011-02-232-25/+96
* | rustc: Perform explicit type substitution as requested by the programmerPatrick Walton2011-02-221-0/+66
* | Drop for-loop temporary at end of scope, fixes memory leak.Graydon Hoare2011-02-221-0/+1
* | Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ...Graydon Hoare2011-02-221-4/+9
* | Rework typechecking of bind expressionsPatrick Walton2011-02-221-36/+29
* | Finish the type of native functions. We now getRafael Ávila de Espíndola2011-02-221-2/+2
* | Find main functions buried within modules. Un-XFAIL import.rs.Graydon Hoare2011-02-211-2/+25
* | Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work.Graydon Hoare2011-02-181-2/+29
* | Factor out the call typechecking logic so that bind can use itPatrick Walton2011-02-181-42/+101
* | Pass correct lliterbody; can compile and run no-put iters.Graydon Hoare2011-02-181-3/+11
* | Make a tag for iterness / fnness, teach many places about it.Graydon Hoare2011-02-184-186/+243
* | Implement Robinson's algorithm for type unification. Closes #227.Patrick Walton2011-02-181-75/+70
* | Teach trans and llvm to cooperate on producing tidier diagnostic names in tra...Graydon Hoare2011-02-171-104/+164
* | Add type parameters to tag typesPatrick Walton2011-02-173-33/+98
* | Steps toward implementing iterators.Graydon Hoare2011-02-171-7/+116
* | Don't add the rust arguments to native functions. We now produce theRafael Avila de Espindola2011-02-163-17/+50
* | Add a more specialized decl_native_fn_and_pair. Native functions now haveRafael Avila de Espindola2011-02-161-1/+13
* | Add missing case to ty_to_str.Rafael Avila de Espindola2011-02-161-0/+1
* | Wrap long line in last commit.Graydon Hoare2011-02-161-1/+2
* | More typechecking for native types and the needed plumbing in codegen.Rafael Avila de Espindola2011-02-165-13/+61
* | Translate record extension.Graydon Hoare2011-02-151-8/+36
* | Handle record update in typeck.Graydon Hoare2011-02-151-14/+80
* | Change another typestate check to an expr check.Graydon Hoare2011-02-151-1/+1
* | Add _mutable unop.Graydon Hoare2011-02-152-0/+6
* | Add basic front-end support for 'for each' loops.Graydon Hoare2011-02-145-0/+52
* | Add basic front-end support for expr_put.Graydon Hoare2011-02-144-0/+52
* | Move all non-decl/non-expr stmts to exprs.Graydon Hoare2011-02-144-130/+149
* | Switch ast.is_call_expr check in trans to non-typestate form.Graydon Hoare2011-02-141-1/+1
* | Expand expr_rec to take its optional trailing 'with' parameter.Graydon Hoare2011-02-144-14/+36