aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | 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
| | |
* | | Handle instantiations where some type parameters remain parameters (eg. ↵Graydon Hoare2011-02-101-1/+5
| | | | | | | | | | | | derived typedefs).
* | | Commit the trap-failure hack to the runtime, since I keep using it in my ↵Graydon Hoare2011-02-101-0/+4
| | | | | | | | | | | | workspace anyways.
* | | Fix bug in test and un-XFAIL 4 tests now passing on rustc.Graydon Hoare2011-02-092-1/+5
| | |
* | | Re-indent a bit of elf.Graydon Hoare2011-02-091-10/+10
| | |
* | | Add several 1-word .bss fragments for FreeBSD.Graydon Hoare2011-02-091-0/+21
| | |
* | | Add .bss fragment support to elf.Graydon Hoare2011-02-091-3/+31
| | |
* | | Adapt elf.ml to handle differences between Linux and FreeBSD.Rob Arnold2011-02-091-6/+20
| | |
* | | Add FreeBSD_x86_elf target to rustbootRob Arnold2011-02-094-6/+29
| | |
* | | Add FreeBSD support in the MakefileRob Arnold2011-02-091-0/+20
| | |
* | | Elide passed-typarams when tydescs are captured. Un-XFAIL generic-obj.rs.Graydon Hoare2011-02-092-12/+17
| | |
* | | 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-072-2/+9
| | |
* | | Add support forRafael Avila de Espindola2011-02-072-1/+16
| | | | | | | | | | | | native mod foo = "bar" ...
* | | Parse function declarations.Rafael Ávila de Espíndola2011-02-047-43/+101
| | |
* | | Factor the parsing of "type foo" into parse_type_decl.Rafael Ávila de Espíndola2011-02-041-9/+11
| | |
* | | 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.