| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | rustboot: Use a less hacky method to report tag names in error messages, ↵ | Patrick Walton | 2010-10-26 | 2 | -36/+10 | |
| | | | | | which works for resolve errors as well | |||||
| * | Thread a source location though for type error reporting instead of the ↵ | Patrick Walton | 2010-10-25 | 1 | -10/+11 | |
| | | | | | awful "List.hd scopes" hack | |||||
| * | Prevent Not_found in the unfortunate case when we have to ↵ | Patrick Walton | 2010-10-25 | 1 | -1/+2 | |
| | | | | | "friendly_stringify" a tag type we haven't yet recorded into cx.ctxt_all_tag_info | |||||
| * | rustboot: If the user tries to instantiate a non-parametric type with type ↵ | Patrick Walton | 2010-10-22 | 2 | -2/+7 | |
| | | | | | parameters, report the location of the error | |||||
| * | rustboot: Don't use ridiculous type names when describing simple types like ↵ | Patrick Walton | 2010-10-21 | 1 | -1/+1 | |
| | | | | | int and uint | |||||
| * | Use "friendly" type names when reporting a "mismatched type-params" error | Patrick Walton | 2010-10-21 | 2 | -88/+79 | |
| | | ||||||
| * | Move the "friendly" type printer to semant | Patrick Walton | 2010-10-20 | 2 | -87/+85 | |
| | | ||||||
| * | Eliminate <tag#> stuff from the "friendly" type errors | Patrick Walton | 2010-10-20 | 1 | -0/+33 | |
| | | ||||||
| * | Print better error messages when the number of type params is wrong | Patrick Walton | 2010-10-20 | 1 | -1/+6 | |
| | | ||||||
| * | Make type errors in rustboot report the friendly type of both expected and ↵ | Graydon Hoare | 2010-10-18 | 1 | -2/+4 | |
| | | | | | actual. | |||||
| * | Encode and decode tag types in dwarf properly. Add list module to std. Shift ↵ | Graydon Hoare | 2010-10-15 | 3 | -92/+214 | |
| | | | | | rustc to use std.util.option. Fix various dependent bugs. Closes #73. | |||||
| * | Fix mem += mem bug in vec-append. | Graydon Hoare | 2010-10-14 | 1 | -2/+2 | |
| | | ||||||
| * | Fix typos in Type.friendly_stringify. | Graydon Hoare | 2010-10-14 | 1 | -3/+3 | |
| | | ||||||
| * | Typecheck tags in "alt" patterns | Patrick Walton | 2010-10-14 | 1 | -0/+2 | |
| | | ||||||
| * | Fix crasher in rustc. | Graydon Hoare | 2010-10-14 | 1 | -3/+4 | |
| | | ||||||
| * | Move the friendly-names table to semant, reuse it in the name mangler. | Graydon Hoare | 2010-10-13 | 3 | -16/+19 | |
| | | ||||||
| * | Fetch typarams from the outermost item frame, when inside an iter-block. One ↵ | Graydon Hoare | 2010-10-13 | 2 | -30/+58 | |
| | | | | | less crash in rustc. | |||||
| * | Use "friendly" types throughout the typechecker | Patrick Walton | 2010-10-13 | 1 | -38/+40 | |
| | | ||||||
| * | Use the user-defined type aliases when reporting type errors | Patrick Walton | 2010-10-13 | 1 | -21/+71 | |
| | | ||||||
| * | Fix horribly embarassing signedness bug in backend, plus related regressions. | Graydon Hoare | 2010-10-12 | 1 | -3/+9 | |
| | | ||||||
| * | Git index wins again. | Graydon Hoare | 2010-10-12 | 7 | -51/+85 | |
| | | ||||||
| * | Changes to make rustboot compile on OCaml 3.12 | Graydon Hoare | 2010-10-12 | 7 | -35/+35 | |
| | | ||||||
| * | Remove obsolete comment, issue was fixed with last checkin. | Graydon Hoare | 2010-10-10 | 1 | -3/+0 | |
| | | ||||||
| * | Teach bind to actually bind typarams, as it claims to. | Graydon Hoare | 2010-10-10 | 2 | -59/+101 | |
| | | ||||||
| * | Subject copying code to inline heuristic, cut 30kb from rustc. | Graydon Hoare | 2010-10-09 | 1 | -10/+31 | |
| | | ||||||
| * | Actually do what I meant to in the inline threshold. Don't drink and code. ↵ | Graydon Hoare | 2010-10-09 | 1 | -4/+4 | |
| | | | | | Cut rustc by 50kb. | |||||
| * | Elide mark and sever glue in -minimal mode. | Graydon Hoare | 2010-10-09 | 1 | -2/+9 | |
| | | ||||||
| * | 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 | 1 | -2/+2 | |
| | | ||||||
| * | 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 | 1 | -9/+75 | |
| | | ||||||
| * | 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 | 12 | -103/+111 | |
| | | ||||||
| * | 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 | 1 | -12/+22 | |
| | | | | | unneeded for rustc. Shrink rustc by 300kb. Back under 1mb. | |||||
| * | Add -lpasses for logging just the progress of passes. | Graydon Hoare | 2010-10-05 | 1 | -1/+24 | |
| | | ||||||
| * | Better backpointer logic. | Graydon Hoare | 2010-10-05 | 2 | -15/+50 | |
| | | ||||||
| * | 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 | 4 | -90/+143 | |
| | | | | | fixing bind leakage in rustc. | |||||
| * | implemented break for while-loop case | Or Brostovski | 2010-09-30 | 4 | -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 | |||||
| * | Patchwork of attempted fixes to effect system and gc system; eventually give ↵ | Graydon Hoare | 2010-09-29 | 1 | -21/+34 | |
| | | | | | 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. | |||||
| * | Implement preliminary form of structured compare. No boxes, vectors or ↵ | Graydon Hoare | 2010-09-21 | 2 | -77/+181 | |
| | | | | | strings yet. | |||||