| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | More type-fold caches, shave another second off compile time. | Graydon Hoare | 2010-10-09 | 3 | -5/+16 | |
| | | ||||||
| * | Implement a -minimal mode prologue, cut 100kb from rustc. | Graydon Hoare | 2010-10-08 | 2 | -32/+78 | |
| | | ||||||
| * | Quad counters are revealing. Move drops out-of-line, cut 200kb from rustc. | Graydon Hoare | 2010-10-08 | 1 | -103/+168 | |
| | | ||||||
| * | Add quad-counting system. | Graydon Hoare | 2010-10-08 | 3 | -9/+81 | |
| | | ||||||
| * | Fix logging bug. | Graydon Hoare | 2010-10-08 | 1 | -1/+1 | |
| | | ||||||
| * | Add a tag cache for the cases we can't avoid hitting fold; cut rustc compile ↵ | Graydon Hoare | 2010-10-08 | 2 | -8/+19 | |
| | | | | | time by 50%. | |||||
| * | More fold caches, cut rustc compile time by 60% again. | Graydon Hoare | 2010-10-08 | 2 | -7/+27 | |
| | | ||||||
| * | Cache referent-type calculations in rustboot; cut rustc compile time by 60%. | Graydon Hoare | 2010-10-08 | 1 | -1/+7 | |
| | | ||||||
| * | Add -lpath mechanism for logging only a subset of a pass (by module-path prefix) | Graydon Hoare | 2010-10-08 | 15 | -103/+142 | |
| | | ||||||
| * | Make minimal-mode slightly less aggressive. | Graydon Hoare | 2010-10-07 | 1 | -7/+3 | |
| | | ||||||
| * | Simplify type-mismatch messages. | Graydon Hoare | 2010-10-07 | 1 | -5/+158 | |
| | | ||||||
| * | Add -minimal mode to rustboot that skips emitting code that's broken or ↵ | Graydon Hoare | 2010-10-05 | 5 | -15/+36 | |
| | | | | | unneeded for rustc. Shrink rustc by 300kb. Back under 1mb. | |||||
| * | Add -lpasses for logging just the progress of passes. | Graydon Hoare | 2010-10-05 | 3 | -1/+28 | |
| | | ||||||
| * | Better backpointer logic. | Graydon Hoare | 2010-10-05 | 4 | -19/+65 | |
| | | ||||||
| * | Sketch out #fmt syntax extension in rustboot. | Graydon Hoare | 2010-10-01 | 2 | -42/+407 | |
| | | ||||||
| * | Fix bug in bind thunks failing top drop unbound args; add test and adjust ↵ | Graydon Hoare | 2010-09-30 | 1 | -0/+16 | |
| | | | | | rustc to use bind again. | |||||
| * | Drop slots on block exits even when blocks have no statements. Part way to ↵ | Graydon Hoare | 2010-09-30 | 5 | -90/+144 | |
| | | | | | fixing bind leakage in rustc. | |||||
| * | implemented break for while-loop case | Or Brostovski | 2010-09-30 | 8 | -36/+104 | |
| | | | | | | | | | | | | | | | ast.ml - added break and cont statements item.ml - added break and cont statements lexer.mll - added break and cont statements token.ml - added break and cont statements trans.ml - implemented the break statement for the while-loop case - replaced hash table accesses with get_stmt_depth where needed type.ml = added break and cont statements typestate.ml - implemented the break statement for the while-loop case - added shorthand filter_live_block_slots walk.ml - added break and cont statements while-with-break.rs - code for testing while loops | |||||
| * | Closed issue 154 - prevents compiler from compiliing a line to zero statements | Or Brostovski | 2010-09-30 | 1 | -1/+10 | |
| | | ||||||
| * | Patchwork of attempted fixes to effect system and gc system; eventually give ↵ | Graydon Hoare | 2010-09-29 | 2 | -22/+35 | |
| | | | | | up and disable it entirely in the runtime. Will need extensive reworking. | |||||
| * | Allow tag recursion through vectors as well as boxes | Patrick Walton | 2010-09-29 | 1 | -1/+1 | |
| | | ||||||
| * | Resolve constant types through to their definitions. | Graydon Hoare | 2010-09-23 | 1 | -1/+3 | |
| | | ||||||
| * | Fix linear for loops on strings to not hit trailing null. | Graydon Hoare | 2010-09-22 | 1 | -3/+12 | |
| | | ||||||
| * | Revert "Make recursive type verification logic better by allowing it to see ↵ | Graydon Hoare | 2010-09-22 | 2 | -18/+12 | |
| | | | | | | | | | through multiple levels of indirection. Still can trigger "unexpected OpaqueTy" bugs, but that's better than infinite loops." This reverts commit 751a47cc5ac3223c3b592659937b485c56ab2644. Broken build. | |||||
| * | Make recursive type verification logic better by allowing it to see through ↵ | Patrick Walton | 2010-09-21 | 2 | -12/+18 | |
| | | | | | multiple levels of indirection. Still can trigger "unexpected OpaqueTy" bugs, but that's better than infinite loops. | |||||
| * | Report an error instead of asserting when an item name is already in use | Patrick Walton | 2010-09-21 | 1 | -3/+7 | |
| | | ||||||
| * | Add insn-selection fixup-name logging. | Graydon Hoare | 2010-09-21 | 1 | -1/+8 | |
| | | ||||||
| * | Tighten pattern parsing on 0-ary constructors. | Graydon Hoare | 2010-09-21 | 1 | -1/+5 | |
| | | ||||||
| * | Implement preliminary form of structured compare. No boxes, vectors or ↵ | Graydon Hoare | 2010-09-21 | 2 | -77/+181 | |
| | | | | | strings yet. | |||||
| * | Kill residual dead code in Trans.iter_tag_parts. Shaves a couple kb off rustc. | Graydon Hoare | 2010-09-21 | 1 | -1/+11 | |
| | | ||||||
| * | Skip 0-ary tag ctors in Trans.iter_tag_parts. Rustc loses 150kb. | Graydon Hoare | 2010-09-21 | 1 | -11/+17 | |
| | | ||||||
| * | Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵ | Graydon Hoare | 2010-09-20 | 9 | -38/+85 | |
| | | | | | translate 0-ary constructors as constants. Rustc loses ~300kb. | |||||
| * | Wrap long lines. | Graydon Hoare | 2010-09-20 | 1 | -2/+4 | |
| | | ||||||
| * | Use name_base in plval base. | Graydon Hoare | 2010-09-20 | 6 | -31/+18 | |
| | | ||||||
| * | When translating vec-append, delay destination string's null-byte-accounting ↵ | Roy Frostig | 2010-09-20 | 1 | -45/+43 | |
| | | | | | length decrement until the destination string has already been resized. Closes #163. | |||||
| * | Move id counters into sess in preparation for moving desugaring to middle-end. | Graydon Hoare | 2010-09-20 | 6 | -55/+32 | |
| | | ||||||
| * | Beginnings of post-resolve simplify pass. | Graydon Hoare | 2010-09-16 | 4 | -0/+116 | |
| | | ||||||
| * | Check for infinitely sized tags. Un-XFAIL ↵ | Patrick Walton | 2010-09-16 | 1 | -1/+73 | |
| | | | | | test/compile-fail/infinite-tag-type-recursion.rs. | |||||
| * | Actually build the graph properly. Oops. | Patrick Walton | 2010-09-16 | 1 | -1/+1 | |
| | | ||||||
| * | Create tag nodes for all the tags beforehand | Patrick Walton | 2010-09-16 | 1 | -8/+15 | |
| | | ||||||
| * | Resolve plvals to their defns. | Graydon Hoare | 2010-09-16 | 2 | -1/+48 | |
| | | ||||||
| * | Populate the tag containment relation | Patrick Walton | 2010-09-16 | 1 | -0/+37 | |
| | | ||||||
| * | Add a pexp-rebuild phase to the type resolution pass in resolve.ml. | Graydon Hoare | 2010-09-16 | 2 | -0/+46 | |
| | | ||||||
| * | Better representation of tag containment, which will allow us to discern ↵ | Patrick Walton | 2010-09-16 | 1 | -3/+7 | |
| | | | | | backreferences | |||||
| * | Add ctxt_tag_containment to the Semant context | Patrick Walton | 2010-09-16 | 1 | -0/+7 | |
| | | ||||||
| * | Switch the "expected" and "actual" types for function parameter mismatches | Patrick Walton | 2010-09-16 | 1 | -1/+1 | |
| | | ||||||
| * | Not finding a name in a module isn't a bug, it's an error. Report it as such. | Patrick Walton | 2010-09-16 | 1 | -3/+3 | |
| | | ||||||
| * | Add beginnings of a fuzzer to rustboot. | Graydon Hoare | 2010-09-16 | 3 | -0/+177 | |
| | | ||||||
| * | Minor improvements to pretty-printer. | Graydon Hoare | 2010-09-15 | 1 | -5/+16 | |
| | | ||||||
| * | Teach walk about plvals and pexps. | Graydon Hoare | 2010-09-15 | 1 | -8/+106 | |
| | | ||||||