aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Implement Robinson's algorithm for type unification. Closes #227.Patrick Walton2011-02-181-75/+70
| | |
* | | Teach trans and llvm to cooperate on producing tidier diagnostic names in ↵Graydon Hoare2011-02-172-113/+226
| | | | | | | | | | | | trans.ty_str.
* | | Add type parameters to tag typesPatrick Walton2011-02-173-33/+98
| | |
* | | Steps toward implementing iterators.Graydon Hoare2011-02-171-7/+116
| | |
* | | Don't add the rust arguments to native functions. We now produce theRafael Avila de Espindola2011-02-163-17/+50
| | | | | | | | | | | | correct arguments for native functions.
* | | Add a more specialized decl_native_fn_and_pair. Native functions now haveRafael Avila de Espindola2011-02-161-1/+13
| | | | | | | | | | | | the right name.
* | | Add missing case to ty_to_str.Rafael Avila de Espindola2011-02-161-0/+1
| | | | | | | | | | | | | | | Disable test that now fails because we produce undefined references to the native functions.
* | | Wrap long line in last commit.Graydon Hoare2011-02-161-1/+2
| | |
* | | More typechecking for native types and the needed plumbing in codegen.Rafael Avila de Espindola2011-02-167-16/+65
| | |
* | | Translate record extension.Graydon Hoare2011-02-151-8/+36
| | |
* | | Handle record update in typeck.Graydon Hoare2011-02-151-14/+80
| | |
* | | Change another typestate check to an expr check.Graydon Hoare2011-02-151-1/+1
| | |
* | | Add _mutable unop.Graydon Hoare2011-02-154-0/+14
| | |
* | | Fix missing path in expr_ext.Graydon Hoare2011-02-152-2/+3
| | |
* | | Add basic front-end support for 'for each' loops.Graydon Hoare2011-02-147-1/+69
| | |
* | | Add basic front-end support for expr_put.Graydon Hoare2011-02-146-0/+68
| | |
* | | 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
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-14 06:51:42 +0000