aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/fold.rs
Commit message (Expand)AuthorAgeFilesLines
* More anon obj work; whitespace police in middle::foldLindsey Kuper2011-05-131-31/+39
* Use new module namespace syntax.Lindsey Kuper2011-05-131-30/+30
* More progress on anonymous objects.Lindsey Kuper2011-05-131-1/+74
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-121-374/+375
* Keep resolve data in external hash table, rather than embedded defsMarijn Haverbeke2011-05-121-18/+15
* Remove mod indices from the ASTMarijn Haverbeke2011-05-111-8/+2
* Get rid of arm indicesMarijn Haverbeke2011-05-111-1/+1
* Get rid of block indicesMarijn Haverbeke2011-05-111-3/+1
* Rewrite comp/middle/resolve.rsMarijn Haverbeke2011-05-111-9/+6
* Fix long lines in fold.rs, typeck.rsBrian Anderson2011-05-091-1/+2
* Alias-ify fold and its users, remove another 85kb.Graydon Hoare2011-05-091-279/+297
* Rename std modules to be camelcasedMarijn Haverbeke2011-05-061-49/+49
* Bring back "pred" syntax for writing predicates for checkTim Chevalier2011-05-051-5/+8
* Check that the operand in a check is a callTim Chevalier2011-05-051-1/+1
* Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton2011-05-021-7/+24
* Revert "Use different syntax for checks that matter to typestate"Graydon Hoare2011-05-021-24/+7
* Use different syntax for checks that matter to typestateTim Chevalier2011-05-021-7/+24
* Fix the signature of expr_extBrian Anderson2011-04-211-2/+2
* Handle nested items correctly in typestate_checkTim Chevalier2011-04-191-3/+0
* Remove effect system from src.Graydon Hoare2011-04-191-17/+15
* add log_err to rustcMarijn Haverbeke2011-04-191-6/+6
* Work on destructors, not entirely functional yet (no tydesc integration).Graydon Hoare2011-04-141-6/+6
* typestate_check can now handle expr_block, expr_if, and expr_binaryTim Chevalier2011-04-121-1/+2
* Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier2011-04-121-10/+12
* rustc: Add the ability to fold over annotationsPatrick Walton2011-04-081-36/+83
* Support for self-calls that take arguments.Lindsey Kuper2011-04-071-10/+8
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-061-12/+17
* Further on the path toward self-awareness.Lindsey Kuper2011-04-051-6/+5
* Started adding support for typestate checking.Tim Chevalier2011-04-011-48/+50
* rustc: Add a type annotation to tag itemsPatrick Walton2011-03-311-6/+6
* More machinery for adding an expr_call_self AST node.Lindsey Kuper2011-03-311-1/+18
* Improve line comment positioningMarijn Haverbeke2011-03-311-3/+4
* Add effect field to ast.ty_fn.Marijn Haverbeke2011-03-311-11/+12
* rustc: Thread an item-to-type mapping throughout the typechecking and transla...Patrick Walton2011-03-301-5/+5
* Add expr_spawn, spawn parsing, folding, typechecking, ty_taskBrian Anderson2011-03-281-0/+18
* Add support for break and cont to rustcMarijn Haverbeke2011-03-271-0/+22
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-251-1/+1
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare2011-03-251-1/+1
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare2011-03-251-1/+1
* rustc: Store cached crate metadata in the sessionPatrick Walton2011-03-251-5/+6
* Implement local declarations with receive. Un-XFAIL decl-with-recv.rs.Brian Anderson2011-03-251-5/+4
* Refactor ast.local to make room for initialization via recvBrian Anderson2011-03-251-4/+6
* Support for 'float' in type signatures.Lindsey Kuper2011-03-231-1/+8
* Modify native_item_fn to handle trailing linkage names that differ from the i...Graydon Hoare2011-03-201-4/+7
* rustc: Switch mutability from being a type constructor to a field annotationPatrick Walton2011-03-171-35/+28
* Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tw...Graydon Hoare2011-03-161-19/+18
* rustc: Add an annotation for the crate definition to view_item_usePatrick Walton2011-03-151-6/+6
* Merge remote branch 'brson/recursive-elseif'Graydon Hoare2011-03-141-21/+9
|\
| * Merge branch 'master' into recursive-elseifBrian Anderson2011-03-131-8/+32
| |\
| * \ Merge branch 'master' into recursive-elseifBrian Anderson2011-03-071-89/+318
| |\ \