about summary refs log tree commit diff
path: root/src/comp/middle/kind.rs
AgeCommit message (Expand)AuthorLines
2012-03-02Move src/comp to src/rustcGraydon Hoare-282/+0
2012-02-29Delete-trailing-whitespaceMarijn Haverbeke-1/+1
2012-02-29Actually use last_use info on closed over var in kind.rsMarijn Haverbeke-4/+11
2012-02-15make mut a keyword synonymous with mutableNiko Matsakis-1/+1
2012-02-11core: Change the argument order for vec::contains, vec::countBrian Anderson-1/+1
2012-02-11core: Rename vec::member to vec::contains to match str modBrian Anderson-1/+1
2012-02-10Remove a vestige of return-by-referenceMarijn Haverbeke-1/+1
2012-02-09Remove some pointless importsMarijn Haverbeke-1/+0
2012-02-06Make ty::t type self-sufficientMarijn Haverbeke-6/+7
2012-02-05infer modes rather than overwriting with expected tyNiko Matsakis-1/+4
2012-01-31Require alts to be exhaustiveTim Chevalier-1/+3
2012-01-31Don't consider references to nullary tag variants lvals in kind.rsMarijn Haverbeke-1/+16
2012-01-30Remove ternary operatorPaul Woolcock-1/+0
2012-01-30Substitute type parameters more eagerlyMarijn Haverbeke-3/+2
2012-01-23s/block()/fn()/gNiko Matsakis-1/+1
2012-01-18Remove '.' after nullary tags in patternsTim Chevalier-11/+11
2012-01-13distinguish "any closure" and "stack closure" (block)Niko Matsakis-1/+1
2012-01-13deprecate fn exprs and the fn() type, preferring fn@ and native fnNiko Matsakis-1/+1
2012-01-13Obj system? What obj system?Marijn Haverbeke-2/+2
2012-01-12Make driver::session::session no longer an objectMarijn Haverbeke-0/+1
2012-01-10rename sendfn to fn~, lambda to fn@Niko Matsakis-2/+2
2012-01-09Remove proto_sugar and 'lambda' as keyword, commit to fn@.Graydon Hoare-2/+2
2012-01-09Fix #1474: check that block args resolved to bare fns do not make use of upvarsNiko Matsakis-8/+13
2012-01-02Properly handle expression blocks in kind.rsMarijn Haverbeke-3/+10
2012-01-02More resolving and typechecking of bounded type parameters.Marijn Haverbeke-4/+4
2011-12-29split proto from fn_decl, as not all fn_decls know the proto.Niko Matsakis-4/+4
2011-12-28Move the kind datatype to middle::tyMarijn Haverbeke-3/+4
2011-12-28Change representation of type params to handle interface boundsMarijn Haverbeke-1/+3
2011-12-23Go back to a single visit_fn function in visit.rsMarijn Haverbeke-4/+4
2011-12-22Unify some data structures in syntax::ast that were doing the same thingMarijn Haverbeke-2/+3
2011-12-21valid cap clause for kind-ness tooNiko Matsakis-12/+24
2011-12-21upgrade kind checkNiko Matsakis-12/+52
2011-12-19when collecting free vars, track the span where it is used tooNiko Matsakis-3/+3
2011-12-16reorder args to the various vec, option fns so blk comes lastNiko Matsakis-1/+1
2011-12-16Get very simple impl method calls to compileMarijn Haverbeke-3/+7
2011-12-14push changes through to get things compiling, if not running.Niko Matsakis-14/+23
2011-12-14first attempt, not happy with itNiko Matsakis-1/+8
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-2/+2
2011-11-23Rollback return-by-referenceMarijn Haverbeke-15/+4
2011-11-22Properly check for copies when constructing a record using withMarijn Haverbeke-1/+16
2011-11-18Add some comments to kind.rs and last_use.rsMarijn Haverbeke-0/+15
2011-11-18Implement a last-use-of-local finding algorithmMarijn Haverbeke-2/+5
2011-11-18Properly check kinds in instantiation of genericsMarijn Haverbeke-284/+27
2011-11-18Prevent alias pass from inserting implicit copies for noncopyable typesMarijn Haverbeke-2/+0
2011-11-18Overhaul the kind-checking passMarijn Haverbeke-31/+119
2011-11-18Preparation for kind system overhaulMarijn Haverbeke-16/+16
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-11-10Cleanup unused importsHaitao Li-1/+1
2011-10-28Move to short type parameter keywordsMarijn Haverbeke-2/+2
2011-10-25Update our code to new type parameter kind syntaxMarijn Haverbeke-4/+4