| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-10-20 | Remove typeck::proto_to_ty_proto | Brian Anderson | -10/+2 | |
| 2011-10-20 | Register snapshots | Brian Anderson | -0/+5 | |
| 2011-10-20 | Get windows working under the bare function regime | Brian Anderson | -1/+18 | |
| Had to ignore some task failure tests due to the current implementation of spawn which guarantees that there's always something in the spawned task that needs to be unwound. Fixed some win-specific build problems. | ||||
| 2011-10-20 | Don't allow fn@ items | Brian Anderson | -3/+0 | |
| fn@ is intended to be caputring but isn't implemented. | ||||
| 2011-10-20 | Merge ast::proto_shared and ast::proto_closure | Brian Anderson | -44/+62 | |
| Now they are both just proto_shared and proto_shared takes an argument indicating that it is sugared as 'lambda' | ||||
| 2011-10-20 | Rename ast::proto_fn to ast::proto_shared | Brian Anderson | -31/+32 | |
| 2011-10-20 | Make fn denote a bare function. Convert fn to fn@ as needed | Brian Anderson | -248/+263 | |
| 2011-10-20 | Parse obj methods as proto_bare | Brian Anderson | -11/+9 | |
| I don't know if this is the right thing to do, but it works and it lets 'fn' always mean proto_bare | ||||
| 2011-10-20 | Tweak typecheck to enforce covariance on higher-order function arguments | Brian Anderson | -1/+18 | |
| 2011-10-20 | Remove type coercion from fn to block | Brian Anderson | -48/+4 | |
| fn is a proper subtype of block now | ||||
| 2011-10-20 | Give subtype relationships to function types | Brian Anderson | -2/+64 | |
| 2011-10-20 | Bare functions can coerce to blocks | Brian Anderson | -0/+11 | |
| 2011-10-20 | Bare functions can coerce to shared closures | Brian Anderson | -6/+22 | |
| 2011-10-20 | Revert "Remove the environment argument from bare functions" | Brian Anderson | -35/+7 | |
| This reverts commit 1b0f1f0b79fb29d28bcabb7a8468f4a5a95c0712. | ||||
| 2011-10-20 | Split parsing of fn proto between types, items and anons | Brian Anderson | -6/+30 | |
| The meaning of various fn incantations is going to get temporarily confusing | ||||
| 2011-10-20 | Drop the 2 from the spawn*2 functions | Brian Anderson | -107/+107 | |
| Issue #1022 | ||||
| 2011-10-20 | Rename std::task::spawn_inner to unsafe_spawn_inner | Brian Anderson | -15/+5 | |
| Delete the rest of the old, unused spawn functions. Issue #1022 | ||||
| 2011-10-20 | Stop exporting unsafe spawn functions | Brian Anderson | -3/+0 | |
| Issue #1022 | ||||
| 2011-10-20 | Convert the test runners to typesafe spawn | Brian Anderson | -144/+153 | |
| Issue #1022 | ||||
| 2011-10-20 | Convert std::aio to new spawn functions | Brian Anderson | -11/+14 | |
| Issue #1022 | ||||
| 2011-10-20 | XFAIL task-perf-word-count-generic | Brian Anderson | -0/+2 | |
| This can't be done with bare functions. Issue #1022 | ||||
| 2011-10-20 | Convert tests to use bare-fn spawn | Brian Anderson | -214/+214 | |
| Issue #1022 | ||||
| 2011-10-20 | Add safe versions of spawn using bare functions | Brian Anderson | -0/+44 | |
| Currently they just wrap the unsafe versions. Will need to be rewritten eventually. Issue #1022 | ||||
| 2011-10-20 | Convert DPRINT to LOG in rust_cc.cpp and add more logging | Brian Anderson | -16/+18 | |
| 2011-10-20 | Un-xfail-fast some tests | Brian Anderson | -4/+0 | |
| check-fast is more reliable now. | ||||
| 2011-10-20 | Change run-pass/lots-a-fail.rs from xfail-fast to xfail-win32 | Brian Anderson | -1/+1 | |
| All failing tasks leak on windows now | ||||
| 2011-10-20 | Fix the problem with check-fast randomly failing | Brian Anderson | -5/+18 | |
| Trans has been assuming that tag node id's are unique across crates and they are not so, depending on which way the wind is blowing, it would choose to use a crate-local tag variant instead of the correct one from std. No test case since I can't come up with a reliable one that compiles in a reasonable amount of time. | ||||
| 2011-10-20 | Register new snapshots | Marijn Haverbeke | -0/+5 | |
| 2011-10-20 | Remove the last vestiges of main.ll | Marijn Haverbeke | -56/+0 | |
| Closes #992 | ||||
| 2011-10-20 | Don't rely on main.ll anymore | Marijn Haverbeke | -47/+63 | |
| I'll remove the actual file after I register a snapshot. Issue #992 | ||||
| 2011-10-20 | Output linker errors, when linking fails | Marijn Haverbeke | -3/+4 | |
| 2011-10-20 | Get rid of taskpointer-passing throughout the compiler | Marijn Haverbeke | -80/+52 | |
| Only intrinsics still take a dummy taskptr. We'll have to do some makefile stunts to snapshot a version without taskptrs-in-intrinsics. Issue #466 | ||||
| 2011-10-20 | Do not pass taskpointers to "rust" native functions | Marijn Haverbeke | -93/+67 | |
| Issue #466 | ||||
| 2011-10-20 | Remove taskptr argument from upcalls | Marijn Haverbeke | -63/+54 | |
| Issue #466 | ||||
| 2011-10-20 | Remove spawn_wrap and main_wrap kludges | Marijn Haverbeke | -41/+10 | |
| This isn't needed now that our functions are cdecl (and was apparently only still working by accident). Issue #992 | ||||
| 2011-10-20 | Use snap runtime, and the old main.o, for stage1 | Marijn Haverbeke | -0/+43 | |
| This is intended to be reverted again after I register the next snapshot. | ||||
| 2011-10-19 | Fail nicer when the parser doesn't find an expected string literal | Brian Anderson | -2/+7 | |
| Closes #1028 | ||||
| 2011-10-18 | Fix parse error in constrained-type-missing-check.rs | Matt Brubeck | -2/+2 | |
| 2011-10-18 | Register snapshots | Brian Anderson | -0/+5 | |
| 2011-10-18 | Introduce fn@ as a synonym for fn | Brian Anderson | -0/+3 | |
| 2011-10-18 | Immutable and mutable? are covariant on their inner types | Brian Anderson | -3/+36 | |
| Whereas [mutable T] is invariant with respect to T, [T] and [mutable? T] are covariant with respect to T. | ||||
| 2011-10-18 | Add a math module to the standard lib | Marijn Haverbeke | -21/+72 | |
| I need some rudimentary stdlib stuff for the tutorial. Closes #1042 | ||||
| 2011-10-18 | Don't try to build an LLVM switch on floats | Marijn Haverbeke | -1/+2 | |
| Closes #1046 | ||||
| 2011-10-18 | Add a print and println to std::io | Marijn Haverbeke | -0/+3 | |
| 2011-10-17 | Enforce variance rules for mutable types | Brian Anderson | -40/+140 | |
| 2011-10-17 | Add a variance transform for calculation of recursive variance | Brian Anderson | -14/+53 | |
| 2011-10-17 | Introduce covariance, contravariance and invariance to the type unifier | Brian Anderson | -22/+47 | |
| This will be used to resolve some problems with mutable? covariance and also to implement function subtyping | ||||
| 2011-10-17 | Don't unify from mutable? to immutable | Brian Anderson | -3/+2 | |
| Immutable is supposed to be a subtype of mutable-huh. | ||||
| 2011-10-17 | Split record_var_binding into methods for expected and actual | Brian Anderson | -4/+26 | |
| This allows unify to maintain the same subtype relationship between expected and actual throughout unify, which we are going to need for mutable? and for function types. | ||||
| 2011-10-17 | Correct two more analyses of mutable? as mutable | Brian Anderson | -2/+2 | |
| I can't come up with test cases but this seems correct. | ||||
