aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Find main functions buried within modules. Un-XFAIL import.rs.Graydon Hoare2011-02-212-2/+26
|
* Implement sha-1 in standard library. Closes #228Brian Anderson2011-02-213-0/+400
|
* Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work.Graydon Hoare2011-02-182-2/+30
|
* Factor out the call typechecking logic so that bind can use itPatrick Walton2011-02-181-42/+101
|
* Pass correct lliterbody; can compile and run no-put iters.Graydon Hoare2011-02-181-3/+11
|
* Make a tag for iterness / fnness, teach many places about it.Graydon Hoare2011-02-186-228/+303
|
* 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-174-34/+99
|
* Steps toward implementing iterators.Graydon Hoare2011-02-171-7/+116
|
* Un-XFAIL mutable-vec-drop.rs.Graydon Hoare2011-02-161-0/+1
|
* 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-162-1/+14
| | | | the right name.
* Add missing case to ty_to_str.Rafael Avila de Espindola2011-02-162-1/+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-152-8/+37
|
* Handle record update in typeck.Graydon Hoare2011-02-152-14/+81
|
* 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
|
* Disable TRACK_ALLOCATIONS by default, it's a bit heavy-handed.Graydon Hoare2011-02-141-1/+1
|
* 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-143-16/+80
|
* 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-102-12/+31
|
* 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
|
* Add alt-pattern-lit.rs test.Graydon Hoare2011-02-101-0/+17
|
* 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-102-3/+3
|
* Add type checking for native types.Rafael Avila de Espindola2011-02-102-34/+126
|
* Un-XFAIL generic-derived-type.rs.Graydon Hoare2011-02-101-0/+1
|
* 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-106-16/+30
|
* Add compile-fail tests for tail callsBrian Anderson2011-02-103-0/+26
|
* Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet.Brian Anderson2011-02-106-0/+48
|
* Revert EI_OSABI ELF header field back to 0 for LinuxBrian Anderson2011-02-101-1/+0
|
* Add missing fold of native functions.Rafael Avila de Espindola2011-02-102-13/+37
|