about summary refs log tree commit diff
path: root/src/comp/middle/tstate
AgeCommit message (Expand)AuthorLines
2012-03-02Move src/comp to src/rustcGraydon Hoare-3870/+0
2012-03-02core: Remove _mut functions from vecBrian Anderson-1/+1
2012-03-01Use the correct prestate for callsTim Chevalier-2/+2
2012-02-29optionally enforce local variable mutabilityNiko Matsakis-9/+9
2012-02-28change def's that are always local to use node_id, add --inline optNiko Matsakis-23/+20
2012-02-22Stop normalizing patternsMarijn Haverbeke-16/+17
2012-02-15make mut a keyword synonymous with mutableNiko Matsakis-2/+2
2012-02-15Support 'alt check' syntaxMarijn Haverbeke-2/+2
2012-02-10Remove a vestige of return-by-referenceMarijn Haverbeke-12/+11
2012-02-09Remove some pointless importsMarijn Haverbeke-10/+0
2012-02-08Monomorphize resource and variant constructorsMarijn Haverbeke-4/+4
2012-02-07Minor class-related tweaks to the ASTTim Chevalier-1/+1
2012-02-06Make ty::t type self-sufficientMarijn Haverbeke-8/+7
2012-02-05infer modes rather than overwriting with expected tyNiko Matsakis-8/+9
2012-02-03Beginnings of front-end support for classesTim Chevalier-0/+3
2012-01-31Change option::t to optionTim Chevalier-13/+13
2012-01-31Don't compute pre- and postconditions for item_constsTim Chevalier-16/+1
2012-01-31Require alts to be exhaustiveTim Chevalier-52/+34
2012-01-30Remove ternary operatorPaul Woolcock-4/+0
2012-01-26Remove ty_native_fnMarijn Haverbeke-1/+1
2012-01-25Rename tag to enum throughout the compilerMarijn Haverbeke-1/+1
2012-01-23s/block()/fn()/gNiko Matsakis-1/+1
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-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