| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2010-10-26 | rustboot: For error reporting, map tag IDs to *tag* names, not to tag ↵ | Patrick Walton | -4/+5 | |
| *variant* names | ||||
| 2010-10-26 | rustboot: Use a less hacky method to report tag names in error messages, ↵ | Patrick Walton | -36/+10 | |
| which works for resolve errors as well | ||||
| 2010-10-25 | Thread a source location though for type error reporting instead of the ↵ | Patrick Walton | -10/+11 | |
| awful "List.hd scopes" hack | ||||
| 2010-10-25 | Prevent Not_found in the unfortunate case when we have to ↵ | Patrick Walton | -1/+2 | |
| "friendly_stringify" a tag type we haven't yet recorded into cx.ctxt_all_tag_info | ||||
| 2010-10-22 | rustboot: If the user tries to instantiate a non-parametric type with type ↵ | Patrick Walton | -2/+7 | |
| parameters, report the location of the error | ||||
| 2010-10-21 | rustboot: Don't use ridiculous type names when describing simple types like ↵ | Patrick Walton | -1/+1 | |
| int and uint | ||||
| 2010-10-21 | Use "friendly" type names when reporting a "mismatched type-params" error | Patrick Walton | -88/+79 | |
| 2010-10-20 | Move the "friendly" type printer to semant | Patrick Walton | -87/+85 | |
| 2010-10-20 | Eliminate <tag#> stuff from the "friendly" type errors | Patrick Walton | -0/+33 | |
| 2010-10-20 | Print better error messages when the number of type params is wrong | Patrick Walton | -1/+6 | |
| 2010-10-18 | Make type errors in rustboot report the friendly type of both expected and ↵ | Graydon Hoare | -2/+4 | |
| actual. | ||||
| 2010-10-15 | Encode and decode tag types in dwarf properly. Add list module to std. Shift ↵ | Graydon Hoare | -92/+214 | |
| rustc to use std.util.option. Fix various dependent bugs. Closes #73. | ||||
| 2010-10-14 | Fix mem += mem bug in vec-append. | Graydon Hoare | -2/+2 | |
| 2010-10-14 | Fix typos in Type.friendly_stringify. | Graydon Hoare | -3/+3 | |
| 2010-10-14 | Typecheck tags in "alt" patterns | Patrick Walton | -0/+2 | |
| 2010-10-14 | Fix crasher in rustc. | Graydon Hoare | -3/+4 | |
| 2010-10-13 | Move the friendly-names table to semant, reuse it in the name mangler. | Graydon Hoare | -16/+19 | |
| 2010-10-13 | Fetch typarams from the outermost item frame, when inside an iter-block. One ↵ | Graydon Hoare | -30/+58 | |
| less crash in rustc. | ||||
| 2010-10-13 | Use "friendly" types throughout the typechecker | Patrick Walton | -38/+40 | |
| 2010-10-13 | Use the user-defined type aliases when reporting type errors | Patrick Walton | -21/+71 | |
| 2010-10-12 | Fix horribly embarassing signedness bug in backend, plus related regressions. | Graydon Hoare | -3/+9 | |
| 2010-10-12 | Git index wins again. | Graydon Hoare | -51/+85 | |
| 2010-10-12 | Changes to make rustboot compile on OCaml 3.12 | Graydon Hoare | -35/+35 | |
| 2010-10-10 | Remove obsolete comment, issue was fixed with last checkin. | Graydon Hoare | -3/+0 | |
| 2010-10-10 | Teach bind to actually bind typarams, as it claims to. | Graydon Hoare | -59/+101 | |
| 2010-10-09 | Subject copying code to inline heuristic, cut 30kb from rustc. | Graydon Hoare | -10/+31 | |
| 2010-10-09 | Actually do what I meant to in the inline threshold. Don't drink and code. ↵ | Graydon Hoare | -4/+4 | |
| Cut rustc by 50kb. | ||||
| 2010-10-09 | Elide mark and sever glue in -minimal mode. | Graydon Hoare | -2/+9 | |
| 2010-10-09 | More type-fold caches, shave another second off compile time. | Graydon Hoare | -5/+16 | |
| 2010-10-08 | Implement a -minimal mode prologue, cut 100kb from rustc. | Graydon Hoare | -2/+2 | |
| 2010-10-08 | Quad counters are revealing. Move drops out-of-line, cut 200kb from rustc. | Graydon Hoare | -103/+168 | |
| 2010-10-08 | Add quad-counting system. | Graydon Hoare | -9/+75 | |
| 2010-10-08 | Fix logging bug. | Graydon Hoare | -1/+1 | |
| 2010-10-08 | Add a tag cache for the cases we can't avoid hitting fold; cut rustc compile ↵ | Graydon Hoare | -8/+19 | |
| time by 50%. | ||||
| 2010-10-08 | More fold caches, cut rustc compile time by 60% again. | Graydon Hoare | -7/+27 | |
| 2010-10-08 | Cache referent-type calculations in rustboot; cut rustc compile time by 60%. | Graydon Hoare | -1/+7 | |
| 2010-10-08 | Add -lpath mechanism for logging only a subset of a pass (by module-path prefix) | Graydon Hoare | -103/+111 | |
| 2010-10-07 | Simplify type-mismatch messages. | Graydon Hoare | -5/+158 | |
| 2010-10-05 | Add -minimal mode to rustboot that skips emitting code that's broken or ↵ | Graydon Hoare | -12/+22 | |
| unneeded for rustc. Shrink rustc by 300kb. Back under 1mb. | ||||
| 2010-10-05 | Add -lpasses for logging just the progress of passes. | Graydon Hoare | -1/+24 | |
| 2010-10-05 | Better backpointer logic. | Graydon Hoare | -15/+50 | |
| 2010-09-30 | Fix bug in bind thunks failing top drop unbound args; add test and adjust ↵ | Graydon Hoare | -0/+16 | |
| rustc to use bind again. | ||||
| 2010-09-30 | Drop slots on block exits even when blocks have no statements. Part way to ↵ | Graydon Hoare | -90/+143 | |
| fixing bind leakage in rustc. | ||||
| 2010-09-30 | implemented break for while-loop case | Or Brostovski | -35/+84 | |
| 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 | ||||
| 2010-09-29 | Patchwork of attempted fixes to effect system and gc system; eventually give ↵ | Graydon Hoare | -21/+34 | |
| up and disable it entirely in the runtime. Will need extensive reworking. | ||||
| 2010-09-29 | Allow tag recursion through vectors as well as boxes | Patrick Walton | -1/+1 | |
| 2010-09-23 | Resolve constant types through to their definitions. | Graydon Hoare | -1/+3 | |
| 2010-09-22 | Fix linear for loops on strings to not hit trailing null. | Graydon Hoare | -3/+12 | |
| 2010-09-22 | Revert "Make recursive type verification logic better by allowing it to see ↵ | Graydon Hoare | -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. | ||||
| 2010-09-21 | Make recursive type verification logic better by allowing it to see through ↵ | Patrick Walton | -12/+18 | |
| multiple levels of indirection. Still can trigger "unexpected OpaqueTy" bugs, but that's better than infinite loops. | ||||
