about summary refs log tree commit diff
path: root/src/boot/me
AgeCommit message (Expand)AuthorLines
2010-10-26rustboot: For error reporting, map tag IDs to *tag* names, not to tag *varian...Patrick Walton-4/+5
2010-10-26rustboot: Use a less hacky method to report tag names in error messages, whic...Patrick Walton-36/+10
2010-10-25Thread a source location though for type error reporting instead of the awful...Patrick Walton-10/+11
2010-10-25Prevent Not_found in the unfortunate case when we have to "friendly_stringify...Patrick Walton-1/+2
2010-10-22rustboot: If the user tries to instantiate a non-parametric type with type pa...Patrick Walton-2/+7
2010-10-21rustboot: Don't use ridiculous type names when describing simple types like i...Patrick Walton-1/+1
2010-10-21Use "friendly" type names when reporting a "mismatched type-params" errorPatrick Walton-88/+79
2010-10-20Move the "friendly" type printer to semantPatrick Walton-87/+85
2010-10-20Eliminate <tag#> stuff from the "friendly" type errorsPatrick Walton-0/+33
2010-10-20Print better error messages when the number of type params is wrongPatrick Walton-1/+6
2010-10-18Make type errors in rustboot report the friendly type of both expected and ac...Graydon Hoare-2/+4
2010-10-15Encode and decode tag types in dwarf properly. Add list module to std. Shift ...Graydon Hoare-92/+214
2010-10-14Fix mem += mem bug in vec-append.Graydon Hoare-2/+2
2010-10-14Fix typos in Type.friendly_stringify.Graydon Hoare-3/+3
2010-10-14Typecheck tags in "alt" patternsPatrick Walton-0/+2
2010-10-14Fix crasher in rustc.Graydon Hoare-3/+4
2010-10-13Move the friendly-names table to semant, reuse it in the name mangler.Graydon Hoare-16/+19
2010-10-13Fetch typarams from the outermost item frame, when inside an iter-block. One ...Graydon Hoare-30/+58
2010-10-13Use "friendly" types throughout the typecheckerPatrick Walton-38/+40
2010-10-13Use the user-defined type aliases when reporting type errorsPatrick Walton-21/+71
2010-10-12Fix horribly embarassing signedness bug in backend, plus related regressions.Graydon Hoare-3/+9
2010-10-12Git index wins again.Graydon Hoare-51/+85
2010-10-12Changes to make rustboot compile on OCaml 3.12Graydon Hoare-35/+35
2010-10-10Remove obsolete comment, issue was fixed with last checkin.Graydon Hoare-3/+0
2010-10-10Teach bind to actually bind typarams, as it claims to.Graydon Hoare-59/+101
2010-10-09Subject copying code to inline heuristic, cut 30kb from rustc.Graydon Hoare-10/+31
2010-10-09Actually do what I meant to in the inline threshold. Don't drink and code. Cu...Graydon Hoare-4/+4
2010-10-09Elide mark and sever glue in -minimal mode.Graydon Hoare-2/+9
2010-10-09More type-fold caches, shave another second off compile time.Graydon Hoare-5/+16
2010-10-08Implement a -minimal mode prologue, cut 100kb from rustc.Graydon Hoare-2/+2
2010-10-08Quad counters are revealing. Move drops out-of-line, cut 200kb from rustc.Graydon Hoare-103/+168
2010-10-08Add quad-counting system.Graydon Hoare-9/+75
2010-10-08Fix logging bug.Graydon Hoare-1/+1
2010-10-08Add a tag cache for the cases we can't avoid hitting fold; cut rustc compile ...Graydon Hoare-8/+19
2010-10-08More fold caches, cut rustc compile time by 60% again.Graydon Hoare-7/+27
2010-10-08Cache referent-type calculations in rustboot; cut rustc compile time by 60%.Graydon Hoare-1/+7
2010-10-08Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)Graydon Hoare-103/+111
2010-10-07Simplify type-mismatch messages.Graydon Hoare-5/+158
2010-10-05Add -minimal mode to rustboot that skips emitting code that's broken or unnee...Graydon Hoare-12/+22
2010-10-05Add -lpasses for logging just the progress of passes.Graydon Hoare-1/+24
2010-10-05Better backpointer logic.Graydon Hoare-15/+50
2010-09-30Fix bug in bind thunks failing top drop unbound args; add test and adjust rus...Graydon Hoare-0/+16
2010-09-30Drop slots on block exits even when blocks have no statements. Part way to fi...Graydon Hoare-90/+143
2010-09-30implemented break for while-loop caseOr Brostovski-35/+84
2010-09-29Patchwork of attempted fixes to effect system and gc system; eventually give ...Graydon Hoare-21/+34
2010-09-29Allow tag recursion through vectors as well as boxesPatrick Walton-1/+1
2010-09-23Resolve constant types through to their definitions.Graydon Hoare-1/+3
2010-09-22Fix linear for loops on strings to not hit trailing null.Graydon Hoare-3/+12
2010-09-22Revert "Make recursive type verification logic better by allowing it to see t...Graydon Hoare-18/+12
2010-09-21Make recursive type verification logic better by allowing it to see through m...Patrick Walton-12/+18