about summary refs log tree commit diff
path: root/src/comp/middle/tstate/states.rs
AgeCommit message (Expand)AuthorLines
2012-03-02Move src/comp to src/rustcGraydon Hoare-783/+0
2012-03-01Use the correct prestate for callsTim Chevalier-2/+2
2012-02-29optionally enforce local variable mutabilityNiko Matsakis-1/+1
2012-02-28change def's that are always local to use node_id, add --inline optNiko Matsakis-3/+2
2012-02-22Stop normalizing patternsMarijn Haverbeke-2/+1
2012-02-15Support 'alt check' syntaxMarijn Haverbeke-1/+1
2012-02-10Remove a vestige of return-by-referenceMarijn Haverbeke-1/+1
2012-02-09Remove some pointless importsMarijn Haverbeke-2/+0
2012-02-06Make ty::t type self-sufficientMarijn Haverbeke-1/+1
2012-01-31Change option::t to optionTim Chevalier-3/+3
2012-01-31Require alts to be exhaustiveTim Chevalier-4/+5
2012-01-30Remove ternary operatorPaul Woolcock-3/+0
2012-01-21issue #1352: change param order on vec::init_elt, putting block in final posi...Graham Fawcett-6/+6
2012-01-20Handle fail after return correctly in typestateTim Chevalier-4/+18
2012-01-19Handle predicates that recurse in a check() expressionTim Chevalier-1/+1
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-18Remove '.' after nullary tags in patternsTim Chevalier-17/+17
2012-01-17Allow omission of the '.' after nullary tag patternsTim Chevalier-7/+10
2012-01-13Obj system? What obj system?Marijn Haverbeke-6/+0
2012-01-12Make driver::session::session no longer an objectMarijn Haverbeke-0/+1
2012-01-05require a non-semi expr acting as a stmt to have unit return typeNiko Matsakis-1/+1
2011-12-29split proto from fn_decl, as not all fn_decls know the proto.Niko Matsakis-1/+1
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-4/+4
2011-12-22Merge branch 'master' of github.com:graydon/rustGraydon Hoare-1/+1
2011-12-22Register snapshots and switch logging over to use of log_full or #error / #de...Graydon Hoare-21/+21
2011-12-22Unify some data structures in syntax::ast that were doing the same thingMarijn Haverbeke-1/+1
2011-12-21Switch log_expr to carrying a full expr:u32 for level. Add log_full variant t...Graydon Hoare-2/+2
2011-12-21Make { || ... } sugar for any type of closure, inferredNiko Matsakis-10/+13
2011-12-19integrate cap clause into type state, but not transNiko Matsakis-1/+16
2011-12-19Add type argument field to expr_pathMarijn Haverbeke-1/+1
2011-12-16Make uses of self in impls compileMarijn Haverbeke-1/+0
2011-12-14first attempt, not happy with itNiko Matsakis-1/+1
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-2/+2
2011-12-08Allow binding of nested patternsMarijn Haverbeke-1/+1
2011-12-07Make typestate properly descend pattern guardsMarijn Haverbeke-0/+6
2011-11-30Box ast::path valuesMarijn Haverbeke-1/+1
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-11-10Cleanup unused importsHaitao Li-8/+4
2011-10-21Change the way block calls are parsed, mark them as block-calls.Marijn Haverbeke-1/+1
2011-10-21Drop support for iter, put, and for-eachMarijn Haverbeke-11/+0
2011-10-21Move ast_util::pat_bindings over to new iter system.Marijn Haverbeke-2/+2
2011-09-20Represent unique creation as a unop in the AST instead of its own exprBrian Anderson-1/+0
2011-09-15Forbid assignment to by-reference bindingsMarijn Haverbeke-1/+1
2011-09-14Rename ast::controlflow to ast::ret_styleMarijn Haverbeke-6/+6
2011-09-12Factor imports mindlessly.Graydon Hoare-24/+7
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-36/+33
2011-09-06Forbid blocks from deinitializing upvarsTim Chevalier-2/+22
2011-09-02Reformat. Issue #855Brian Anderson-1/+2
2011-09-02Handle if-check with no else correctly in typestateTim Chevalier-4/+17