| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | rustc: Write tag variant discriminants into the crate as integer constants | Patrick Walton | 2011-02-28 | 1 | -1/+15 | |
| | | | ||||||
| * | | Declare wrappers to the native functions and use those to create | Rafael Ávila de Espíndola | 2011-02-28 | 1 | -4/+28 | |
| | | | | | | | | | | | | | | | the fn/closure pairs. Disable native2.rs for now as we are not yet defining the wrappers and it fails to link. | |||||
| * | | Update the function declarations with rust abi. A cdecl | Rafael Ávila de Espíndola | 2011-02-28 | 1 | -1/+12 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fn write(int fd, rustrt.vbuf buf, uint count) -> int; compiles to declare i32 @write(i32, i8*, i32) and a rust fn vec_buf[T](vec[T] v, uint offset) -> vbuf; compiles to declare i8* @vec_buf(%task*, %tydesc*, %"vec[<P0:2>]", i32) which I think is the correct declaration for both :-) | |||||
| * | | rustc: Make the tag info table keyed by both tag ID and type parameter. Also ↵ | Patrick Walton | 2011-02-25 | 2 | -14/+24 | |
| | | | | | | | | | fix a bug that was causing all tags to compare equal. | |||||
| * | | rustc: Eliminate the "ty_params" field from the tag info | Patrick Walton | 2011-02-25 | 1 | -6/+14 | |
| | | | ||||||
| * | | rustc: Eliminate the "variants" field from the tag info | Patrick Walton | 2011-02-25 | 1 | -37/+22 | |
| | | | ||||||
| * | | rustc: Make iter_structural_ty() not use the "variants" field in the tag info | Patrick Walton | 2011-02-25 | 1 | -62/+42 | |
| | | | ||||||
| * | | Add a tag_variant_count() function to trans that doesn't go through the ↵ | Patrick Walton | 2011-02-25 | 1 | -1/+14 | |
| | | | | | | | | | soon-to-be-deprecated tag info table | |||||
| * | | rustc: Move all of the logic in type_of() to type_of_inner() | Patrick Walton | 2011-02-25 | 1 | -38/+40 | |
| | | | ||||||
| * | | Revert "rustc: Push type parameters down through alt tag patterns; add a ↵ | Patrick Walton | 2011-02-25 | 1 | -49/+11 | |
| | | | | | | | | | | | | | test" due to valgrind failures This reverts commit 7a1d01effcfa5763bc62aefba40f67ad2130d28d. | |||||
| * | | rustc: Remove FIXME obsoleted by the previous commit | Patrick Walton | 2011-02-25 | 1 | -5/+0 | |
| | | | ||||||
| * | | rustc: Push type parameters down through alt tag patterns; add a test | Patrick Walton | 2011-02-25 | 1 | -6/+49 | |
| | | | ||||||
| * | | Pass the abi of native functions all the way to codegen. | Rafael Ávila de Espíndola | 2011-02-25 | 3 | -30/+49 | |
| | | | ||||||
| * | | There are no native iterators (or at least they are not going to be supported | Rafael Ávila de Espíndola | 2011-02-25 | 3 | -17/+21 | |
| | | | | | | | | | soon.). | |||||
| * | | rustc: Perform type parameter substitutions when emitting glue for generic ↵ | Patrick Walton | 2011-02-24 | 3 | -31/+56 | |
| | | | | | | | | | tags. Un-XFAIL generic-tag.rs. | |||||
| * | | Cast more aggressively to the callee type when calling generic functions. ↵ | Patrick Walton | 2011-02-24 | 1 | -3/+9 | |
| | | | | | | | | | Add a test-case for this, and XFAIL it in rustboot. | |||||
| * | | Revert "Cast more aggressively to the callee type when calling generic ↵ | Patrick Walton | 2011-02-24 | 1 | -3/+3 | |
| | | | | | | | | | | | | | functions. Add a test-case for this, and XFAIL it in rustboot." due to test failures This reverts commit 0a65283c5eeae0b98fff7d213dbaad59889e677e. | |||||
| * | | Cast more aggressively to the callee type when calling generic functions. ↵ | Patrick Walton | 2011-02-24 | 1 | -3/+3 | |
| | | | | | | | | | Add a test-case for this, and XFAIL it in rustboot. | |||||
| * | | Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs. | Patrick Walton | 2011-02-23 | 2 | -19/+99 | |
| | | | ||||||
| * | | Parse the abi in native modules. | Rafael Ávila de Espíndola | 2011-02-23 | 1 | -0/+1 | |
| | | | ||||||
| * | | Handle the new ty_native_fn in type check. | Rafael Ávila de Espíndola | 2011-02-23 | 2 | -25/+96 | |
| | | | ||||||
| * | | rustc: Perform explicit type substitution as requested by the programmer | Patrick Walton | 2011-02-22 | 1 | -0/+66 | |
| | | | ||||||
| * | | Drop for-loop temporary at end of scope, fixes memory leak. | Graydon Hoare | 2011-02-22 | 1 | -0/+1 | |
| | | | ||||||
| * | | Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ↵ | Graydon Hoare | 2011-02-22 | 1 | -4/+9 | |
| | | | | | | | | | so access to argv works. | |||||
| * | | Rework typechecking of bind expressions | Patrick Walton | 2011-02-22 | 1 | -36/+29 | |
| | | | ||||||
| * | | Finish the type of native functions. We now get | Rafael Ávila de Espíndola | 2011-02-22 | 1 | -2/+2 | |
| | | | | | | | | | declare i32 @write(i32, i8*, i32) | |||||
| * | | Find main functions buried within modules. Un-XFAIL import.rs. | Graydon Hoare | 2011-02-21 | 1 | -2/+25 | |
| | | | ||||||
| * | | Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work. | Graydon Hoare | 2011-02-18 | 1 | -2/+29 | |
| | | | ||||||
| * | | Factor out the call typechecking logic so that bind can use it | Patrick Walton | 2011-02-18 | 1 | -42/+101 | |
| | | | ||||||
| * | | Pass correct lliterbody; can compile and run no-put iters. | Graydon Hoare | 2011-02-18 | 1 | -3/+11 | |
| | | | ||||||
| * | | Make a tag for iterness / fnness, teach many places about it. | Graydon Hoare | 2011-02-18 | 4 | -186/+243 | |
| | | | ||||||
| * | | Implement Robinson's algorithm for type unification. Closes #227. | Patrick Walton | 2011-02-18 | 1 | -75/+70 | |
| | | | ||||||
| * | | Teach trans and llvm to cooperate on producing tidier diagnostic names in ↵ | Graydon Hoare | 2011-02-17 | 1 | -104/+164 | |
| | | | | | | | | | trans.ty_str. | |||||
| * | | Add type parameters to tag types | Patrick Walton | 2011-02-17 | 3 | -33/+98 | |
| | | | ||||||
| * | | Steps toward implementing iterators. | Graydon Hoare | 2011-02-17 | 1 | -7/+116 | |
| | | | ||||||
| * | | Don't add the rust arguments to native functions. We now produce the | Rafael Avila de Espindola | 2011-02-16 | 3 | -17/+50 | |
| | | | | | | | | | correct arguments for native functions. | |||||
| * | | Add a more specialized decl_native_fn_and_pair. Native functions now have | Rafael Avila de Espindola | 2011-02-16 | 1 | -1/+13 | |
| | | | | | | | | | the right name. | |||||
| * | | Add missing case to ty_to_str. | Rafael Avila de Espindola | 2011-02-16 | 1 | -0/+1 | |
| | | | | | | | | | | | Disable test that now fails because we produce undefined references to the native functions. | |||||
| * | | Wrap long line in last commit. | Graydon Hoare | 2011-02-16 | 1 | -1/+2 | |
| | | | ||||||
| * | | More typechecking for native types and the needed plumbing in codegen. | Rafael Avila de Espindola | 2011-02-16 | 5 | -13/+61 | |
| | | | ||||||
| * | | Translate record extension. | Graydon Hoare | 2011-02-15 | 1 | -8/+36 | |
| | | | ||||||
| * | | Handle record update in typeck. | Graydon Hoare | 2011-02-15 | 1 | -14/+80 | |
| | | | ||||||
| * | | Change another typestate check to an expr check. | Graydon Hoare | 2011-02-15 | 1 | -1/+1 | |
| | | | ||||||
| * | | Add _mutable unop. | Graydon Hoare | 2011-02-15 | 2 | -0/+6 | |
| | | | ||||||
| * | | Add basic front-end support for 'for each' loops. | Graydon Hoare | 2011-02-14 | 5 | -0/+52 | |
| | | | ||||||
| * | | Add basic front-end support for expr_put. | Graydon Hoare | 2011-02-14 | 4 | -0/+52 | |
| | | | ||||||
| * | | Move all non-decl/non-expr stmts to exprs. | Graydon Hoare | 2011-02-14 | 4 | -130/+149 | |
| | | | ||||||
| * | | Switch ast.is_call_expr check in trans to non-typestate form. | Graydon Hoare | 2011-02-14 | 1 | -1/+1 | |
| | | | ||||||
| * | | Expand expr_rec to take its optional trailing 'with' parameter. | Graydon Hoare | 2011-02-14 | 4 | -14/+36 | |
| | | | ||||||
| * | | Teach typeck about generic tags. | Graydon Hoare | 2011-02-14 | 1 | -1/+2 | |
| | | | ||||||