about summary refs log tree commit diff
path: root/src/comp/middle/fold.rs
AgeCommit message (Expand)AuthorLines
2011-05-26Remove residual uses of fold, and fold itself.Graydon Hoare-1868/+0
2011-05-20More work on anonymous objects.Lindsey Kuper-6/+7
2011-05-20Make controlflow part of a function typeTim Chevalier-11/+11
2011-05-17Finally rename std::_xxx to std::xxxMarijn Haverbeke-14/+14
2011-05-16Merge remote branch 'origin/master' into HEADGraydon Hoare-6/+14
2011-05-16Rewrite everything to use [] instead of vec() in value position.Graydon Hoare-37/+37
2011-05-16Started adding support for return checking and non-returning function annotat...Tim Chevalier-6/+14
2011-05-13More anon obj work; whitespace police in middle::foldLindsey Kuper-31/+39
2011-05-13Use new module namespace syntax.Lindsey Kuper-30/+30
2011-05-13More progress on anonymous objects.Lindsey Kuper-1/+74
2011-05-12Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke-374/+375
2011-05-12Keep resolve data in external hash table, rather than embedded defsMarijn Haverbeke-18/+15
2011-05-11Remove mod indices from the ASTMarijn Haverbeke-8/+2
2011-05-11Get rid of arm indicesMarijn Haverbeke-1/+1
2011-05-11Get rid of block indicesMarijn Haverbeke-3/+1
2011-05-11Rewrite comp/middle/resolve.rsMarijn Haverbeke-9/+6
2011-05-09Fix long lines in fold.rs, typeck.rsBrian Anderson-1/+2
2011-05-09Alias-ify fold and its users, remove another 85kb.Graydon Hoare-279/+297
2011-05-06Rename std modules to be camelcasedMarijn Haverbeke-49/+49
2011-05-05Bring back "pred" syntax for writing predicates for checkTim Chevalier-5/+8
2011-05-05Check that the operand in a check is a callTim Chevalier-1/+1
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton-7/+24
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-24/+7
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-7/+24
2011-04-21Fix the signature of expr_extBrian Anderson-2/+2
2011-04-19Handle nested items correctly in typestate_checkTim Chevalier-3/+0
2011-04-19Remove effect system from src.Graydon Hoare-17/+15
2011-04-19add log_err to rustcMarijn Haverbeke-6/+6
2011-04-14Work on destructors, not entirely functional yet (no tydesc integration).Graydon Hoare-6/+6
2011-04-12typestate_check can now handle expr_block, expr_if, and expr_binaryTim Chevalier-1/+2
2011-04-12Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier-10/+12
2011-04-08rustc: Add the ability to fold over annotationsPatrick Walton-36/+83
2011-04-07Support for self-calls that take arguments.Lindsey Kuper-10/+8
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-12/+17
2011-04-05Further on the path toward self-awareness.Lindsey Kuper-6/+5
2011-04-01Started adding support for typestate checking.Tim Chevalier-48/+50
2011-03-31rustc: Add a type annotation to tag itemsPatrick Walton-6/+6
2011-03-31More machinery for adding an expr_call_self AST node.Lindsey Kuper-1/+18
2011-03-31Improve line comment positioningMarijn Haverbeke-3/+4
2011-03-31Add effect field to ast.ty_fn.Marijn Haverbeke-11/+12
2011-03-30rustc: Thread an item-to-type mapping throughout the typechecking and transla...Patrick Walton-5/+5
2011-03-28Add expr_spawn, spawn parsing, folding, typechecking, ty_taskBrian Anderson-0/+18
2011-03-27Add support for break and cont to rustcMarijn Haverbeke-0/+22
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-1/+1
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare-1/+1
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare-1/+1
2011-03-25rustc: Store cached crate metadata in the sessionPatrick Walton-5/+6
2011-03-25Implement local declarations with receive. Un-XFAIL decl-with-recv.rs.Brian Anderson-5/+4
2011-03-25Refactor ast.local to make room for initialization via recvBrian Anderson-4/+6
2011-03-23Support for 'float' in type signatures.Lindsey Kuper-1/+8