about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
2011-02-24rustc: Perform type parameter substitutions when emitting glue for generic ta...Patrick Walton-31/+56
2011-02-24Support the awful alt-else form in rustboot's cexp grammar, at least transien...Graydon Hoare-0/+17
2011-02-24Connect the crate and source parsers together.Graydon Hoare-2/+58
2011-02-24Handle the mutant 'let'-block directive in rustboot, temporarily.Graydon Hoare-0/+15
2011-02-24Factor crate expr evaluator out of parser, expand to simple scalars and ops, ...Graydon Hoare-82/+453
2011-02-24Cast more aggressively to the callee type when calling generic functions. Add...Patrick Walton-3/+9
2011-02-24Revert "Cast more aggressively to the callee type when calling generic functi...Patrick Walton-3/+3
2011-02-24Cast more aggressively to the callee type when calling generic functions. Add...Patrick Walton-3/+3
2011-02-24Parse crate directive tree in one pass, then evaluate it in a second.Graydon Hoare-33/+96
2011-02-23Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs.Patrick Walton-19/+99
2011-02-23Add a type for crate directives, to support intermixing with exprs in crate f...Graydon Hoare-1/+17
2011-02-23Parse auth clauses, drop them on the floor. Nothing exists to use them yet an...Graydon Hoare-0/+9
2011-02-23Use the computed abi :-(Rafael Ávila de Espíndola-1/+1
2011-02-23Parse the abi in native modules.Rafael Ávila de Espíndola-11/+40
2011-02-23Handle the new ty_native_fn in type check.Rafael Ávila de Espíndola-25/+96
2011-02-22Teach rustc about reserved keywordsBrian Anderson-1/+16
2011-02-22Rename std._io to std.io since 'io' is no longer a keywordBrian Anderson-3/+3
2011-02-22rustc: Perform explicit type substitution as requested by the programmerPatrick Walton-0/+66
2011-02-22Drop for-loop temporary at end of scope, fixes memory leak.Graydon Hoare-0/+1
2011-02-22Add ABI tagging to crates, adjust rustc output and runtime stack-frame setup ...Graydon Hoare-6/+14
2011-02-22Rework typechecking of bind expressionsPatrick Walton-36/+29
2011-02-22Finish the type of native functions. We now getRafael Ávila de Espíndola-2/+2
2011-02-21Find main functions buried within modules. Un-XFAIL import.rs.Graydon Hoare-2/+25
2011-02-18Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work.Graydon Hoare-2/+29
2011-02-18Factor out the call typechecking logic so that bind can use itPatrick Walton-42/+101
2011-02-18Pass correct lliterbody; can compile and run no-put iters.Graydon Hoare-3/+11
2011-02-18Make a tag for iterness / fnness, teach many places about it.Graydon Hoare-228/+303
2011-02-18Implement Robinson's algorithm for type unification. Closes #227.Patrick Walton-75/+70
2011-02-17Teach trans and llvm to cooperate on producing tidier diagnostic names in tra...Graydon Hoare-113/+226
2011-02-17Add type parameters to tag typesPatrick Walton-33/+98
2011-02-17Steps toward implementing iterators.Graydon Hoare-7/+116
2011-02-16Don't add the rust arguments to native functions. We now produce theRafael Avila de Espindola-17/+50
2011-02-16Add a more specialized decl_native_fn_and_pair. Native functions now haveRafael Avila de Espindola-1/+13
2011-02-16Add missing case to ty_to_str.Rafael Avila de Espindola-0/+1
2011-02-16Wrap long line in last commit.Graydon Hoare-1/+2
2011-02-16More typechecking for native types and the needed plumbing in codegen.Rafael Avila de Espindola-16/+65
2011-02-15Translate record extension.Graydon Hoare-8/+36
2011-02-15Handle record update in typeck.Graydon Hoare-14/+80
2011-02-15Change another typestate check to an expr check.Graydon Hoare-1/+1
2011-02-15Add _mutable unop.Graydon Hoare-0/+14
2011-02-15Fix missing path in expr_ext.Graydon Hoare-2/+3
2011-02-14Add basic front-end support for 'for each' loops.Graydon Hoare-1/+69
2011-02-14Add basic front-end support for expr_put.Graydon Hoare-0/+68
2011-02-14Move all non-decl/non-expr stmts to exprs.Graydon Hoare-193/+212
2011-02-14Adjust commented-out diagnostic log statement in parser.rs.Graydon Hoare-1/+2
2011-02-14Switch ast.is_call_expr check in trans to non-typestate form.Graydon Hoare-1/+1
2011-02-14Add parse support for expr_ext.Graydon Hoare-0/+12
2011-02-14Expand expr_rec to take its optional trailing 'with' parameter.Graydon Hoare-24/+69
2011-02-14Teach typeck about generic tags.Graydon Hoare-1/+2
2011-02-14Teach resolve about ty params on tags.Graydon Hoare-0/+8