aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
* Move all non-decl/non-expr stmts to exprs.Graydon Hoare2011-02-146-193/+212
|
* Adjust commented-out diagnostic log statement in parser.rs.Graydon Hoare2011-02-141-1/+2
|
* Switch ast.is_call_expr check in trans to non-typestate form.Graydon Hoare2011-02-141-1/+1
|
* Add parse support for expr_ext.Graydon Hoare2011-02-142-0/+12
|
* Expand expr_rec to take its optional trailing 'with' parameter.Graydon Hoare2011-02-146-24/+69
|
* 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
|
* Support indexing pat_lit.Graydon Hoare2011-02-101-0/+1
|
* Add pat_lit to ast, and support parsing it.Graydon Hoare2011-02-102-22/+22
|
* Parse effects and layers in a couple contexts; drop on floor as we have ↵Graydon Hoare2011-02-101-0/+10
| | | | nowhere to put them yet.
* 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 ↵Graydon Hoare2011-02-101-14/+18
| | | | sep() helper.
* Cleanup for 'be' statement and comments about future typestateBrian Anderson2011-02-104-14/+28
|
* Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet.Brian Anderson2011-02-105-0/+45
|
* Add missing fold of native functions.Rafael Avila de Espindola2011-02-102-13/+37
|
* Handle instantiations where some type parameters remain parameters (eg. ↵Graydon Hoare2011-02-101-1/+5
| | | | derived typedefs).
* Elide passed-typarams when tydescs are captured. Un-XFAIL generic-obj.rs.Graydon Hoare2011-02-091-12/+16
|
* Add the single instruction required in activate glue to fix burning darwin ↵Graydon Hoare2011-02-081-2/+99
| | | | tinderbox. And transplant 100 lines of comments from the ML code.
* Handle subtle view-shift on outptr in generic calls. Can construct generic ↵Graydon Hoare2011-02-081-0/+8
| | | | objs now.
* 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 ↵Graydon Hoare2011-02-071-1/+33
| | | | leaves of results with residual vars. Cheap but kinda works.
* Add native modules to resolve. With this hello world gets to typecheck.Rafael Avila de Espindola2011-02-072-19/+60
|
* Fix expressions with paths with more than one element.Rafael Avila de Espindola2011-02-071-2/+1
|
* Add support forRafael Avila de Espindola2011-02-071-1/+12
| | | | native mod foo = "bar" ...
* Parse function declarations.Rafael Ávila de Espíndola2011-02-046-43/+100
|
* Factor the parsing of "type foo" into parse_type_decl.Rafael Ávila de Espíndola2011-02-041-9/+11
|
* Capture typarams into obj, independent of body tydesc.Graydon Hoare2011-02-032-19/+79
|
* 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 ↵Graydon Hoare2011-02-021-14/+5
| | | | unusual field alignment.
* Handle missing case in linearize_ty_params.Graydon Hoare2011-02-021-0/+1
|
* Change decl_upcall to decl_upcall_glue, more correct name.Graydon Hoare2011-02-021-2/+2
|
* Add trace and trap helpers to trans for low level diagnostics.Graydon Hoare2011-02-021-0/+18
|
* Add most of the plumbing for native items and add support for parsing native ↵Rafael Ávila de Espíndola2011-02-023-4/+95
| | | | type declarations.
* Fix buggy argument assembly for upcall_get_type_desc. Can now complete calls ↵Graydon Hoare2011-02-011-5/+5
| | | | to glue of derived tydescs.
* Add very minimal support for native modules. For now they must be empty.Rafael Ávila de Espíndola2011-02-014-2/+58
|
* Pick up case for expr_block from brson's other branch.Graydon Hoare2011-02-011-0/+15
|
* Implement 'else if'Graydon Hoare2011-02-016-28/+103
|
* Use dynamic GEP and silly offset-encoding on tydescs. Successful call into a ↵Graydon Hoare2011-02-011-40/+70
| | | | derived tydesc.
* Add ty_type.Graydon Hoare2011-02-013-0/+10
|
* More work on derived tydescs. Can compile simple tests with generic objects.Graydon Hoare2011-01-312-33/+53
|
* Majority of the remaining work for derived tydescs. Not quite working yet.Graydon Hoare2011-01-311-106/+159
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-12 05:33:31 +0000