aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* Change more of trans to rely on tydescs when dealing with generics.Graydon Hoare2011-02-101-37/+66
* Switch "." to "_" in name mangling, makes gdb happier. Also factor out into s...Graydon Hoare2011-02-101-14/+18
* Cleanup for 'be' statement and comments about future typestateBrian Anderson2011-02-102-13/+10
* Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet.Brian Anderson2011-02-103-0/+37
* Add missing fold of native functions.Rafael Avila de Espindola2011-02-102-13/+37
* Handle instantiations where some type parameters remain parameters (eg. deriv...Graydon Hoare2011-02-101-1/+5
* Elide passed-typarams when tydescs are captured. Un-XFAIL generic-obj.rs.Graydon Hoare2011-02-091-12/+16
* Handle subtle view-shift on outptr in generic calls. Can construct generic ob...Graydon Hoare2011-02-081-0/+8
* Overhaul ABI. All retptrs, all the time.Graydon Hoare2011-02-081-254/+224
* Add a fixme for last commit.Graydon Hoare2011-02-071-0/+4
* Iterate type unification to drive the types a bit further down into the leave...Graydon Hoare2011-02-071-1/+33
* Add native modules to resolve. With this hello world gets to typecheck.Rafael Avila de Espindola2011-02-071-19/+58
* Fix expressions with paths with more than one element.Rafael Avila de Espindola2011-02-071-2/+1
* Parse function declarations.Rafael Ávila de Espíndola2011-02-044-31/+63
* Capture typarams into obj, independent of body tydesc.Graydon Hoare2011-02-031-18/+77
* Attempt to put out burning tinderbox.Graydon Hoare2011-02-021-1/+5
* Hack to work around apparent LLVM bug?Graydon Hoare2011-02-021-1/+7
* Store tydesc for whole body, not just fields, in objs and closures. Handles u...Graydon Hoare2011-02-021-14/+5
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-12 11:16:43 +0000