about summary refs log tree commit diff
path: root/src/comp/middle/tstate
AgeCommit message (Expand)AuthorLines
2011-08-27Convert rustc::util to istrs. Issue #855Brian Anderson-4/+5
2011-08-27Convert the rest of rustc::middle to istrs. Issue #855Brian Anderson-61/+62
2011-08-27Convert ast::ident to istr. Issue #855Brian Anderson-23/+36
2011-08-27Convert std::int to istrs. Issue #855Brian Anderson-8/+12
2011-08-27Convert std::uint to istrs. Issue #855Brian Anderson-5/+10
2011-08-26Let typestate constraints mention pattern-bound varsTim Chevalier-5/+10
2011-08-22Move functions from syntax::ast to syntax::ast_utilBrian Anderson-2/+7
2011-08-20ReformatBrian Anderson-333/+321
2011-08-19Revert "Disable warnings for unused function arguments. Temporary hack."Tim Chevalier-6/+1
2011-08-19Disable warnings for unused function arguments. Temporary hack.Tim Chevalier-1/+6
2011-08-18Handle sequential let semantics properly in typestateTim Chevalier-16/+37
2011-08-18Remove seq_kind from ast::expr_vecBrian Anderson-2/+2
2011-08-18Remove or _-prefix all unused function argumentsMarijn Haverbeke-9/+9
2011-08-18Don't warn about unused vars whose name starts with _Marijn Haverbeke-2/+3
2011-08-17Track arguments in typestateTim Chevalier-9/+28
2011-08-16Port the compiler to the expr foo::<T> syntax.Erick Tryzelaar-15/+15
2011-08-16Port the compiler to foo<T> decl syntax.Erick Tryzelaar-3/+3
2011-08-16Port the compiler to the typaram foo<T> syntax.Erick Tryzelaar-37/+37
2011-08-16Removing tasks, ports and chans from the compiler.Eric Holk-42/+0
2011-08-16Rename std::ivec to std::vecBrian Anderson-38/+38
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-41/+41
2011-08-15rustc: Add a few type-related methods to unique pointers; add typestate supportPatrick Walton-0/+1
2011-08-15Add operator 'copy', translates as fall-through.Graydon Hoare-2/+9
2011-08-15Rename a field (so that macros can mention it).Paul Stansifer-4/+4
2011-08-15rustc: Parse and typecheck unique pointersPatrick Walton-0/+1
2011-08-15Fix bad argument type of pprust::print_typeMarijn Haverbeke-1/+1
2011-08-15Tuple fields are immutableMarijn Haverbeke-4/+2
2011-08-15Tuple types back, not constructable yetMarijn Haverbeke-0/+9
2011-08-09Convert remaning ivec decls to new syntaxBrian Anderson-2/+2
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-78/+78
2011-08-08Implement typestate checking for move-mode args. Un-XFAIL compile-fail/move-a...Graydon Hoare-28/+110
2011-08-05Initialize all constraints to FalseTim Chevalier-9/+24
2011-08-05Revert "rustc: Introduce the concept of inline to the AST"Patrick Walton-37/+33
2011-08-05rustc: Introduce the concept of inline to the ASTPatrick Walton-33/+37
2011-08-03Make ast::pat_bindings an iteratorMarijn Haverbeke-20/+19
2011-08-01Handle bang functions correctly in typestateTim Chevalier-59/+113
2011-08-01Partially implement destructuring localsMarijn Haverbeke-47/+57
2011-07-31Change bitvectors::relax_precond_block to use visit instead of walkTim Chevalier-24/+28
2011-07-29Refactor typestate code involving stmt_declsTim Chevalier-94/+129
2011-07-29Add in some missing cases for typestate with closures.Michael Sullivan-2/+5
2011-07-29Remove support for obj dtorsMarijn Haverbeke-1/+0
2011-07-28Change the way freevars stores its information again.Michael Sullivan-1/+1
2011-07-28The names 'outer' and 'inner' make more sense than 'self' and 'with'.Lindsey Kuper-2/+2
2011-07-27Fix damage done by the pretty-printerMarijn Haverbeke-4/+2
2011-07-27Reformat for new syntaxMarijn Haverbeke-2161/+2042
2011-07-26Initial implementation of typestate for closures.Michael Sullivan-13/+31
2011-07-26Convert all code that uses walk.rs in the straightforward way to simple_visitMarijn Haverbeke-21/+16
2011-07-26Remove tuple support from the compilerMarijn Haverbeke-7/+0
2011-07-26Remove all uses of tuples from the compiler and stdlibMarijn Haverbeke-62/+69
2011-07-25Rename the block type to be blk also. Sorry.Michael Sullivan-15/+16