about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
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
2011-02-02Add trace and trap helpers to trans for low level diagnostics.Graydon Hoare-0/+18
2011-02-02Add most of the plumbing for native items and add support for parsing native ↵Rafael Ávila de Espíndola-1/+44
type declarations.
2011-02-01Fix buggy argument assembly for upcall_get_type_desc. Can now complete calls ↵Graydon Hoare-5/+5
to glue of derived tydescs.
2011-02-01Add very minimal support for native modules. For now they must be empty.Rafael Ávila de Espíndola-2/+33
2011-02-01Pick up case for expr_block from brson's other branch.Graydon Hoare-0/+15
2011-02-01Implement 'else if'Graydon Hoare-17/+70
2011-02-01Use dynamic GEP and silly offset-encoding on tydescs. Successful call into a ↵Graydon Hoare-40/+70
derived tydesc.
2011-02-01Add ty_type.Graydon Hoare-0/+9
2011-01-31More work on derived tydescs. Can compile simple tests with generic objects.Graydon Hoare-33/+53
2011-01-31Majority of the remaining work for derived tydescs. Not quite working yet.Graydon Hoare-106/+159
2011-01-31Run cleanups in reverse order. Not presently observable, no dtors.Graydon Hoare-1/+4
2011-01-28Fix a bug in linearize and get the captured tydescs type right.Graydon Hoare-9/+11
2011-01-28Pass linearized typarams to make_generic_glue. Steps toward derived tydescs.Graydon Hoare-5/+22
2011-01-28Pass tydesc array into type glue fns as first arg. Required for derived ↵Graydon Hoare-40/+53
tydescs to work.
2011-01-28Teach rustc to failBrian Anderson-11/+24
2011-01-28Correctly handle "import foo = bar.zed;".Rafael Ávila de Espíndola-16/+16
2011-01-27Add helper function for derived type descriptors.Graydon Hoare-2/+45
2011-01-27Simplify and fix the resolution of expr_path. With this we now get to codegenRafael Ávila de Espíndola-19/+10
in ------------------- type foo = rec(int a); mod m1 { mod m2 { const foo bar = rec(a = 4); } } fn main(vec[str] args) { log m1.m2.bar.a; } -------------------
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 08:28:16 +0000