about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-02-14Move all non-decl/non-expr stmts to exprs.Graydon Hoare-193/+212
2011-02-14Adjust commented-out diagnostic log statement in parser.rs.Graydon Hoare-1/+2
2011-02-14Switch ast.is_call_expr check in trans to non-typestate form.Graydon Hoare-1/+1
2011-02-14Add parse support for expr_ext.Graydon Hoare-0/+12
2011-02-14Expand expr_rec to take its optional trailing 'with' parameter.Graydon Hoare-24/+69
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-10Support indexing pat_lit.Graydon Hoare-0/+1
2011-02-10Add pat_lit to ast, and support parsing it.Graydon Hoare-22/+22
2011-02-10Parse effects and layers in a couple contexts; drop on floor as we have ↵Graydon Hoare-0/+10
nowhere to put them yet.
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-14/+28
2011-02-10Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet.Brian Anderson-0/+45
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-08Add the single instruction required in activate glue to fix burning darwin ↵Graydon Hoare-2/+99
tinderbox. And transplant 100 lines of comments from the ML code.
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/+60
2011-02-07Fix expressions with paths with more than one element.Rafael Avila de Espindola-2/+1
2011-02-07Add support forRafael Avila de Espindola-1/+12
native mod foo = "bar" ...
2011-02-04Parse function declarations.Rafael Ávila de Espíndola-43/+100
2011-02-04Factor the parsing of "type foo" into parse_type_decl.Rafael Ávila de Espíndola-9/+11
2011-02-03Capture typarams into obj, independent of body tydesc.Graydon Hoare-19/+79
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-4/+95
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/+58
2011-02-01Pick up case for expr_block from brson's other branch.Graydon Hoare-0/+15
2011-02-01Implement 'else if'Graydon Hoare-28/+103
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/+10
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 14:21:05 +0000