| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-05-26 | Fix typo in error message | Tim Chevalier | -2/+2 | |
| 2011-05-26 | Remove redisue of unused fields from 'ann'. | Graydon Hoare | -52/+6 | |
| 2011-05-26 | Remove residual uses of fold, and fold itself. | Graydon Hoare | -1936/+62 | |
| 2011-05-26 | Remove native glues. All calls to C are direct now. | Graydon Hoare | -261/+5 | |
| 2011-05-26 | Add early returns to rustc main on non-compiling paths. | Graydon Hoare | -0/+2 | |
| 2011-05-25 | Pretty print view items with :: rather than :. | Graydon Hoare | -1/+1 | |
| 2011-05-25 | rustc: Fail better when the first argument to #fmt is not a string literal | Brian Anderson | -2/+3 | |
| 2011-05-25 | rustc: Fail when #fmt is given too many arguments | Brian Anderson | -1/+9 | |
| 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 | -47/+4 | |
| 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 | -104/+5 | |
| 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 | rustc: Run the llvm verifier pass before optimization. Closes #376 | Brian Anderson | -0/+4 | |
| The optimization passes were hiding some codegen errors so now we run the verifier both before and after optimization. | ||||
| 2011-05-23 | Get test-pass/utf8.rs to run | Marijn Haverbeke | -44/+25 | |
| This involved a small fix to the unicode-escape character lexing and to the pretty-printer. | ||||
| 2011-05-23 | Add line breaks to typestate error messages | Tim Chevalier | -4/+4 | |
| 2011-05-22 | rustc: More cleanup of rustc.rs | Brian Anderson | -65/+61 | |
| 2011-05-22 | rustc: Some refactoring of rustc.rs | Brian Anderson | -46/+63 | |
| 2011-05-22 | rustc: Cleanup formatting in rustc.rs | Brian Anderson | -16/+12 | |
| 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 | -28/+252 | |
| 2011-05-20 | Error instead of warning for missing returns. Huzzah! | Tim Chevalier | -4/+2 | |
| 2011-05-20 | Annotate erroring functions in session and parser | Tim Chevalier | -9/+9 | |
| 2011-05-20 | More work on anonymous objects. | Lindsey Kuper | -28/+252 | |
| 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 | -121/+213 | |
| 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 | Using the right mode... | Eric Holk | -1/+1 | |
| 2011-05-20 | Translated start_task, but it fails on spp == align_down(spp) | Eric Holk | -2/+54 | |
