about summary refs log tree commit diff
path: root/src/comp/middle/ty.rs
AgeCommit message (Expand)AuthorLines
2011-12-18Only look for a matching method when normal field access failsMarijn Haverbeke-10/+8
2011-12-16reorder args to the various vec, option fns so blk comes lastNiko Matsakis-1/+1
2011-12-16Make uses of self in impls compileMarijn Haverbeke-0/+1
2011-12-16Get very simple impl method calls to compileMarijn Haverbeke-5/+8
2011-12-16Parse and resolve implementations.Marijn Haverbeke-14/+6
2011-12-15rustc: Box tag variants to avoid copiesBrian Anderson-4/+4
2011-12-15rustc: Box the vectors returned from ty::tag_variantsBrian Anderson-10/+12
2011-12-15rustc: Cache results of ty::tag_variantsBrian Anderson-5/+16
2011-12-15massive refactor of how closures workNiko Matsakis-34/+60
2011-12-14push changes through to get things compiling, if not running.Niko Matsakis-17/+11
2011-12-14define ty and update parser for sendable lambdasNiko Matsakis-0/+1
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-8/+8
2011-12-07Remove stmt_crate_directive, it's vestigial and confusing.Graydon Hoare-4/+0
2011-12-07Change literal representation to not truncateMarijn Haverbeke-177/+94
2011-12-07repair more hash functionsNiko Matsakis-15/+15
2011-12-02parse: typeck: enabling trivial casts of tail-call return valuesStefan Plantikow-6/+3
2011-12-02ty: trans: added support for dropping trivial castsStefan Plantikow-0/+10
2011-12-02ty: added type comparison that subs prim types with targ_cfg machine typesStefan Plantikow-0/+37
2011-12-02Allow literal patterns to contain arbitrary literal expressionsMarijn Haverbeke-0/+5
2011-11-30Box ast::path valuesMarijn Haverbeke-1/+1
2011-11-23Make type_kind properly recognize ty_ptr as sendableMarijn Haverbeke-3/+3
2011-11-23Rollback return-by-referenceMarijn Haverbeke-8/+0
2011-11-22Make type_needs_drop accurate, get rid of type_has_pointersMarijn Haverbeke-40/+20
2011-11-22Only warn about unreachable range patterns when appropriateMarijn Haverbeke-1/+3
2011-11-21rustc: Remove abi from ast::native_modHaitao Li-31/+21
2011-11-18Properly check kinds in instantiation of genericsMarijn Haverbeke-1/+1
2011-11-18Prevent alias pass from inserting implicit copies for noncopyable typesMarijn Haverbeke-4/+4
2011-11-18Overhaul the kind-checking passMarijn Haverbeke-64/+60
2011-11-18Make tag, resource and object constructors take their arguments by copyMarijn Haverbeke-6/+0
2011-11-18Preparation for kind system overhaulMarijn Haverbeke-11/+11
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-11-13Make various binops not typecheck for unsafe pointers. Closes #1173Brian Anderson-1/+0
2011-11-10Cleanup unused importsHaitao Li-2/+0
2011-11-02Make it possible to cast unsafe pointers with the 'as' operatorMarijn Haverbeke-0/+8
2011-10-28Make shared kind the default only for generic functionsMarijn Haverbeke-1/+1
2011-10-27Remove uint::max/min in favor if math::max/minMatt Brubeck-1/+2
2011-10-21Drop support for iter, put, and for-eachMarijn Haverbeke-9/+1
2011-10-20Merge ast::proto_shared and ast::proto_closureBrian Anderson-4/+6
2011-10-20Rename ast::proto_fn to ast::proto_sharedBrian Anderson-3/+3
2011-10-20Make fn denote a bare function. Convert fn to fn@ as neededBrian Anderson-6/+7
2011-10-20Tweak typecheck to enforce covariance on higher-order function argumentsBrian Anderson-1/+4
2011-10-20Give subtype relationships to function typesBrian Anderson-2/+57
2011-10-18Immutable and mutable? are covariant on their inner typesBrian Anderson-3/+10
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-12make native functions markable as unsafe and incorporate thatNiko Matsakis-1/+1
2011-10-10Make vectors and strings immediates againMarijn Haverbeke-1/+1