| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 | 3 | -183/+221 |
| | | | | | 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 | 3 | -12/+39 |
| | | |||||
| * | typo | Rafael Ávila de Espíndola | 2011-01-20 | 1 | -1/+1 |
| | | |||||
| * | Teach ast and parser about linear for expressions. | Graydon Hoare | 2011-01-20 | 2 | -28/+56 |
| | | |||||
| * | Implement dynamic GEP enough to permit expr_field to work on tup(T,T,T). | Graydon Hoare | 2011-01-19 | 4 | -2/+139 |
| | | |||||
| * | Look at the type params of an item_ty when resolving. | Rafael Ávila de Espíndola | 2011-01-19 | 3 | -1/+14 |
| | | |||||
| * | 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. | ||||
| * | Change generic-drop-glue.rs to be meaningful again, and un-XFAIL on rustc. | Graydon Hoare | 2011-01-18 | 2 | -3/+3 |
| | | |||||
| * | 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 | 4 | -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 Hoare | 2011-01-18 | 2 | -15/+174 |
| | | |||||
| * | 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 | 2 | -32/+66 |
| | | |||||
| * | Make legal and un-XFAIL generic-fn-infer.rs (on both compilers). | Graydon Hoare | 2011-01-17 | 2 | -2/+2 |
| | | |||||
| * | 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 | 3 | -2/+4 |
| | | |||||
| * | 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 | 3 | -12/+47 |
| | | | | | | 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. | ||||
| * | Further corrections to the logging layer in runtime. | Graydon Hoare | 2011-01-14 | 4 | -6/+8 |
| | | |||||
| * | Fix the import handling in "complex" cases. When looking a.b.c and 'a' is a | Rafael Ávila de Espíndola | 2011-01-14 | 4 | -5/+46 |
| | | | | | | | | 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 |
| | | |||||
| * | Change log buffer butes to a symbolic const in runtime. | Graydon Hoare | 2011-01-14 | 5 | -11/+15 |
| | | |||||
| * | Make lookup non recursive and instead move the recursion just to | Rafael Ávila de Espíndola | 2011-01-14 | 2 | -60/+90 |
| | | | | | | 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 | 7 | -98/+170 |
| | | | | | handle the module-path/value-indexing distinction. | ||||
| * | Add or enable some tests. | Rafael Ávila de Espíndola | 2011-01-13 | 2 | -0/+15 |
| | | |||||
| * | Wrap long line. | Graydon Hoare | 2011-01-12 | 1 | -2/+3 |
| | | |||||
| * | Guard a bunch more logging calls. Cut 10s off rustc compile time. | Graydon Hoare | 2011-01-12 | 2 | -18/+31 |
| | | |||||
| * | Produce better errors for invalid imports. | Rafael Ávila de Espíndola | 2011-01-12 | 3 | -0/+13 |
| | | |||||
| * | 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 | 4 | -58/+66 |
| | | |||||
| * | Figure out what tydescs we need to pass when translating parametric function ↵ | Patrick Walton | 2011-01-12 | 2 | -4/+57 |
| | | | | | calls | ||||
| * | Guard unguarded log calls that snuck in. Shave 5s off building rustc. | Graydon Hoare | 2011-01-11 | 1 | -3/+5 |
| | | |||||
| * | Recursively genericize types and spread across glue. Saves 1mb size, 8s ↵ | Graydon Hoare | 2011-01-11 | 2 | -16/+38 |
| | | | | | compile time on rustc. | ||||
| * | Out-of-line all drop glue. Shaves 50kb from rustc. | Graydon Hoare | 2011-01-11 | 1 | -11/+1 |
| | | |||||
| * | Make rustboot fn/obj drops generic; cuts 300kb size, 10s compile time off rustc. | Graydon Hoare | 2011-01-11 | 1 | -0/+16 |
| | | |||||
| * | Fix another import case we got wrong: The local environment should not | Rafael Ávila de Espíndola | 2011-01-11 | 3 | -27/+58 |
| | | | | | interfere with the import statements. | ||||
| * | Fix two invalid import cases we were not detecting: | Rafael Ávila de Espíndola | 2011-01-11 | 5 | -17/+61 |
| | | | | | | | | * 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'. | ||||
| * | Sketch support for reading multi-file crates in rustc. Add test, not yet ↵ | Graydon Hoare | 2011-01-10 | 4 | -32/+151 |
| | | | | | working. | ||||