about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
2011-02-18Factor out the call typechecking logic so that bind can use itPatrick Walton-42/+101
2011-02-18Pass correct lliterbody; can compile and run no-put iters.Graydon Hoare-3/+11
2011-02-18Make a tag for iterness / fnness, teach many places about it.Graydon Hoare-186/+243
2011-02-18Implement Robinson's algorithm for type unification. Closes #227.Patrick Walton-75/+70
2011-02-17Teach trans and llvm to cooperate on producing tidier diagnostic names in ↵Graydon Hoare-104/+164
trans.ty_str.
2011-02-17Add type parameters to tag typesPatrick Walton-33/+98
2011-02-17Steps toward implementing iterators.Graydon Hoare-7/+116
2011-02-16Don't add the rust arguments to native functions. We now produce theRafael Avila de Espindola-17/+50
correct arguments for native functions.
2011-02-16Add a more specialized decl_native_fn_and_pair. Native functions now haveRafael Avila de Espindola-1/+13
the right name.
2011-02-16Add missing case to ty_to_str.Rafael Avila de Espindola-0/+1
Disable test that now fails because we produce undefined references to the native functions.
2011-02-16Wrap long line in last commit.Graydon Hoare-1/+2
2011-02-16More typechecking for native types and the needed plumbing in codegen.Rafael Avila de Espindola-13/+61
2011-02-15Translate record extension.Graydon Hoare-8/+36
2011-02-15Handle record update in typeck.Graydon Hoare-14/+80
2011-02-15Change another typestate check to an expr check.Graydon Hoare-1/+1
2011-02-15Add _mutable unop.Graydon Hoare-0/+6
2011-02-14Add basic front-end support for 'for each' loops.Graydon Hoare-0/+52
2011-02-14Add basic front-end support for expr_put.Graydon Hoare-0/+52
2011-02-14Move all non-decl/non-expr stmts to exprs.Graydon Hoare-130/+149
2011-02-14Switch ast.is_call_expr check in trans to non-typestate form.Graydon Hoare-1/+1
2011-02-14Expand expr_rec to take its optional trailing 'with' parameter.Graydon Hoare-14/+36
2011-02-14Teach typeck about generic tags.Graydon Hoare-1/+2
2011-02-14Teach resolve about ty params on tags.Graydon Hoare-0/+8
2011-02-14Add support for unsigned binops. Closes #57Brian Anderson-16/+54
2011-02-14Add missing case to unify. This gets hello world to codegen.Rafael Avila de Espindola-0/+1
2011-02-10Translate pat_lit, un-XFAIL alt-pattern-lit.rs for rustc.Graydon Hoare-12/+30
2011-02-10Teach ty and typeck about pat_lit.Graydon Hoare-0/+8
2011-02-10Add support to pat_lit to fold.Graydon Hoare-0/+11
2011-02-10Fix bug in trans_field, un-XFAIL two more tests.Graydon Hoare-3/+1
2011-02-10Add type checking for native types.Rafael Avila de Espindola-34/+126
2011-02-10Change more of trans to rely on tydescs when dealing with generics.Graydon Hoare-37/+66
2011-02-10Switch "." to "_" in name mangling, makes gdb happier. Also factor out into ↵Graydon Hoare-14/+18
sep() helper.
2011-02-10Cleanup for 'be' statement and comments about future typestateBrian Anderson-13/+10
2011-02-10Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet.Brian Anderson-0/+37
2011-02-10Add missing fold of native functions.Rafael Avila de Espindola-13/+37
2011-02-10Handle instantiations where some type parameters remain parameters (eg. ↵Graydon Hoare-1/+5
derived typedefs).
2011-02-09Elide passed-typarams when tydescs are captured. Un-XFAIL generic-obj.rs.Graydon Hoare-12/+16
2011-02-08Handle subtle view-shift on outptr in generic calls. Can construct generic ↵Graydon Hoare-0/+8
objs now.
2011-02-08Overhaul ABI. All retptrs, all the time.Graydon Hoare-254/+224
2011-02-07Add a fixme for last commit.Graydon Hoare-0/+4
2011-02-07Iterate type unification to drive the types a bit further down into the ↵Graydon Hoare-1/+33
leaves of results with residual vars. Cheap but kinda works.
2011-02-07Add native modules to resolve. With this hello world gets to typecheck.Rafael Avila de Espindola-19/+58
2011-02-07Fix expressions with paths with more than one element.Rafael Avila de Espindola-2/+1
2011-02-04Parse function declarations.Rafael Ávila de Espíndola-31/+63
2011-02-03Capture typarams into obj, independent of body tydesc.Graydon Hoare-18/+77
2011-02-02Attempt to put out burning tinderbox.Graydon Hoare-1/+5
2011-02-02Hack to work around apparent LLVM bug?Graydon Hoare-1/+7
2011-02-02Store tydesc for whole body, not just fields, in objs and closures. Handles ↵Graydon Hoare-14/+5
unusual field alignment.
2011-02-02Handle missing case in linearize_ty_params.Graydon Hoare-0/+1
2011-02-02Change decl_upcall to decl_upcall_glue, more correct name.Graydon Hoare-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-11-07 10:55:12 +0000