about summary refs log tree commit diff
path: root/src/boot
AgeCommit message (Collapse)AuthorLines
2010-11-13Remove dead code in cexp.Graydon Hoare-1/+0
2010-11-10Redo the scheme for block context chaining and termination, to simplify and ↵Graydon Hoare-1/+2
support ret better.
2010-11-09Support a special const-value refcount, use it for const strings.Graydon Hoare-15/+44
2010-11-08Add a check for binding an alias. Good thing, as we had two instances in our ↵Graydon Hoare-0/+26
library.
2010-11-08Fix linux burn caused by last commit on friday.Graydon Hoare-1/+1
2010-11-05Update lltrans to also emit WinMain@16 on windows.Graydon Hoare-3/+10
2010-11-05rustboot: Report the alias-ness of function parameters in type errorsPatrick Walton-1/+6
2010-11-05rustboot: If something that wasn't a type was found where a type was ↵Patrick Walton-1/+1
expected, report where the error was
2010-11-05rustboot: Report mismatched effect qualifiersPatrick Walton-2/+5
2010-11-05rustboot: Report cyclic import errors at the right locationPatrick Walton-6/+9
2010-11-05rustboot: Describe the cycle when reporting a cyclic import errorPatrick Walton-1/+10
2010-11-03rustboot: When resolving recursively, build up error messages recursively as ↵Patrick Walton-25/+35
well
2010-11-03rustboot: Say exactly which name was unbound when reporting unbound name errorsPatrick Walton-52/+73
2010-11-03Code sketch and comment notes on textual crate signatures.Graydon Hoare-0/+244
2010-11-02Shift obj, type, param decls to have strata rather than effects.Graydon Hoare-59/+97
2010-11-02Split out stratum-checking pass, implement more-strict (overly aggressive) ↵Graydon Hoare-93/+148
impure-effect checking.
2010-11-02First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare-80/+168
2010-10-28rustboot: Emit an error instead of asserting in trans when a T is passed by ↵Patrick Walton-1/+20
value
2010-10-28Revert "rustboot: Emit an error instead of asserting in trans when a T is ↵Patrick Walton-20/+1
passed by value" due to test failures This reverts commit ee901858a27bf00c7dd66e7cfecb9dd97029dba8.
2010-10-28rustboot: Emit an error instead of asserting in trans when a T is passed by ↵Patrick Walton-1/+20
value
2010-10-27Emit a sensible error message if one or more of the parameters isn't enough ↵Patrick Walton-4/+9
context to instantiate a polymorphic function
2010-10-27rustboot: Emit an error message instead of asserting on a type-param ↵Patrick Walton-6/+10
mismatch in tag constructors in patterns
2010-10-26rustboot: For error reporting, map tag IDs to *tag* names, not to tag ↵Patrick Walton-4/+5
*variant* names
2010-10-26rustboot: 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-25Thread a source location though for type error reporting instead of the ↵Patrick Walton-10/+11
awful "List.hd scopes" hack
2010-10-25Prevent 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-22rustboot: 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-21rustboot: Don't use ridiculous type names when describing simple types like ↵Patrick Walton-1/+12
int and uint
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 ↵Graydon Hoare-2/+4
actual.
2010-10-15Encode 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-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-5/+8
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
less crash in rustc.
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-6/+22
2010-10-12Git index wins again.Graydon Hoare-65/+105
2010-10-12Changes to make rustboot compile on OCaml 3.12Graydon Hoare-46/+46
2010-10-11Bind labels explicitly in fe/cexp.ml. Should fix issue #169.Patrick Walton-2/+2
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-61/+103
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. ↵Graydon Hoare-4/+4
Cut rustc by 50kb.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-13 22:16:41 +0000