aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
...
* Redo the scheme for block context chaining and termination, to simplify and ↵Graydon Hoare2010-11-101-1/+2
| | | | support ret better.
* Support a special const-value refcount, use it for const strings.Graydon Hoare2010-11-092-15/+44
|
* Add a check for binding an alias. Good thing, as we had two instances in our ↵Graydon Hoare2010-11-081-0/+26
| | | | library.
* Fix linux burn caused by last commit on friday.Graydon Hoare2010-11-081-1/+1
|
* Update lltrans to also emit WinMain@16 on windows.Graydon Hoare2010-11-053-3/+10
|
* rustboot: Report the alias-ness of function parameters in type errorsPatrick Walton2010-11-051-1/+6
|
* rustboot: If something that wasn't a type was found where a type was ↵Patrick Walton2010-11-051-1/+1
| | | | expected, report where the error was
* rustboot: Report mismatched effect qualifiersPatrick Walton2010-11-051-2/+5
|
* rustboot: Report cyclic import errors at the right locationPatrick Walton2010-11-052-6/+9
|
* rustboot: Describe the cycle when reporting a cyclic import errorPatrick Walton2010-11-051-1/+10
|
* rustboot: When resolving recursively, build up error messages recursively as ↵Patrick Walton2010-11-031-25/+35
| | | | well
* rustboot: Say exactly which name was unbound when reporting unbound name errorsPatrick Walton2010-11-034-52/+73
|
* 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) ↵Graydon Hoare2010-11-025-93/+148
| | | | impure-effect checking.
* 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 ↵Patrick Walton2010-10-281-1/+20
| | | | value
* Revert "rustboot: Emit an error instead of asserting in trans when a T is ↵Patrick Walton2010-10-281-20/+1
| | | | | | passed by value" due to test failures This reverts commit ee901858a27bf00c7dd66e7cfecb9dd97029dba8.
* rustboot: Emit an error instead of asserting in trans when a T is passed by ↵Patrick Walton2010-10-281-1/+20
| | | | value
* Emit a sensible error message if one or more of the parameters isn't enough ↵Patrick Walton2010-10-271-4/+9
| | | | context to instantiate a polymorphic function
* rustboot: Emit an error message instead of asserting on a type-param ↵Patrick Walton2010-10-272-6/+10
| | | | mismatch in tag constructors in patterns
* rustboot: For error reporting, map tag IDs to *tag* names, not to tag ↵Patrick Walton2010-10-261-4/+5
| | | | *variant* names
* rustboot: Use a less hacky method to report tag names in error messages, ↵Patrick Walton2010-10-262-36/+10
| | | | which works for resolve errors as well
* Thread a source location though for type error reporting instead of the ↵Patrick Walton2010-10-251-10/+11
| | | | awful "List.hd scopes" hack
* Prevent Not_found in the unfortunate case when we have to ↵Patrick Walton2010-10-251-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 Walton2010-10-222-2/+7
| | | | parameters, report the location of the error
* rustboot: Don't use ridiculous type names when describing simple types like ↵Patrick Walton2010-10-212-1/+12
| | | | int and uint
* 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 ↵Graydon Hoare2010-10-181-2/+4
| | | | actual.
* Encode and decode tag types in dwarf properly. Add list module to std. Shift ↵Graydon Hoare2010-10-153-92/+214
| | | | rustc to use std.util.option. Fix various dependent bugs. Closes #73.
* 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
| | | | less crash in rustc.
* 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. ↵Graydon Hoare2010-10-091-4/+4
| | | | Cut rustc by 50kb.
* Elide mark and sever glue in -minimal mode.Graydon Hoare2010-10-091-2/+9
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 10:17:02 +0000