summary refs log tree commit diff
path: root/src/comp/middle/tstate
AgeCommit message (Expand)AuthorLines
2012-01-19Handle predicates that recurse in a check() expressionTim Chevalier-9/+10
2012-01-19rustc: ";" to "," in enumsPatrick Walton-11/+11
2012-01-19rustc: Remove trailing whitespacePatrick Walton-1/+1
2012-01-19Compute typestates for FRU exprs correctly, plus a bit of cleanupTim Chevalier-50/+36
2012-01-19rustc: "tag" -> "enum"Patrick Walton-5/+5
2012-01-18Remove '.' after nullary tags in patternsTim Chevalier-77/+77
2012-01-17Allow omission of the '.' after nullary tag patternsTim Chevalier-43/+52
2012-01-13deprecate fn exprs and the fn() type, preferring fn@ and native fnNiko Matsakis-4/+5
2012-01-13Obj system? What obj system?Marijn Haverbeke-16/+0
2012-01-12Make driver::session::session no longer an objectMarijn Haverbeke-4/+10
2012-01-11Implement std::map as an iface/impl instead of an objMarijn Haverbeke-5/+5
2012-01-09Remove proto_sugar and 'lambda' as keyword, commit to fn@.Graydon Hoare-1/+1
2012-01-06Disallow variable names that shadow tags in scopeTim Chevalier-6/+6
2012-01-05require a non-semi expr acting as a stmt to have unit return typeNiko Matsakis-11/+7
2012-01-04Reformat typestate error messages so as not to confuse emacs compilation modeTim Chevalier-3/+5
2011-12-29split proto from fn_decl, as not all fn_decls know the proto.Niko Matsakis-36/+30
2011-12-23Go back to a single visit_fn function in visit.rsMarijn Haverbeke-19/+22
2011-12-23Parse `iface` items and interface references in `impl` items.Marijn Haverbeke-3/+2
2011-12-23Use the same type of record in ty::ty_fn and ty::methodMarijn Haverbeke-3/+3
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-22/+22
2011-12-22Merge all 3 log syntaxes, tidy up residual misuses.Graydon Hoare-10/+9
2011-12-22Merge branch 'master' of github.com:graydon/rustGraydon Hoare-14/+12
2011-12-22Register snapshots and switch logging over to use of log_full or #error / #de...Graydon Hoare-72/+78
2011-12-22Unify some data structures in syntax::ast that were doing the same thingMarijn Haverbeke-14/+12
2011-12-21Switch log_expr to carrying a full expr:u32 for level. Add log_full variant t...Graydon Hoare-5/+4
2011-12-21Make { || ... } sugar for any type of closure, inferredNiko Matsakis-88/+114
2011-12-19implement capture clauses (move, in particular) and integrateNiko Matsakis-0/+7
2011-12-19integrate cap clause into type state, but not transNiko Matsakis-14/+37
2011-12-19when collecting free vars, track the span where it is used tooNiko Matsakis-1/+1
2011-12-19Add type argument field to expr_pathMarijn Haverbeke-2/+2
2011-12-16reorder args to the various vec, option fns so blk comes lastNiko Matsakis-5/+5
2011-12-16Make uses of self in impls compileMarijn Haverbeke-2/+0
2011-12-16Parse and resolve implementations.Marijn Haverbeke-12/+10
2011-12-14push changes through to get things compiling, if not running.Niko Matsakis-2/+5
2011-12-14first attempt, not happy with itNiko Matsakis-2/+2
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-14/+14
2011-12-08Allow binding of nested patternsMarijn Haverbeke-14/+6
2011-12-07Remove stmt_crate_directive, it's vestigial and confusing.Graydon Hoare-4/+0
2011-12-07Make typestate properly descend pattern guardsMarijn Haverbeke-0/+10
2011-11-30Box ast::path valuesMarijn Haverbeke-5/+5
2011-11-22Only warn about unreachable range patterns when appropriateMarijn Haverbeke-1/+0
2011-11-21rustc: Remove abi from ast::native_modHaitao Li-1/+1
2011-11-17remove compile-command from local variable blocksNiko Matsakis-9/+0
2011-11-10Cleanup unused importsHaitao Li-44/+26
2011-10-21Change the way block calls are parsed, mark them as block-calls.Marijn Haverbeke-4/+4
2011-10-21Drop support for iter, put, and for-eachMarijn Haverbeke-32/+3
2011-10-21Move ast_util::pat_bindings over to new iter system.Marijn Haverbeke-24/+21
2011-10-21Move hash table iteration over to block-taking functionsMarijn Haverbeke-8/+6
2011-10-20Make fn denote a bare function. Convert fn to fn@ as neededBrian Anderson-3/+5
2011-10-07Give up on providing a by-value version of map, convert fold over toMarijn Haverbeke-5/+5