aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Collapse)AuthorAgeFilesLines
...
* | 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
| |
* | 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-102-13/+10
| |
* | Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet.Brian Anderson2011-02-103-0/+37
| |
* | 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
| |
* | 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-071-19/+58
| |
* | Fix expressions with paths with more than one element.Rafael Avila de Espindola2011-02-071-2/+1
| |
* | Parse function declarations.Rafael Ávila de Espíndola2011-02-044-31/+63
| |
* | Capture typarams into obj, independent of body tydesc.Graydon Hoare2011-02-031-18/+77
| |
* | 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-021-1/+44
| | | | | | | | 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-012-2/+33
| |
* | Pick up case for expr_block from brson's other branch.Graydon Hoare2011-02-011-0/+15
| |
* | Implement 'else if'Graydon Hoare2011-02-014-17/+70
| |
* | 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-012-0/+9
| |
* | 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-283-11/+24
|
* Correctly handle "import foo = bar.zed;".Rafael Ávila de Espíndola2011-01-282-16/+16
|
* 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-273-16/+21
| | | | 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-14 09:31:32 +0000