aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Expand)AuthorAgeFilesLines
* Code sketch and comment notes on textual crate signatures.Graydon Hoare2010-11-034-0/+244
* Shift obj, type, param decls to have strata rather than effects.Graydon Hoare2010-11-026-59/+97
* Split out stratum-checking pass, implement more-strict (overly aggressive) im...Graydon Hoare2010-11-025-93/+148
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-0211-80/+168
* rustboot: Emit an error instead of asserting in trans when a T is passed by v...Patrick Walton2010-10-281-1/+20
* Revert "rustboot: Emit an error instead of asserting in trans when a T is pas...Patrick Walton2010-10-281-20/+1
* rustboot: Emit an error instead of asserting in trans when a T is passed by v...Patrick Walton2010-10-281-1/+20
* Emit a sensible error message if one or more of the parameters isn't enough c...Patrick Walton2010-10-271-4/+9
* rustboot: Emit an error message instead of asserting on a type-param mismatch...Patrick Walton2010-10-272-6/+10
* rustboot: For error reporting, map tag IDs to *tag* names, not to tag *varian...Patrick Walton2010-10-261-4/+5
* rustboot: Use a less hacky method to report tag names in error messages, whic...Patrick Walton2010-10-262-36/+10
* Thread a source location though for type error reporting instead of the awful...Patrick Walton2010-10-251-10/+11
* Prevent Not_found in the unfortunate case when we have to "friendly_stringify...Patrick Walton2010-10-251-1/+2
* rustboot: If the user tries to instantiate a non-parametric type with type pa...Patrick Walton2010-10-222-2/+7
* rustboot: Don't use ridiculous type names when describing simple types like i...Patrick Walton2010-10-212-1/+12
* Use "friendly" type names when reporting a "mismatched type-params" errorPatrick Walton2010-10-212-88/+79
* Move the "friendly" type printer to semantPatrick Walton2010-10-202-87/+85
* Eliminate <tag#> stuff from the "friendly" type errorsPatrick Walton2010-10-201-0/+33
* Print better error messages when the number of type params is wrongPatrick Walton2010-10-201-1/+6
* Make type errors in rustboot report the friendly type of both expected and ac...Graydon Hoare2010-10-181-2/+4
* Encode and decode tag types in dwarf properly. Add list module to std. Shift ...Graydon Hoare2010-10-153-92/+214
* Fix mem += mem bug in vec-append.Graydon Hoare2010-10-141-2/+2
* Fix typos in Type.friendly_stringify.Graydon Hoare2010-10-141-3/+3
* Typecheck tags in "alt" patternsPatrick Walton2010-10-141-0/+2
* Fix crasher in rustc.Graydon Hoare2010-10-142-5/+8
* Move the friendly-names table to semant, reuse it in the name mangler.Graydon Hoare2010-10-133-16/+19
* Fetch typarams from the outermost item frame, when inside an iter-block. One ...Graydon Hoare2010-10-132-30/+58
* Use "friendly" types throughout the typecheckerPatrick Walton2010-10-131-38/+40
* Use the user-defined type aliases when reporting type errorsPatrick Walton2010-10-131-21/+71
* Fix horribly embarassing signedness bug in backend, plus related regressions.Graydon Hoare2010-10-124-6/+22
* Git index wins again.Graydon Hoare2010-10-129-65/+105
* Changes to make rustboot compile on OCaml 3.12Graydon Hoare2010-10-129-46/+46
* Bind labels explicitly in fe/cexp.ml. Should fix issue #169.Patrick Walton2010-10-111-2/+2
* Remove obsolete comment, issue was fixed with last checkin.Graydon Hoare2010-10-101-3/+0
* Teach bind to actually bind typarams, as it claims to.Graydon Hoare2010-10-103-61/+103
* Subject copying code to inline heuristic, cut 30kb from rustc.Graydon Hoare2010-10-091-10/+31
* Actually do what I meant to in the inline threshold. Don't drink and code. Cu...Graydon Hoare2010-10-091-4/+4
* Elide mark and sever glue in -minimal mode.Graydon Hoare2010-10-091-2/+9
* More type-fold caches, shave another second off compile time.Graydon Hoare2010-10-093-5/+16
* Implement a -minimal mode prologue, cut 100kb from rustc.Graydon Hoare2010-10-082-32/+78
* Quad counters are revealing. Move drops out-of-line, cut 200kb from rustc.Graydon Hoare2010-10-081-103/+168
* Add quad-counting system.Graydon Hoare2010-10-083-9/+81
* Fix logging bug.Graydon Hoare2010-10-081-1/+1
* Add a tag cache for the cases we can't avoid hitting fold; cut rustc compile ...Graydon Hoare2010-10-082-8/+19
* More fold caches, cut rustc compile time by 60% again.Graydon Hoare2010-10-082-7/+27
* Cache referent-type calculations in rustboot; cut rustc compile time by 60%.Graydon Hoare2010-10-081-1/+7
* Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)Graydon Hoare2010-10-0815-103/+142
* Make minimal-mode slightly less aggressive.Graydon Hoare2010-10-071-7/+3
* Simplify type-mismatch messages.Graydon Hoare2010-10-071-5/+158
* Add -minimal mode to rustboot that skips emitting code that's broken or unnee...Graydon Hoare2010-10-055-15/+36