| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-05-27 | Part one of adding globbing to resolve.rs: build up glob links. (Part two ↵ | Paul Stansifer | -21/+119 | |
| will follow those links if non-glob resolution fails.) | ||||
| 2011-05-26 | More delicious dead code removal from runtime, upcalls. | Graydon Hoare | -65/+8 | |
| 2011-05-26 | Track spans for each local variable in typestate | Tim Chevalier | -103/+161 | |
| This lets us print better messages in situations with name shadowing. | ||||
| 2011-05-26 | Remove unused imports | Tim Chevalier | -1/+0 | |
| 2011-05-26 | Remove redisue of unused fields from 'ann'. | Graydon Hoare | -44/+4 | |
| 2011-05-26 | Remove residual uses of fold, and fold itself. | Graydon Hoare | -1876/+9 | |
| 2011-05-26 | Remove native glues. All calls to C are direct now. | Graydon Hoare | -57/+4 | |
| 2011-05-25 | Produce a useful error message in trans when attempting to log an ↵ | Michael Sullivan | -6/+13 | |
| unsupported type. (Previously, an llvm assert was tripped.) | ||||
| 2011-05-25 | Fixing typechecking for spawn. | Eric Holk | -1/+3 | |
| 2011-05-25 | dead argument removal part one. | Rafael Ávila de Espíndola | -4/+3 | |
| 2011-05-24 | rustc: Downcase typeck::demand and typeck::pushdown | Brian Anderson | -67/+67 | |
| 2011-05-24 | rustc: Use demand functions instead of open-coded typecheck for spawn | Brian Anderson | -16/+1 | |
| Un-xfail spawn-non-nil-fn | ||||
| 2011-05-24 | Only one gc glue. | Rafael Ávila de Espíndola | -3/+3 | |
| 2011-05-24 | There is only one yield glue. | Rafael Ávila de Espíndola | -5/+2 | |
| 2011-05-24 | Remove dead code for unwind_glue. | Rafael Ávila de Espíndola | -2/+2 | |
| 2011-05-24 | There is only one activate function now. | Rafael Ávila de Espíndola | -8/+3 | |
| 2011-05-24 | Merge pull request #404 from lkuper/cleanup | Eric Holk | -37/+0 | |
| Just removing some unnecessary imports. | ||||
| 2011-05-24 | Stop showing a 'cyclic import' message for unresolved imports | Marijn Haverbeke | -4/+5 | |
| This only happened for single-length import paths, because the import was being looked up in its own scope. | ||||
| 2011-05-24 | Just removing some unnecessary imports. | Lindsey Kuper | -37/+0 | |
| 2011-05-24 | Improve nonexistent-module error message | Tim Chevalier | -1/+1 | |
| The error message for (for example) "import vec;" without "use std;" was "cyclic import", which was misleading because there were no cycles. I changed it to "cyclic import or nonexistent module", which doesn't break existing tests. | ||||
| 2011-05-23 | Improve error message for ambiguous polymorphic types | Tim Chevalier | -0/+5 | |
| If a type still contains free type variables after typechecking (for example, as with "auto foo = []", the result was an assertion failure in typeck. Made it a human-readable error message instead. | ||||
| 2011-05-23 | Typecheck @[] correctly | Tim Chevalier | -0/+25 | |
| Previously, if you wrote let @vec[int] foo = @[]; that would be a type error. That didn't seem right, so I changed pushdown to unify the inner type in an unop application with the argument type of the operator type. | ||||
| 2011-05-23 | Add line breaks to typestate error messages | Tim Chevalier | -4/+4 | |
| 2011-05-21 | rustc: Add a FIXME to expr_alt type checking | Brian Anderson | -0/+2 | |
| 2011-05-21 | rustc: Remove unnecessary pushdown from check_expr in the expr_if case | Brian Anderson | -12/+7 | |
| 2011-05-21 | rustc: If all if branches are _|_, then the entire if is _|_ | Brian Anderson | -3/+1 | |
| 2011-05-21 | rustc: Remove outdated comment | Brian Anderson | -2/+0 | |
| 2011-05-21 | rustc: Allow if expressions to fail | Brian Anderson | -14/+31 | |
| 2011-05-21 | rustc: Allow alt expressions to fail | Brian Anderson | -3/+9 | |
| 2011-05-21 | rustc: Assign ty_bot to nodes in write::bot_ty. Remove FIXME | Brian Anderson | -2/+1 | |
| 2011-05-21 | rustc: Blocks shouldn't try to return results for ty_bot | Brian Anderson | -1/+2 | |
| 2011-05-20 | Correctly check that ! functions always diverge | Tim Chevalier | -2/+40 | |
| Also make _|_ unify with any type. | ||||
| 2011-05-20 | rustc: Don't write metadata for unexported items | Brian Anderson | -1/+4 | |
| 2011-05-20 | Merge remote-tracking branch 'graydon/master' into typestate_4 | Tim Chevalier | -23/+245 | |
| 2011-05-20 | Error instead of warning for missing returns. Huzzah! | Tim Chevalier | -4/+2 | |
| 2011-05-20 | More work on anonymous objects. | Lindsey Kuper | -23/+245 | |
| 2011-05-20 | Change node_ann hash table to a vector in typestate | Tim Chevalier | -12/+31 | |
| 2011-05-20 | rm unnecessary logging | Tim Chevalier | -9/+1 | |
| 2011-05-20 | rm unused import | Tim Chevalier | -1/+0 | |
| 2011-05-20 | Add a "fail" after a while(true) loop in two places | Tim Chevalier | -2/+2 | |
| (in preparation for changing the "function may not return" warning to an error) | ||||
| 2011-05-20 | Make controlflow part of a function type | Tim Chevalier | -91/+136 | |
| Change ty_fn to have a controlflow field. A 'controlflow' is essentially a bit of data that says whether or not this function never returns to the caller (if it never returns, that means it calls "fail" or another "never-returns" function on every control path). Also add syntax for annotating functions that never return: fn foo() -> ! { fail; } for example. Functions marked with ! implicitly have a result type of ty_bot, which is a new type that this commit also adds. | ||||
| 2011-05-20 | Translated start_task, but it fails on spp == align_down(spp) | Eric Holk | -0/+42 | |
| 2011-05-20 | Called the new_task upcall. There are refcount issues though. | Eric Holk | -1/+23 | |
| 2011-05-20 | A little closure towards translating spawn. We're about ready to do the ↵ | Eric Holk | -4/+47 | |
| upcall, except that rustc segfaults. | ||||
| 2011-05-20 | Added some comments to trans_spawn that sort of explains what needs to happen | Eric Holk | -1/+15 | |
| 2011-05-20 | Started working on translating spawn. It correctly generates the task name ↵ | Eric Holk | -1/+41 | |
| in the case that it is not provided. | ||||
| 2011-05-20 | Twiddle glue inlining heuristics. ~10% win on build time. | Graydon Hoare | -9/+25 | |
| 2011-05-20 | Elide a bunch of do-nothing take glue. | Graydon Hoare | -1/+1 | |
| 2011-05-20 | Remove redundant secondary declaration of glue. | Graydon Hoare | -12/+0 | |
| 2011-05-20 | rustc: Move the interner to a new module intended to be used for general ↵ | Patrick Walton | -2/+2 | |
| data structures | ||||
