aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
* Add helper function for derived type descriptors.Graydon Hoare2011-01-271-2/+45
|
* Merge branch 'master' of github.com:graydon/rustGraydon Hoare2011-01-271-19/+10
|\
| * Simplify and fix the resolution of expr_path. With this we now get to codegenRafael Ávila de Espíndola2011-01-271-19/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | in ------------------- type foo = rec(int a); mod m1 { mod m2 { const foo bar = rec(a = 4); } } fn main(vec[str] args) { log m1.m2.bar.a; } -------------------
* | Fix bug in box-unbox.rs test.Graydon Hoare2011-01-271-1/+1
| |
* | Un-XFAIL 3 tests that started working recently.Graydon Hoare2011-01-271-0/+3
|/
* Resolve type paths.Rafael Ávila de Espíndola2011-01-272-20/+4
|
* Handle paths correctly. This lets us handle one more test :-)Rafael Ávila de Espíndola2011-01-273-13/+23
|
* First step for supporting "case (foo.bar(?zed))": Change the ast ofRafael Ávila de Espíndola2011-01-275-19/+25
| | | | pat_tag to hold a path.
* Correctly split a.b.c into its path and field access components.Rafael Ávila de Espíndola2011-01-271-12/+14
|
* Note issue in comments.Graydon Hoare2011-01-271-3/+2
|
* Update various README files in the tree.Graydon Hoare2011-01-263-12/+130
|
* Change rustc warning to be a little less dismissive.Graydon Hoare2011-01-261-2/+2
|
* Slight makefile refactoring.Graydon Hoare2011-01-261-7/+8
|
* Fix bug in generic-obj.rs testcase.Graydon Hoare2011-01-261-1/+1
|
* Teach typeck to handle obj item names when used as type names, not just ↵Graydon Hoare2011-01-261-18/+47
| | | | constructor calls.
* Fix test now that we look at the full error-pattern. Also enable it for rustc.Rafael Ávila de Espíndola2011-01-262-1/+2
|
* Fix issue 207 by considering everything after the first : in the error-patternRafael Ávila de Espíndola2011-01-261-5/+4
| | | | line.
* Print an error if we try to refer to a module in an expr_path.Rafael Ávila de Espíndola2011-01-253-1/+22
|
* Small first step in expr_path. Call find_final_def just to detectRafael Ávila de Espíndola2011-01-253-24/+48
| | | | | unresolved names. find_final_def is going to be extended to return the final expr.
* Un-XFAIL a couple more rustc tests that have started working recently.Graydon Hoare2011-01-241-0/+2
|
* Implement autoderef in rustc. Un-XFAIL autoderef-full-lval.rs.Graydon Hoare2011-01-243-24/+130
|
* Do better at parsing expr_paths with type arguments.Graydon Hoare2011-01-241-19/+23
|
* Switch from booleans to symbolic tags in a few places.Graydon Hoare2011-01-242-46/+64
|
* Teach parser to recognize ITER keyword as item-start.Graydon Hoare2011-01-241-0/+1
|
* Remove unimplemented erorr and enable test.Rafael Ávila de Espíndola2011-01-242-5/+1
|
* Implement a bit of type parameter matching to get a simple case working.Rafael Ávila de Espíndola2011-01-243-5/+32
|
* Teach AST, parser, folder about iter items.Graydon Hoare2011-01-214-15/+35
|
* Re-XFAIL integral-indexing.rs. Seems OSX and linux still don't like it.Graydon Hoare2011-01-211-1/+0
|
* Un-XFAIL 7 tests that have begun working on rustc lately. Fix one bug in ↵Graydon Hoare2011-01-212-2/+9
| | | | mlist.rs.
* First cut at translating const items. Support the literal forms at least. ↵Graydon Hoare2011-01-212-26/+75
| | | | Un-XFAIL const.rs.
* Merge remote branch 'espindola/params'Graydon Hoare2011-01-211-10/+40
|\
| * Change the return type of the getter method so that we can get to the typeRafael Ávila de Espíndola2011-01-211-10/+40
| | | | | | | | params.
* | Fix bug in trans_for, un-XFAIL linear-for-loop.rs.Graydon Hoare2011-01-212-1/+2
| |
* | First cut of trans_for.Graydon Hoare2011-01-211-0/+38
| |
* | Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵Graydon Hoare2011-01-213-183/+221
| | | | | | | | in trans.rs
* | M-x indent-region on trans.rs.Graydon Hoare2011-01-211-27/+35
|/
* Teach ty and typeck about linear for loops.Graydon Hoare2011-01-202-30/+56
|
* Fix typo in fold.Graydon Hoare2011-01-201-1/+1
|
* Teach resolve about linear for loops.Graydon Hoare2011-01-201-2/+26
|
* Adjust AST encoding, teach fold about linear for loops.Graydon Hoare2011-01-203-12/+39
|
* typoRafael Ávila de Espíndola2011-01-201-1/+1
|
* Teach ast and parser about linear for expressions.Graydon Hoare2011-01-202-28/+56
|
* Implement dynamic GEP enough to permit expr_field to work on tup(T,T,T).Graydon Hoare2011-01-194-2/+139
|
* Look at the type params of an item_ty when resolving.Rafael Ávila de Espíndola2011-01-193-1/+14
|
* Fold function output and argument types. With this change we fail to compileRafael Ávila de Espíndola2011-01-191-3/+15
| | | | | | | type lteq[T] = fn(&T a) -> bool; with "unresolved name: T". Before we would silently get to the type checker and assert in a unresolved ty_path.
* Change generic-drop-glue.rs to be meaningful again, and un-XFAIL on rustc.Graydon Hoare2011-01-182-3/+3
|
* Twiddle comment.Graydon Hoare2011-01-181-1/+1
|
* Fix bug (I think) when unifying ty_local and ty_param.Graydon Hoare2011-01-181-1/+13
|
* One last refactoring of the import handling:Rafael Ávila de Espíndola2011-01-184-88/+121
| | | | | | | | | | | | | * Create an import resolving stage. Currently this involves a copy of the ast, we can probably revisit this once we revisit doing full copies of the ast in general. * Don't repeat work. Once we resolve a import, put it on a hash table and use it next time we are asked for it. This solves a O(n^2) behaviour in degenerated cases. * Once import resolution is done, the target of an import is stored on the import itself.
* Add bzero glue and preliminary code for dynamic size/align calculations.Graydon Hoare2011-01-182-15/+174
|