| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ↵ | Graydon Hoare | 2011-02-22 | 12 | -42/+97 | |
| | | | | | | | | | | | | | so access to argv works. | |||||
| * | | | Rework typechecking of bind expressions | Patrick Walton | 2011-02-22 | 1 | -36/+29 | |
| | | | | ||||||
| * | | | Finish the type of native functions. We now get | Rafael Ávila de Espíndola | 2011-02-22 | 1 | -2/+2 | |
| | | | | | | | | | | | | | declare i32 @write(i32, i8*, i32) | |||||
| * | | | Fix typo in rust_task::start. Should be copying 1 fewer initial arg. | Graydon Hoare | 2011-02-21 | 1 | -2/+2 | |
| | | | | ||||||
| * | | | Find main functions buried within modules. Un-XFAIL import.rs. | Graydon Hoare | 2011-02-21 | 2 | -2/+26 | |
| | | | | ||||||
| * | | | Implement sha-1 in standard library. Closes #228 | Brian Anderson | 2011-02-21 | 3 | -0/+400 | |
| | | | | ||||||
| * | | | Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work. | Graydon Hoare | 2011-02-18 | 2 | -2/+30 | |
| | | | | ||||||
| * | | | Factor out the call typechecking logic so that bind can use it | Patrick Walton | 2011-02-18 | 1 | -42/+101 | |
| | | | | ||||||
| * | | | Pass correct lliterbody; can compile and run no-put iters. | Graydon Hoare | 2011-02-18 | 1 | -3/+11 | |
| | | | | ||||||
| * | | | Make a tag for iterness / fnness, teach many places about it. | Graydon Hoare | 2011-02-18 | 6 | -228/+303 | |
| | | | | ||||||
| * | | | Implement Robinson's algorithm for type unification. Closes #227. | Patrick Walton | 2011-02-18 | 1 | -75/+70 | |
| | | | | ||||||
| * | | | Teach trans and llvm to cooperate on producing tidier diagnostic names in ↵ | Graydon Hoare | 2011-02-17 | 2 | -113/+226 | |
| | | | | | | | | | | | | | trans.ty_str. | |||||
| * | | | Add type parameters to tag types | Patrick Walton | 2011-02-17 | 4 | -34/+99 | |
| | | | | ||||||
| * | | | Steps toward implementing iterators. | Graydon Hoare | 2011-02-17 | 1 | -7/+116 | |
| | | | | ||||||
| * | | | Un-XFAIL mutable-vec-drop.rs. | Graydon Hoare | 2011-02-16 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Don't add the rust arguments to native functions. We now produce the | Rafael Avila de Espindola | 2011-02-16 | 3 | -17/+50 | |
| | | | | | | | | | | | | | correct arguments for native functions. | |||||
| * | | | Add a more specialized decl_native_fn_and_pair. Native functions now have | Rafael Avila de Espindola | 2011-02-16 | 2 | -1/+14 | |
| | | | | | | | | | | | | | the right name. | |||||
| * | | | Add missing case to ty_to_str. | Rafael Avila de Espindola | 2011-02-16 | 2 | -1/+1 | |
| | | | | | | | | | | | | | | | | Disable test that now fails because we produce undefined references to the native functions. | |||||
| * | | | Wrap long line in last commit. | Graydon Hoare | 2011-02-16 | 1 | -1/+2 | |
| | | | | ||||||
| * | | | More typechecking for native types and the needed plumbing in codegen. | Rafael Avila de Espindola | 2011-02-16 | 7 | -16/+65 | |
| | | | | ||||||
| * | | | Translate record extension. | Graydon Hoare | 2011-02-15 | 2 | -8/+37 | |
| | | | | ||||||
| * | | | Handle record update in typeck. | Graydon Hoare | 2011-02-15 | 2 | -14/+81 | |
| | | | | ||||||
| * | | | Change another typestate check to an expr check. | Graydon Hoare | 2011-02-15 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Add _mutable unop. | Graydon Hoare | 2011-02-15 | 4 | -0/+14 | |
| | | | | ||||||
| * | | | Fix missing path in expr_ext. | Graydon Hoare | 2011-02-15 | 2 | -2/+3 | |
| | | | | ||||||
| * | | | Add basic front-end support for 'for each' loops. | Graydon Hoare | 2011-02-14 | 7 | -1/+69 | |
| | | | | ||||||
| * | | | Add basic front-end support for expr_put. | Graydon Hoare | 2011-02-14 | 6 | -0/+68 | |
| | | | | ||||||
| * | | | Move all non-decl/non-expr stmts to exprs. | Graydon Hoare | 2011-02-14 | 6 | -193/+212 | |
| | | | | ||||||
| * | | | Adjust commented-out diagnostic log statement in parser.rs. | Graydon Hoare | 2011-02-14 | 1 | -1/+2 | |
| | | | | ||||||
| * | | | Disable TRACK_ALLOCATIONS by default, it's a bit heavy-handed. | Graydon Hoare | 2011-02-14 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Switch ast.is_call_expr check in trans to non-typestate form. | Graydon Hoare | 2011-02-14 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Add parse support for expr_ext. | Graydon Hoare | 2011-02-14 | 2 | -0/+12 | |
| | | | | ||||||
| * | | | Expand expr_rec to take its optional trailing 'with' parameter. | Graydon Hoare | 2011-02-14 | 6 | -24/+69 | |
| | | | | ||||||
| * | | | Teach typeck about generic tags. | Graydon Hoare | 2011-02-14 | 1 | -1/+2 | |
| | | | | ||||||
| * | | | Teach resolve about ty params on tags. | Graydon Hoare | 2011-02-14 | 1 | -0/+8 | |
| | | | | ||||||
| * | | | Add support for unsigned binops. Closes #57 | Brian Anderson | 2011-02-14 | 3 | -16/+80 | |
| | | | | ||||||
| * | | | Add missing case to unify. This gets hello world to codegen. | Rafael Avila de Espindola | 2011-02-14 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Translate pat_lit, un-XFAIL alt-pattern-lit.rs for rustc. | Graydon Hoare | 2011-02-10 | 2 | -12/+31 | |
| | | | | ||||||
| * | | | Teach ty and typeck about pat_lit. | Graydon Hoare | 2011-02-10 | 2 | -0/+8 | |
| | | | | ||||||
| * | | | Add support to pat_lit to fold. | Graydon Hoare | 2011-02-10 | 1 | -0/+11 | |
| | | | | ||||||
| * | | | Add alt-pattern-lit.rs test. | Graydon Hoare | 2011-02-10 | 1 | -0/+17 | |
| | | | | ||||||
| * | | | Support indexing pat_lit. | Graydon Hoare | 2011-02-10 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Add pat_lit to ast, and support parsing it. | Graydon Hoare | 2011-02-10 | 2 | -22/+22 | |
| | | | | ||||||
| * | | | Parse effects and layers in a couple contexts; drop on floor as we have ↵ | Graydon Hoare | 2011-02-10 | 1 | -0/+10 | |
| | | | | | | | | | | | | | nowhere to put them yet. | |||||
| * | | | Fix bug in trans_field, un-XFAIL two more tests. | Graydon Hoare | 2011-02-10 | 2 | -3/+3 | |
| | | | | ||||||
| * | | | Add type checking for native types. | Rafael Avila de Espindola | 2011-02-10 | 2 | -34/+126 | |
| | | | | ||||||
| * | | | Un-XFAIL generic-derived-type.rs. | Graydon Hoare | 2011-02-10 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | Change more of trans to rely on tydescs when dealing with generics. | Graydon Hoare | 2011-02-10 | 1 | -37/+66 | |
| | | | | ||||||
| * | | | Switch "." to "_" in name mangling, makes gdb happier. Also factor out into ↵ | Graydon Hoare | 2011-02-10 | 1 | -14/+18 | |
| | | | | | | | | | | | | | sep() helper. | |||||
| * | | | Cleanup for 'be' statement and comments about future typestate | Brian Anderson | 2011-02-10 | 6 | -16/+30 | |
| | | | | ||||||