about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-11-02start to isolate target strings so that they can be configured forNiko Matsakis-4/+4
2011-11-02Evaluate alt expressions in their own block contextMarijn Haverbeke-3/+10
2011-11-02Rename car/cdr to head/tail in std::listMarijn Haverbeke-5/+4
2011-11-02Make it possible to cast unsafe pointers with the 'as' operatorMarijn Haverbeke-6/+15
2011-11-02Make resolving of imports behave more sanelyMarijn Haverbeke-65/+57
2011-11-01Fix alignment of interior pointers of dynamic-size types. Closes #1112Brian Anderson-8/+26
2011-10-28Cleanup: Remove uneccesary generic_cmp function.Matt Brubeck-27/+13
2011-10-28Use IEEE 754 semantics for NaN (Issue #1084)Matt Brubeck-58/+47
2011-10-28stdlib: Make reinterpret_cast and leak unsafeBrian Anderson-4/+6
2011-10-28Make shared kind the default only for generic functionsMarijn Haverbeke-11/+14
2011-10-28Move to short type parameter keywordsMarijn Haverbeke-2/+2
2011-10-27Remove uint::max/min in favor if math::max/minMatt Brubeck-1/+2
2011-10-25Properly take mutable object fields into account during alias analysisMarijn Haverbeke-16/+23
2011-10-25Update our code to new type parameter kind syntaxMarijn Haverbeke-9/+9
2011-10-24fix c-stack-cdecl when used w/ i64Niko Matsakis-2/+8
2011-10-24kill errant log_errNiko Matsakis-2/+0
2011-10-24switch over sqrt from llvm to c-stack-cdecl, exposing a bug inNiko Matsakis-6/+19
2011-10-21update trans_c_stack_native_call() to use type_of_explicit_args()Niko Matsakis-28/+18
2011-10-21avoid extra load for by_mutable_ref parametersNiko Matsakis-4/+7
2011-10-21Change the way block calls are parsed, mark them as block-calls.Marijn Haverbeke-16/+16
2011-10-21Drop support for iter, put, and for-eachMarijn Haverbeke-408/+51
2011-10-21Remove remaining uses of iter and for-eachMarijn Haverbeke-5/+3
2011-10-21Move ast_util::pat_bindings over to new iter system.Marijn Haverbeke-34/+31
2011-10-21Remove last uses of iterators from stdlibMarijn Haverbeke-2/+2
2011-10-21Move hash table iteration over to block-taking functionsMarijn Haverbeke-53/+49
2011-10-20Give native functions proto_bareBrian Anderson-1/+1
2011-10-20Remove typeck::proto_to_ty_protoBrian Anderson-10/+2
2011-10-20Merge ast::proto_shared and ast::proto_closureBrian Anderson-27/+40
2011-10-20Rename ast::proto_fn to ast::proto_sharedBrian Anderson-18/+20
2011-10-20Make fn denote a bare function. Convert fn to fn@ as neededBrian Anderson-22/+28
2011-10-20Tweak typecheck to enforce covariance on higher-order function argumentsBrian Anderson-1/+4
2011-10-20Remove type coercion from fn to blockBrian Anderson-48/+4
2011-10-20Give subtype relationships to function typesBrian Anderson-2/+57
2011-10-20Bare functions can coerce to blocksBrian Anderson-0/+4
2011-10-20Bare functions can coerce to shared closuresBrian Anderson-6/+15
2011-10-20Revert "Remove the environment argument from bare functions"Brian Anderson-35/+7
2011-10-20Fix the problem with check-fast randomly failingBrian Anderson-5/+6
2011-10-20Don't rely on main.ll anymoreMarijn Haverbeke-26/+61
2011-10-20Get rid of taskpointer-passing throughout the compilerMarijn Haverbeke-60/+33
2011-10-20Do not pass taskpointers to "rust" native functionsMarijn Haverbeke-1/+1
2011-10-20Remove taskptr argument from upcallsMarijn Haverbeke-21/+16
2011-10-20Remove spawn_wrap and main_wrap kludgesMarijn Haverbeke-1/+1
2011-10-18Immutable and mutable? are covariant on their inner typesBrian Anderson-3/+10
2011-10-18Add a math module to the standard libMarijn Haverbeke-3/+3
2011-10-18Don't try to build an LLVM switch on floatsMarijn Haverbeke-1/+2
2011-10-17Enforce variance rules for mutable typesBrian Anderson-40/+48
2011-10-17Add a variance transform for calculation of recursive varianceBrian Anderson-14/+53
2011-10-17Introduce covariance, contravariance and invariance to the type unifierBrian Anderson-22/+47
2011-10-17Don't unify from mutable? to immutableBrian Anderson-1/+0
2011-10-17Split record_var_binding into methods for expected and actualBrian Anderson-4/+26