about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
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
2011-10-17Correct two more analyses of mutable? as mutableBrian Anderson-2/+2
2011-10-17Don't allow assignment to mutable-wha?Brian Anderson-9/+9
2011-10-14Use trans_expr_save_in instead of trans_expr when appropriateMarijn Haverbeke-2/+2
2011-10-14Don't crash when reporting an unresolved import in the nil scopeMarijn Haverbeke-18/+22
2011-10-13Remove an unnecessary visitor from rustc::middle::fn_usageBrian Anderson-8/+1
2011-10-13Fix a use of visit in rustc::middle::fn_usageBrian Anderson-1/+1
2011-10-13Don't allow the value of generic bare functions to be takenBrian Anderson-5/+36
2011-10-13Rename rustc::middle::unsafeck to fn_usageBrian Anderson-11/+11
2011-10-13Make trans_anon_obj properly thread its bcxMarijn Haverbeke-9/+3
2011-10-13Properly fill single-variant zero-arg tag values.Marijn Haverbeke-9/+10
2011-10-12reimplement some of the unsafe stuff which got lostNiko Matsakis-79/+65
2011-10-12make compiler emit more than 1 error in the case of unsafeNiko Matsakis-23/+8
2011-10-12prohibit ptr deref unless in unsafe codeNiko Matsakis-2/+20
2011-10-12fix error msgNiko Matsakis-8/+2
2011-10-12add pass to check that unsafe fns cannot be used as valuesNiko Matsakis-0/+72
2011-10-12continue to annotate trans functions as unsafe where neccessaryNiko Matsakis-5/+7
2011-10-12continue to annotate trans functions as unsafe where neccessaryNiko Matsakis-3/+3
2011-10-12add unsafe tags into various points in the translation chainsNiko Matsakis-50/+92
2011-10-12Add unsafe tags to usage of LLVM funcsNiko Matsakis-5/+7