about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Expand)AuthorLines
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-20Split parsing of fn proto between types, items and anonsBrian Anderson-6/+30
2011-10-20Convert the test runners to typesafe spawnBrian Anderson-2/+58
2011-10-20Fix the problem with check-fast randomly failingBrian Anderson-5/+18
2011-10-20Don't rely on main.ll anymoreMarijn Haverbeke-33/+62
2011-10-20Output linker errors, when linking failsMarijn Haverbeke-3/+4
2011-10-20Get rid of taskpointer-passing throughout the compilerMarijn Haverbeke-62/+35
2011-10-20Do not pass taskpointers to "rust" native functionsMarijn Haverbeke-1/+1
2011-10-20Remove taskptr argument from upcallsMarijn Haverbeke-44/+31
2011-10-20Remove spawn_wrap and main_wrap kludgesMarijn Haverbeke-1/+1
2011-10-19Fail nicer when the parser doesn't find an expected string literalBrian Anderson-2/+4
2011-10-18Introduce fn@ as a synonym for fnBrian Anderson-0/+3
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-21/+14
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-17Change the linkage order on linux and add -ldlBrian Anderson-5/+6
2011-10-16Only link librt on linuxBrian Anderson-1/+8
2011-10-16Fix link error by explicitly link needed DSOsHaitao Li-1/+1
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-15/+15
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-115/+97
2011-10-12remove unsafe tagsNiko Matsakis-12/+12
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-12make a good error msg if you try to use an unsafe fn for a testNiko Matsakis-8/+21
2011-10-12improve the span used in test generationNiko Matsakis-6/+8
2011-10-12add pass to check that unsafe fns cannot be used as valuesNiko Matsakis-1/+76
2011-10-12continue to annotate functions as unsafe where neccessaryNiko Matsakis-16/+15
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-73/+125