aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Patrick Walton2011-02-251-49/+11
| | | | | | test" due to valgrind failures This reverts commit 7a1d01effcfa5763bc62aefba40f67ad2130d28d.
* 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
| | | | soon.).
* rustc: Perform type parameter substitutions when emitting glue for generic ↵Patrick Walton2011-02-243-31/+56
| | | | tags. Un-XFAIL generic-tag.rs.
* Cast more aggressively to the callee type when calling generic functions. ↵Patrick Walton2011-02-241-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 Walton2011-02-241-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 Walton2011-02-241-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 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
| | | | so access to argv works.
* 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
| | | | declare i32 @write(i32, i8*, i32)
* 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 ↵Graydon Hoare2011-02-171-104/+164
| | | | trans.ty_str.
* 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
| | | | correct arguments for native functions.
* Add a more specialized decl_native_fn_and_pair. Native functions now haveRafael Avila de Espindola2011-02-161-1/+13
| | | | the right name.
* Add missing case to ty_to_str.Rafael Avila de Espindola2011-02-161-0/+1
| | | | | Disable test that now fails because we produce undefined references to the native functions.
* 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
|
* Teach typeck about generic tags.Graydon Hoare2011-02-141-1/+2
|
* Teach resolve about ty params on tags.Graydon Hoare2011-02-141-0/+8
|
* Add support for unsigned binops. Closes #57Brian Anderson2011-02-141-16/+54
|
* Add missing case to unify. This gets hello world to codegen.Rafael Avila de Espindola2011-02-141-0/+1
|
* Translate pat_lit, un-XFAIL alt-pattern-lit.rs for rustc.Graydon Hoare2011-02-101-12/+30
|
* Teach ty and typeck about pat_lit.Graydon Hoare2011-02-102-0/+8
|
* Add support to pat_lit to fold.Graydon Hoare2011-02-101-0/+11
|
* Fix bug in trans_field, un-XFAIL two more tests.Graydon Hoare2011-02-101-3/+1
|
* Add type checking for native types.Rafael Avila de Espindola2011-02-102-34/+126
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 20:27:51 +0000