| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-11-02 | start to isolate target strings so that they can be configured for | Niko Matsakis | -4/+4 | |
| x64 or other targets | ||||
| 2011-11-02 | Evaluate alt expressions in their own block context | Marijn Haverbeke | -3/+10 | |
| Closes #785 | ||||
| 2011-11-02 | Rename car/cdr to head/tail in std::list | Marijn Haverbeke | -5/+4 | |
| Closes #1086 | ||||
| 2011-11-02 | Make it possible to cast unsafe pointers with the 'as' operator | Marijn Haverbeke | -6/+15 | |
| 2011-11-02 | Make resolving of imports behave more sanely | Marijn Haverbeke | -65/+57 | |
| An import now ignores itself when resolving its target. This gets rid of the previously existing (problematic) behaviour where the import would start looking one scope up when its name was the same as its target's first component. Closes #1114 | ||||
| 2011-11-01 | Fix alignment of interior pointers of dynamic-size types. Closes #1112 | Brian Anderson | -8/+26 | |
| GEP_tup_like finds interior pointers by creating a tuple of all the types preceding the element it wants a pointer to, then asks for the size of that tuple. This results in incorrect pointers when the alignment of that tuple is not the alignment of the interior type you're getting a pointer to. | ||||
| 2011-10-28 | Cleanup: Remove uneccesary generic_cmp function. | Matt Brubeck | -27/+13 | |
| 2011-10-28 | Use IEEE 754 semantics for NaN (Issue #1084) | Matt Brubeck | -58/+47 | |
| 2011-10-28 | stdlib: Make reinterpret_cast and leak unsafe | Brian Anderson | -4/+6 | |
| 2011-10-28 | Make shared kind the default only for generic functions | Marijn Haverbeke | -11/+14 | |
| You almost never want a function with pinned type params. For types, objects, resources, and tags, pinned types are actually often more sane. For most of these, shared rarely makes sense. Only tricky case is objs -- you'll have to think about the kinds you want there. Issue #1076 | ||||
| 2011-10-28 | Move to short type parameter keywords | Marijn Haverbeke | -2/+2 | |
| Issue #1076 | ||||
| 2011-10-27 | Remove uint::max/min in favor if math::max/min | Matt Brubeck | -1/+2 | |
| 2011-10-25 | Properly take mutable object fields into account during alias analysis | Marijn Haverbeke | -16/+23 | |
| Closes #1055 | ||||
| 2011-10-25 | Update our code to new type parameter kind syntax | Marijn Haverbeke | -9/+9 | |
| Closes #1067 | ||||
| 2011-10-24 | fix c-stack-cdecl when used w/ i64 | Niko Matsakis | -2/+8 | |
| 2011-10-24 | kill errant log_err | Niko Matsakis | -2/+0 | |
| 2011-10-24 | switch over sqrt from llvm to c-stack-cdecl, exposing a bug in | Niko Matsakis | -6/+19 | |
| the supported return types of upcall_c_stack | ||||
| 2011-10-21 | update trans_c_stack_native_call() to use type_of_explicit_args() | Niko Matsakis | -28/+18 | |
| currently trans_c_stack_native_call() had some ad-hoc code for determining the type of the arguments. this code was not in agreement with the rest of trans. now it uses the same code path. | ||||
| 2011-10-21 | avoid extra load for by_mutable_ref parameters | Niko Matsakis | -4/+7 | |
| 2011-10-21 | Change the way block calls are parsed, mark them as block-calls. | Marijn Haverbeke | -16/+16 | |
| This makes it possible to omit the semicolon after the block, and will cause the pretty-printer to properly print such calls (if pretty-printing of blocks wasn't so broken). Block calls (with the block outside of the parentheses) can now only occur at statement level, and their value can not be used. When calling a block-style function that returns a useful value, the block must be put insde the parentheses. Issue #1054 | ||||
| 2011-10-21 | Drop support for iter, put, and for-each | Marijn Haverbeke | -408/+51 | |
| Closes #1056 | ||||
| 2011-10-21 | Remove remaining uses of iter and for-each | Marijn Haverbeke | -5/+3 | |
| Issue #1056 | ||||
| 2011-10-21 | Move ast_util::pat_bindings over to new iter system. | Marijn Haverbeke | -34/+31 | |
| Issue #1056 | ||||
| 2011-10-21 | Remove last uses of iterators from stdlib | Marijn Haverbeke | -2/+2 | |
| Issue #1056 | ||||
| 2011-10-21 | Move hash table iteration over to block-taking functions | Marijn Haverbeke | -53/+49 | |
| Issue #1056 | ||||
| 2011-10-20 | Give native functions proto_bare | Brian Anderson | -1/+1 | |
| 2011-10-20 | Remove typeck::proto_to_ty_proto | Brian Anderson | -10/+2 | |
| 2011-10-20 | Merge ast::proto_shared and ast::proto_closure | Brian Anderson | -27/+40 | |
| 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 | -18/+20 | |
| 2011-10-20 | Make fn denote a bare function. Convert fn to fn@ as needed | Brian Anderson | -22/+28 | |
| 2011-10-20 | Tweak typecheck to enforce covariance on higher-order function arguments | Brian Anderson | -1/+4 | |
| 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/+57 | |
| 2011-10-20 | Bare functions can coerce to blocks | Brian Anderson | -0/+4 | |
| 2011-10-20 | Bare functions can coerce to shared closures | Brian Anderson | -6/+15 | |
| 2011-10-20 | Revert "Remove the environment argument from bare functions" | Brian Anderson | -35/+7 | |
| This reverts commit 1b0f1f0b79fb29d28bcabb7a8468f4a5a95c0712. | ||||
| 2011-10-20 | Fix the problem with check-fast randomly failing | Brian Anderson | -5/+6 | |
| 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 | Don't rely on main.ll anymore | Marijn Haverbeke | -26/+61 | |
| I'll remove the actual file after I register a snapshot. Issue #992 | ||||
| 2011-10-20 | Get rid of taskpointer-passing throughout the compiler | Marijn Haverbeke | -60/+33 | |
| 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 | -1/+1 | |
| Issue #466 | ||||
| 2011-10-20 | Remove taskptr argument from upcalls | Marijn Haverbeke | -21/+16 | |
| Issue #466 | ||||
| 2011-10-20 | Remove spawn_wrap and main_wrap kludges | Marijn Haverbeke | -1/+1 | |
| This isn't needed now that our functions are cdecl (and was apparently only still working by accident). Issue #992 | ||||
| 2011-10-18 | Immutable and mutable? are covariant on their inner types | Brian Anderson | -3/+10 | |
| 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 | -3/+3 | |
| 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-17 | Enforce variance rules for mutable types | Brian Anderson | -40/+48 | |
| 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 | -1/+0 | |
| 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. | ||||
