aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
...
* | | 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
| |
* | Run cleanups in reverse order. Not presently observable, no dtors.Graydon Hoare2011-01-311-1/+4
|/
* Fix a bug in linearize and get the captured tydescs type right.Graydon Hoare2011-01-281-9/+11
|
* Pass linearized typarams to make_generic_glue. Steps toward derived tydescs.Graydon Hoare2011-01-281-5/+22
|
* Pass tydesc array into type glue fns as first arg. Required for derived ↵Graydon Hoare2011-01-281-40/+53
| | | | tydescs to work.
* Teach rustc to failBrian Anderson2011-01-285-11/+31
|
* Correctly handle "import foo = bar.zed;".Rafael Ávila de Espíndola2011-01-284-28/+40
|
* Add helper function for derived type descriptors.Graydon Hoare2011-01-271-2/+45
|
* Simplify and fix the resolution of expr_path. With this we now get to codegenRafael Ávila de Espíndola2011-01-271-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; } -------------------
* Resolve type paths.Rafael Ávila de Espíndola2011-01-271-18/+3
|
* Handle paths correctly. This lets us handle one more test :-)Rafael Ávila de Espíndola2011-01-271-13/+7
|
* First step for supporting "case (foo.bar(?zed))": Change the ast ofRafael Ávila de Espíndola2011-01-275-19/+25
| | | | pat_tag to hold a path.
* Correctly split a.b.c into its path and field access components.Rafael Ávila de Espíndola2011-01-271-12/+14
|
* Note issue in comments.Graydon Hoare2011-01-271-3/+2
|
* Update various README files in the tree.Graydon Hoare2011-01-261-0/+118
|
* Change rustc warning to be a little less dismissive.Graydon Hoare2011-01-261-2/+2
|
* Teach typeck to handle obj item names when used as type names, not just ↵Graydon Hoare2011-01-261-18/+47
| | | | constructor calls.
* Print an error if we try to refer to a module in an expr_path.Rafael Ávila de Espíndola2011-01-251-1/+11
|
* Small first step in expr_path. Call find_final_def just to detectRafael Ávila de Espíndola2011-01-251-24/+38
| | | | | unresolved names. find_final_def is going to be extended to return the final expr.
* Implement autoderef in rustc. Un-XFAIL autoderef-full-lval.rs.Graydon Hoare2011-01-242-24/+129
|
* Do better at parsing expr_paths with type arguments.Graydon Hoare2011-01-241-19/+23
|
* Switch from booleans to symbolic tags in a few places.Graydon Hoare2011-01-242-46/+64
|
* Teach parser to recognize ITER keyword as item-start.Graydon Hoare2011-01-241-0/+1
|
* Remove unimplemented erorr and enable test.Rafael Ávila de Espíndola2011-01-241-5/+0
|
* Implement a bit of type parameter matching to get a simple case working.Rafael Ávila de Espíndola2011-01-242-5/+31
|
* Teach AST, parser, folder about iter items.Graydon Hoare2011-01-214-15/+35
|
* First cut at translating const items. Support the literal forms at least. ↵Graydon Hoare2011-01-211-26/+74
| | | | Un-XFAIL const.rs.
* Merge remote branch 'espindola/params'Graydon Hoare2011-01-211-10/+40
|\
| * Change the return type of the getter method so that we can get to the typeRafael Ávila de Espíndola2011-01-211-10/+40
| | | | | | | | params.
* | Fix bug in trans_for, un-XFAIL linear-for-loop.rs.Graydon Hoare2011-01-211-1/+1
| |
* | First cut of trans_for.Graydon Hoare2011-01-211-0/+38
| |
* | Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵Graydon Hoare2011-01-212-149/+166
| | | | | | | | in trans.rs
* | M-x indent-region on trans.rs.Graydon Hoare2011-01-211-27/+35
|/
* Teach ty and typeck about linear for loops.Graydon Hoare2011-01-202-30/+56
|
* Fix typo in fold.Graydon Hoare2011-01-201-1/+1
|