aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Support the awful alt-else form in rustboot's cexp grammar, at least ↵Graydon Hoare2011-02-241-0/+17
| | | | | | | | | | | | transiently. Remove in the future.
* | | Connect the crate and source parsers together.Graydon Hoare2011-02-241-2/+58
| | |
* | | Handle the mutant 'let'-block directive in rustboot, temporarily.Graydon Hoare2011-02-241-0/+15
| | |
* | | Factor crate expr evaluator out of parser, expand to simple scalars and ops, ↵Graydon Hoare2011-02-244-82/+453
| | | | | | | | | | | | if, alt.
* | | Cast more aggressively to the callee type when calling generic functions. ↵Patrick Walton2011-02-241-3/+9
| | | | | | | | | | | | Add a test-case for this, and XFAIL it in rustboot.
* | | Revert "Cast more aggressively to the callee type when calling generic ↵Patrick Walton2011-02-241-3/+3
| | | | | | | | | | | | | | | | | | functions. Add a test-case for this, and XFAIL it in rustboot." due to test failures This reverts commit 0a65283c5eeae0b98fff7d213dbaad59889e677e.
* | | Cast more aggressively to the callee type when calling generic functions. ↵Patrick Walton2011-02-241-3/+3
| | | | | | | | | | | | Add a test-case for this, and XFAIL it in rustboot.
* | | Parse crate directive tree in one pass, then evaluate it in a second.Graydon Hoare2011-02-242-33/+96
| | |
* | | Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs.Patrick Walton2011-02-232-19/+99
| | |
* | | Add a type for crate directives, to support intermixing with exprs in crate ↵Graydon Hoare2011-02-232-1/+17
| | | | | | | | | | | | files.
* | | Parse auth clauses, drop them on the floor. Nothing exists to use them yet ↵Graydon Hoare2011-02-231-0/+9
| | | | | | | | | | | | anyways.
* | | Use the computed abi :-(Rafael Ávila de Espíndola2011-02-231-1/+1
| | |
* | | Parse the abi in native modules.Rafael Ávila de Espíndola2011-02-233-11/+40
| | |
* | | Handle the new ty_native_fn in type check.Rafael Ávila de Espíndola2011-02-232-25/+96
| | |
* | | Teach rustc about reserved keywordsBrian Anderson2011-02-221-1/+16
| | |
* | | Rename std._io to std.io since 'io' is no longer a keywordBrian Anderson2011-02-222-3/+3
| | |
* | | rustc: Perform explicit type substitution as requested by the programmerPatrick Walton2011-02-221-0/+66
| | |
* | | Drop for-loop temporary at end of scope, fixes memory leak.Graydon Hoare2011-02-221-0/+1
| | |
* | | Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ↵Graydon Hoare2011-02-223-6/+14
| | | | | | | | | | | | so access to argv works.
* | | Rework typechecking of bind expressionsPatrick Walton2011-02-221-36/+29
| | |
* | | Finish the type of native functions. We now getRafael Ávila de Espíndola2011-02-221-2/+2
| | | | | | | | | | | | declare i32 @write(i32, i8*, i32)
* | | Find main functions buried within modules. Un-XFAIL import.rs.Graydon Hoare2011-02-211-2/+25
| | |
* | | Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work.Graydon Hoare2011-02-181-2/+29
| | |
* | | 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-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
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-06 11:11:05 +0000