summary refs log tree commit diff
path: root/src/comp/middle/kind.rs
AgeCommit message (Expand)AuthorLines
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
2011-10-21Change the way block calls are parsed, mark them as block-calls.Marijn Haverbeke-2/+2
2011-09-28Don't allow vectors of pinned kindsBrian Anderson-0/+10
2011-09-27Make it again possible to initialize resource locals via assignmentBrian Anderson-6/+10
2011-09-27Prevent copies of resources into various thingsBrian Anderson-0/+67
2011-09-27Add more comments about kind checking on local move initializersBrian Anderson-1/+3
2011-09-27Don't ever raise unique kinds of pinned kinds to shared (again)Brian Anderson-21/+4
2011-09-26Enforce copy restrictions on let initializersBrian Anderson-1/+21
2011-09-26Prevent copying of uncopyable things via the copy opBrian Anderson-0/+1
2011-09-26Prevent copying of uncopyable things via compound assignment opsBrian Anderson-1/+4
2011-09-26Don't allow vectors of pinned kinds to be copiedBrian Anderson-0/+4
2011-09-26Don't allow copying of unique boxes of pinned kindsBrian Anderson-19/+32
2011-09-25Refine notes in kind.rs some more. Add a fixme to ty.rs.Graydon Hoare-16/+36
2011-09-12Factor imports mindlessly.Graydon Hoare-13/+3
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-7/+6
2011-09-02Reformat. Issue #855Brian Anderson-20/+19