| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | Add missing case to unify. This gets hello world to codegen. | Rafael Avila de Espindola | 2011-02-14 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Translate pat_lit, un-XFAIL alt-pattern-lit.rs for rustc. | Graydon Hoare | 2011-02-10 | 1 | -12/+30 | |
| | | | | ||||||
| * | | | Teach ty and typeck about pat_lit. | Graydon Hoare | 2011-02-10 | 2 | -0/+8 | |
| | | | | ||||||
| * | | | Add support to pat_lit to fold. | Graydon Hoare | 2011-02-10 | 1 | -0/+11 | |
| | | | | ||||||
| * | | | Support indexing pat_lit. | Graydon Hoare | 2011-02-10 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Add pat_lit to ast, and support parsing it. | Graydon Hoare | 2011-02-10 | 2 | -22/+22 | |
| | | | | ||||||
| * | | | Parse effects and layers in a couple contexts; drop on floor as we have ↵ | Graydon Hoare | 2011-02-10 | 1 | -0/+10 | |
| | | | | | | | | | | | | | nowhere to put them yet. | |||||
| * | | | Fix bug in trans_field, un-XFAIL two more tests. | Graydon Hoare | 2011-02-10 | 1 | -3/+1 | |
| | | | | ||||||
| * | | | Add type checking for native types. | Rafael Avila de Espindola | 2011-02-10 | 2 | -34/+126 | |
| | | | | ||||||
| * | | | Change more of trans to rely on tydescs when dealing with generics. | Graydon Hoare | 2011-02-10 | 1 | -37/+66 | |
| | | | | ||||||
| * | | | Switch "." to "_" in name mangling, makes gdb happier. Also factor out into ↵ | Graydon Hoare | 2011-02-10 | 1 | -14/+18 | |
| | | | | | | | | | | | | | sep() helper. | |||||
| * | | | Cleanup for 'be' statement and comments about future typestate | Brian Anderson | 2011-02-10 | 4 | -14/+28 | |
| | | | | ||||||
| * | | | Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet. | Brian Anderson | 2011-02-10 | 5 | -0/+45 | |
| | | | | ||||||
| * | | | Add missing fold of native functions. | Rafael Avila de Espindola | 2011-02-10 | 2 | -13/+37 | |
| | | | | ||||||
| * | | | Handle instantiations where some type parameters remain parameters (eg. ↵ | Graydon Hoare | 2011-02-10 | 1 | -1/+5 | |
| | | | | | | | | | | | | | derived typedefs). | |||||
| * | | | Elide passed-typarams when tydescs are captured. Un-XFAIL generic-obj.rs. | Graydon Hoare | 2011-02-09 | 1 | -12/+16 | |
| | | | | ||||||
| * | | | Add the single instruction required in activate glue to fix burning darwin ↵ | Graydon Hoare | 2011-02-08 | 1 | -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 Hoare | 2011-02-08 | 1 | -0/+8 | |
| | | | | | | | | | | | | | objs now. | |||||
| * | | | Overhaul ABI. All retptrs, all the time. | Graydon Hoare | 2011-02-08 | 1 | -254/+224 | |
| | | | | ||||||
| * | | | Add a fixme for last commit. | Graydon Hoare | 2011-02-07 | 1 | -0/+4 | |
| | | | | ||||||
| * | | | Iterate type unification to drive the types a bit further down into the ↵ | Graydon Hoare | 2011-02-07 | 1 | -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 Espindola | 2011-02-07 | 2 | -19/+60 | |
| | | | | ||||||
| * | | | Fix expressions with paths with more than one element. | Rafael Avila de Espindola | 2011-02-07 | 1 | -2/+1 | |
| | | | | ||||||
| * | | | Add support for | Rafael Avila de Espindola | 2011-02-07 | 1 | -1/+12 | |
| | | | | | | | | | | | | | native mod foo = "bar" ... | |||||
| * | | | Parse function declarations. | Rafael Ávila de Espíndola | 2011-02-04 | 6 | -43/+100 | |
| | | | | ||||||
| * | | | Factor the parsing of "type foo" into parse_type_decl. | Rafael Ávila de Espíndola | 2011-02-04 | 1 | -9/+11 | |
| | | | | ||||||
| * | | | Capture typarams into obj, independent of body tydesc. | Graydon Hoare | 2011-02-03 | 2 | -19/+79 | |
| | | | | ||||||
| * | | | Attempt to put out burning tinderbox. | Graydon Hoare | 2011-02-02 | 1 | -1/+5 | |
| | | | | ||||||
| * | | | Hack to work around apparent LLVM bug? | Graydon Hoare | 2011-02-02 | 1 | -1/+7 | |
| | | | | ||||||
| * | | | Store tydesc for whole body, not just fields, in objs and closures. Handles ↵ | Graydon Hoare | 2011-02-02 | 1 | -14/+5 | |
| | | | | | | | | | | | | | unusual field alignment. | |||||
| * | | | Handle missing case in linearize_ty_params. | Graydon Hoare | 2011-02-02 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Change decl_upcall to decl_upcall_glue, more correct name. | Graydon Hoare | 2011-02-02 | 1 | -2/+2 | |
| | | | | ||||||
| * | | | Add trace and trap helpers to trans for low level diagnostics. | Graydon Hoare | 2011-02-02 | 1 | -0/+18 | |
| | | | | ||||||
| * | | | Add most of the plumbing for native items and add support for parsing native ↵ | Rafael Ávila de Espíndola | 2011-02-02 | 3 | -4/+95 | |
| | | | | | | | | | | | | | type declarations. | |||||
| * | | | Fix buggy argument assembly for upcall_get_type_desc. Can now complete calls ↵ | Graydon Hoare | 2011-02-01 | 1 | -5/+5 | |
| | | | | | | | | | | | | | to glue of derived tydescs. | |||||
| * | | | Add very minimal support for native modules. For now they must be empty. | Rafael Ávila de Espíndola | 2011-02-01 | 4 | -2/+58 | |
| | | | | ||||||
| * | | | Pick up case for expr_block from brson's other branch. | Graydon Hoare | 2011-02-01 | 1 | -0/+15 | |
| | | | | ||||||
| * | | | Implement 'else if' | Graydon Hoare | 2011-02-01 | 6 | -28/+103 | |
| | | | | ||||||
| * | | | Use dynamic GEP and silly offset-encoding on tydescs. Successful call into a ↵ | Graydon Hoare | 2011-02-01 | 1 | -40/+70 | |
| | | | | | | | | | | | | | derived tydesc. | |||||
| * | | | Add ty_type. | Graydon Hoare | 2011-02-01 | 3 | -0/+10 | |
| | | | | ||||||
| * | | | More work on derived tydescs. Can compile simple tests with generic objects. | Graydon Hoare | 2011-01-31 | 2 | -33/+53 | |
| | |/ |/| | ||||||
| * | | Majority of the remaining work for derived tydescs. Not quite working yet. | Graydon Hoare | 2011-01-31 | 1 | -106/+159 | |
| | | | ||||||
| * | | Run cleanups in reverse order. Not presently observable, no dtors. | Graydon Hoare | 2011-01-31 | 1 | -1/+4 | |
| |/ | ||||||
| * | Fix a bug in linearize and get the captured tydescs type right. | Graydon Hoare | 2011-01-28 | 1 | -9/+11 | |
| | | ||||||
| * | Pass linearized typarams to make_generic_glue. Steps toward derived tydescs. | Graydon Hoare | 2011-01-28 | 1 | -5/+22 | |
| | | ||||||
| * | Pass tydesc array into type glue fns as first arg. Required for derived ↵ | Graydon Hoare | 2011-01-28 | 1 | -40/+53 | |
| | | | | | tydescs to work. | |||||
| * | Teach rustc to fail | Brian Anderson | 2011-01-28 | 5 | -11/+31 | |
| | | ||||||
| * | Correctly handle "import foo = bar.zed;". | Rafael Ávila de Espíndola | 2011-01-28 | 4 | -28/+40 | |
| | | ||||||
| * | Add helper function for derived type descriptors. | Graydon Hoare | 2011-01-27 | 1 | -2/+45 | |
| | | ||||||
| * | Simplify and fix the resolution of expr_path. With this we now get to codegen | Rafael Ávila de Espíndola | 2011-01-27 | 1 | -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; } ------------------- | |||||