| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Note issue in comments. | Graydon Hoare | 2011-01-27 | 1 | -3/+2 | |
| | | ||||||
| * | Teach typeck to handle obj item names when used as type names, not just ↵ | Graydon Hoare | 2011-01-26 | 1 | -18/+47 | |
| | | | | | constructor calls. | |||||
| * | Print an error if we try to refer to a module in an expr_path. | Rafael Ávila de Espíndola | 2011-01-25 | 1 | -1/+11 | |
| | | ||||||
| * | Small first step in expr_path. Call find_final_def just to detect | Rafael Ávila de Espíndola | 2011-01-25 | 1 | -24/+38 | |
| | | | | | | unresolved names. find_final_def is going to be extended to return the final expr. | |||||
| * | Implement autoderef in rustc. Un-XFAIL autoderef-full-lval.rs. | Graydon Hoare | 2011-01-24 | 2 | -24/+129 | |
| | | ||||||
| * | Switch from booleans to symbolic tags in a few places. | Graydon Hoare | 2011-01-24 | 1 | -23/+36 | |
| | | ||||||
| * | Remove unimplemented erorr and enable test. | Rafael Ávila de Espíndola | 2011-01-24 | 1 | -5/+0 | |
| | | ||||||
| * | Implement a bit of type parameter matching to get a simple case working. | Rafael Ávila de Espíndola | 2011-01-24 | 2 | -5/+31 | |
| | | ||||||
| * | Teach AST, parser, folder about iter items. | Graydon Hoare | 2011-01-21 | 2 | -7/+10 | |
| | | ||||||
| * | First cut at translating const items. Support the literal forms at least. ↵ | Graydon Hoare | 2011-01-21 | 1 | -26/+74 | |
| | | | | | Un-XFAIL const.rs. | |||||
| * | Merge remote branch 'espindola/params' | Graydon Hoare | 2011-01-21 | 1 | -10/+40 | |
| |\ | ||||||
| | * | Change the return type of the getter method so that we can get to the type | Rafael Ávila de Espíndola | 2011-01-21 | 1 | -10/+40 | |
| | | | | | | | | | params. | |||||
| * | | Fix bug in trans_for, un-XFAIL linear-for-loop.rs. | Graydon Hoare | 2011-01-21 | 1 | -1/+1 | |
| | | | ||||||
| * | | First cut of trans_for. | Graydon Hoare | 2011-01-21 | 1 | -0/+38 | |
| | | | ||||||
| * | | Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵ | Graydon Hoare | 2011-01-21 | 1 | -149/+164 | |
| | | | | | | | | | in trans.rs | |||||
| * | | M-x indent-region on trans.rs. | Graydon Hoare | 2011-01-21 | 1 | -27/+35 | |
| |/ | ||||||
| * | Teach ty and typeck about linear for loops. | Graydon Hoare | 2011-01-20 | 2 | -30/+56 | |
| | | ||||||
| * | Fix typo in fold. | Graydon Hoare | 2011-01-20 | 1 | -1/+1 | |
| | | ||||||
| * | Teach resolve about linear for loops. | Graydon Hoare | 2011-01-20 | 1 | -2/+26 | |
| | | ||||||
| * | Adjust AST encoding, teach fold about linear for loops. | Graydon Hoare | 2011-01-20 | 1 | -0/+18 | |
| | | ||||||
| * | Implement dynamic GEP enough to permit expr_field to work on tup(T,T,T). | Graydon Hoare | 2011-01-19 | 2 | -2/+127 | |
| | | ||||||
| * | Look at the type params of an item_ty when resolving. | Rafael Ávila de Espíndola | 2011-01-19 | 1 | -1/+8 | |
| | | ||||||
| * | Fold function output and argument types. With this change we fail to compile | Rafael Ávila de Espíndola | 2011-01-19 | 1 | -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. | |||||
| * | Twiddle comment. | Graydon Hoare | 2011-01-18 | 1 | -1/+1 | |
| | | ||||||
| * | Fix bug (I think) when unifying ty_local and ty_param. | Graydon Hoare | 2011-01-18 | 1 | -1/+13 | |
| | | ||||||
| * | One last refactoring of the import handling: | Rafael Ávila de Espíndola | 2011-01-18 | 2 | -85/+117 | |
| | | | | | | | | | | | | | | * 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 Hoare | 2011-01-18 | 1 | -15/+170 | |
| | | ||||||
| * | Fix missing case in ty. | Graydon Hoare | 2011-01-17 | 1 | -0/+5 | |
| | | ||||||
| * | Use homebrew memcpy, not llvm intrinsic. Can't run the latter on a rust stack. | Graydon Hoare | 2011-01-17 | 1 | -32/+58 | |
| | | ||||||
| * | Fix a couple bugs in parametric returns. | Graydon Hoare | 2011-01-17 | 1 | -11/+11 | |
| | | ||||||
| * | Allocate and reload retslots. Copy into them on polymorphic returns. | Graydon Hoare | 2011-01-17 | 1 | -19/+35 | |
| | | ||||||
| * | Enable more tests. | Rafael Ávila de Espíndola | 2011-01-17 | 1 | -1/+1 | |
| | | ||||||
| * | Whitespace cleanup. | Graydon Hoare | 2011-01-17 | 1 | -9/+9 | |
| | | ||||||
| * | Fix the last known (to me) bug in import resolution. We were not properly | Rafael Ávila de Espíndola | 2011-01-17 | 1 | -12/+27 | |
| | | | | | | dropping the inner part of the environment when an intermediate item resolved in an outer scope. | |||||
| * | Teach copy_ty to finish via memcpy of tydesc-provided size. | Graydon Hoare | 2011-01-17 | 1 | -11/+24 | |
| | | ||||||
| * | Some misc cleanups: | Rafael Ávila de Espíndola | 2011-01-17 | 1 | -25/+26 | |
| | | | | | | * Remove unused argument * Move option.t wrapping to outer functions. | |||||
| * | Pass tydescs to parametric fns, along with (dummy, presently) retptr when ↵ | Graydon Hoare | 2011-01-14 | 1 | -66/+82 | |
| | | | | | needed. Can call simple parametric fn now. | |||||
| * | Fix the import handling in "complex" cases. When looking a.b.c and 'a' is a | Rafael Ávila de Espíndola | 2011-01-14 | 1 | -5/+22 | |
| | | | | | | | | module, we should look for 'b' *just* in the module 'a' and then continue resolving b.c in the environment created by updating *with* a. Still not 100% correct, but getting there. | |||||
| * | Expand generic info in lval_result. | Graydon Hoare | 2011-01-14 | 1 | -12/+17 | |
| | | ||||||
| * | Trim long lines. | Graydon Hoare | 2011-01-14 | 1 | -2/+2 | |
| | | ||||||
| * | Pass tydescs to parametric fns. | Graydon Hoare | 2011-01-14 | 1 | -6/+33 | |
| | | ||||||
| * | Make lookup non recursive and instead move the recursion just to | Rafael Ávila de Espíndola | 2011-01-14 | 1 | -60/+88 | |
| | | | | | | find_final_def. Use the fact that the recursion is in a simpler function to detected import loops and exit. | |||||
| * | Change single-ident expr_ident to greedy/fat multi-ident expr_path, to ↵ | Graydon Hoare | 2011-01-13 | 5 | -60/+99 | |
| | | | | | handle the module-path/value-indexing distinction. | |||||
| * | Produce better errors for invalid imports. | Rafael Ávila de Espíndola | 2011-01-12 | 1 | -0/+6 | |
| | | ||||||
| * | Call find_final_def directly in fold_view_item_import. It is both cleaner and | Rafael Ávila de Espíndola | 2011-01-12 | 1 | -1/+1 | |
| | | | | | faster. | |||||
| * | Change mod_index_entry to point directly to items and view_items. | Rafael Ávila de Espíndola | 2011-01-12 | 2 | -9/+13 | |
| | | ||||||
| * | Figure out what tydescs we need to pass when translating parametric function ↵ | Patrick Walton | 2011-01-12 | 2 | -4/+57 | |
| | | | | | calls | |||||
| * | Fix another import case we got wrong: The local environment should not | Rafael Ávila de Espíndola | 2011-01-11 | 1 | -27/+47 | |
| | | | | | interfere with the import statements. | |||||
| * | Fix two invalid import cases we were not detecting: | Rafael Ávila de Espíndola | 2011-01-11 | 1 | -12/+29 | |
| | | | | | | | | * If an import was unused we would never print any errors for it. * We would keep the existing environment in scope when descending 'foo.bar' and would find 'bar' in the global environment if there was no 'bar' in 'foo'. | |||||
| * | Drop closures. Un-XFAIL bind-interior.rs. | Graydon Hoare | 2011-01-07 | 1 | -7/+54 | |
| | | ||||||