about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-06-01Improve type error message for non-constructor in patternTim Chevalier-2/+2
2011-06-01Redo typestate-related data structures to support predicate constraints. No ↵Tim Chevalier-147/+473
actual support yet, just infrastructure.
2011-06-01Add a few more to_str functionsTim Chevalier-4/+6
2011-06-01Allow constraint args to be literalsTim Chevalier-0/+1
2011-06-01Use span_err instead of err. Fixes issue #444.Lindsey Kuper-3/+2
2011-06-01rustc: Remove rustboot workaround from walk::default_visitor()Patrick Walton-48/+30
2011-06-01rustc: Allow walking over patternsPatrick Walton-0/+8
2011-06-01Permit breaking before fn args block.Graydon Hoare-0/+1
2011-06-01Comments.Lindsey Kuper-0/+8
2011-06-01More tweaks to comment preservation rules.Graydon Hoare-70/+98
2011-06-01Print iters as iters not fns.Graydon Hoare-6/+11
2011-06-01Add a space after @mutable.Graydon Hoare-1/+1
2011-06-01Print ty_bot properly.Graydon Hoare-1/+1
2011-06-01Don't create an empty section.Rafael Ávila de Espíndola-3/+3
2011-06-01Visibility is an ELF concept and protected visibility is not very well ↵Rafael Ávila de Espíndola-3/+6
implemented, avoid using it for now. Instead, mark pairs that are not needed elsewhere as internal.
2011-06-01Move brace/if/for/while/do/alt/spawn exprs into bottom_expr rule.Graydon Hoare-23/+19
2011-06-01Bug fixes to pprust.Graydon Hoare-2/+3
2011-06-01Buffer pending whitespace in printer so as not to introduce trailing ↵Graydon Hoare-8/+17
whitespace lines.
2011-06-01Support printing globs.Graydon Hoare-0/+10
2011-06-01Slightly more aggressive about inserting whitespace. Getting frustrated with ↵Graydon Hoare-9/+25
comments.
2011-06-01Comments and cleanup.Lindsey Kuper-22/+49
2011-05-31Now imports are not re-exported unless 'export' is explicitly used.Paul Stansifer-227/+67
2011-05-31Give up on use of huge_word for comments. Still not formatting quite right, ↵Graydon Hoare-16/+9
but closer.
2011-05-31Fix pretty printer for move.Michael Sullivan-1/+1
2011-05-31Support move as an initializer.Michael Sullivan-1/+18
2011-05-31Implement move semantics.Michael Sullivan-4/+42
2011-05-31Insert plumbing for move that behaves just like assign.Michael Sullivan-0/+81
2011-05-31Teach the compiler to understand yield and join, as well as using task as a ↵Eric Holk-2/+6
type name.
2011-05-31rustc: Teach rustc to use block results as fn return values. Closes #372Brian Anderson-3/+54
2011-05-31Fix comment-scanning logic in lexer.Graydon Hoare-2/+4
2011-05-31Handle pretty-printing else-if properly.Graydon Hoare-12/+26
2011-05-31Move rust_vec_append_glue to rt.Rafael Ávila de Espíndola-142/+0
2011-05-31Consolidate formatting functions a bit more.Graydon Hoare-209/+132
2011-05-31Fix utility printers to flush eof in common.rs.Graydon Hoare-0/+6
2011-05-31Fix long linesGraydon Hoare-8/+16
2011-05-31Break methods in obj types.Graydon Hoare-0/+3
2011-05-31Tighten up comment rules a little more.Graydon Hoare-22/+22
2011-05-31Improve handling of trailing comments.Graydon Hoare-4/+30
2011-05-31Add span to field to catch per-field comments in rec exprs.Graydon Hoare-22/+27
2011-05-31Improve comment handling in pp.Graydon Hoare-205/+333
2011-05-31Differentiate consistency of commasep boxesGraydon Hoare-27/+35
2011-05-31new pretty printerGraydon Hoare-405/+736
2011-05-31Start finishing up the rust_start signature transition.Rafael Ávila de Espíndola-1/+1
2011-05-31Have blocks return their result by writing to a reserved spaceMarijn Haverbeke-71/+103
This makes it possible to pass the location of that space through to nested blocks, resulting in less copying, taking, and dropping. This makes the compiler slightly faster and 19k smaller. A FIXME is to use 'move' semantics when returning the values from the block -- don't bump the refcount and drop it again for the returning block, but simply assign ownership to the receiver. To do this, we'll need a way to (safely) scrub things from a block's cleanup list.
2011-05-31rustc: Remove unneeded type params from alt patternsBrian Anderson-271/+271
2011-05-31rustc: Pushdown type params for tag patterns. Closes #363Brian Anderson-4/+14
2011-05-27In pre/postcondition computation, failing calls should set the postconditionTim Chevalier-3/+12
A non-returning call should have a postcondition in which all predicates are true -- not just a poststate. Otherwise, alt expressions where one or more branches terminate in a non-returning call and others initialize a variable get rejected. Includes a test case.
2011-05-27change commentTim Chevalier-3/+3
2011-05-27Fix two typestate bugsTim Chevalier-8/+11
* Non-returning calls should set all predicates to be true, not just the "this function returns" predicate * Fixed a bug in the expr_alt case in tstate.states that wasn't updating the changed flag properly, then fixed *another* bug that was updating it too enthusiastically, but was masked by the first bug.
2011-05-27Lots of comments, and some more descriptive names.Lindsey Kuper-56/+209