aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/capture.rs
Commit message (Collapse)AuthorAgeFilesLines
* Move capture checking into resolve.rsMarijn Haverbeke2011-05-131-119/+0
| | | | | Drops capture.rs. The new algorithm also checks for captures function arguments and obj fields.
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-121-43/+43
| | | | This should be a snapshot transition.
* Keep resolve data in external hash table, rather than embedded defsMarijn Haverbeke2011-05-121-7/+9
| | | | | | | | | | | | | One step closer to removing fold and having a single, immutable AST. Resolve still uses fold, because it has to detect and transform expr_field expressions. If we go through on our plan of moving to a different syntax for module dereferencing, the parser can spit out expr_field expressions, and resolve can move to walk. (I am truly sorry for the things I did in typestate_check.rs. I expect we'll want to change that to walk as well in the near future, at which point it should probably pass around a context record, which could hold the def_map.)
* Stop depending on block indices in capture.rsMarijn Haverbeke2011-05-111-5/+9
|
* Alias-ify walk, typeck, metadata. Cuts another 80kb off rustc.Graydon Hoare2011-05-091-3/+3
|
* Rename std modules to be camelcasedMarijn Haverbeke2011-05-061-15/+15
| | | | (Have fun mergining your stuff with this.)
* Eradicate fold from capture.rsMarijn Haverbeke2011-05-051-59/+54
| | | | The pass now uses walk.
* Implement the "attempted dynamic environment-capture" error in rustc.Rafael Ávila de Espíndola2011-04-111-0/+118