aboutsummaryrefslogtreecommitdiff
path: root/src/boot
Commit message (Collapse)AuthorAgeFilesLines
* Resolve constant types through to their definitions.Graydon Hoare2010-09-231-1/+3
|
* Fix linear for loops on strings to not hit trailing null.Graydon Hoare2010-09-221-3/+12
|
* Revert "Make recursive type verification logic better by allowing it to see ↵Graydon Hoare2010-09-222-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 Walton2010-09-212-12/+18
| | | | multiple levels of indirection. Still can trigger "unexpected OpaqueTy" bugs, but that's better than infinite loops.
* Report an error instead of asserting when an item name is already in usePatrick Walton2010-09-211-3/+7
|
* Add insn-selection fixup-name logging.Graydon Hoare2010-09-211-1/+8
|
* Tighten pattern parsing on 0-ary constructors.Graydon Hoare2010-09-211-1/+5
|
* Implement preliminary form of structured compare. No boxes, vectors or ↵Graydon Hoare2010-09-212-77/+181
| | | | strings yet.
* Kill residual dead code in Trans.iter_tag_parts. Shaves a couple kb off rustc.Graydon Hoare2010-09-211-1/+11
|
* Skip 0-ary tag ctors in Trans.iter_tag_parts. Rustc loses 150kb.Graydon Hoare2010-09-211-11/+17
|
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare2010-09-209-38/+85
| | | | translate 0-ary constructors as constants. Rustc loses ~300kb.
* Wrap long lines.Graydon Hoare2010-09-201-2/+4
|
* Use name_base in plval base.Graydon Hoare2010-09-206-31/+18
|
* When translating vec-append, delay destination string's null-byte-accounting ↵Roy Frostig2010-09-201-45/+43
| | | | length decrement until the destination string has already been resized. Closes #163.
* Move id counters into sess in preparation for moving desugaring to middle-end.Graydon Hoare2010-09-206-55/+32
|
* Beginnings of post-resolve simplify pass.Graydon Hoare2010-09-164-0/+116
|
* Check for infinitely sized tags. Un-XFAIL ↵Patrick Walton2010-09-161-1/+73
| | | | test/compile-fail/infinite-tag-type-recursion.rs.
* Actually build the graph properly. Oops.Patrick Walton2010-09-161-1/+1
|
* Create tag nodes for all the tags beforehandPatrick Walton2010-09-161-8/+15
|
* Resolve plvals to their defns.Graydon Hoare2010-09-162-1/+48
|
* Populate the tag containment relationPatrick Walton2010-09-161-0/+37
|
* Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare2010-09-162-0/+46
|
* Better representation of tag containment, which will allow us to discern ↵Patrick Walton2010-09-161-3/+7
| | | | backreferences
* Add ctxt_tag_containment to the Semant contextPatrick Walton2010-09-161-0/+7
|
* Switch the "expected" and "actual" types for function parameter mismatchesPatrick Walton2010-09-161-1/+1
|
* Not finding a name in a module isn't a bug, it's an error. Report it as such.Patrick Walton2010-09-161-3/+3
|
* Add beginnings of a fuzzer to rustboot.Graydon Hoare2010-09-163-0/+177
|
* Minor improvements to pretty-printer.Graydon Hoare2010-09-151-5/+16
|
* Teach walk about plvals and pexps.Graydon Hoare2010-09-151-8/+106
|
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵Graydon Hoare2010-09-1514-12/+66
| | | | later stages. Fixes to pexp pretty printer.
* Add pretty-printing for pexps.Graydon Hoare2010-09-151-0/+145
|
* Add some form-judgements on plvals and pexps.Graydon Hoare2010-09-152-10/+169
|
* Commence moving pexp into ast, for eventual merger with expr.Graydon Hoare2010-09-143-154/+158
|
* Begin actually folding constant items into operands at site of use.Graydon Hoare2010-09-142-8/+78
|
* Translate const uses via runtime expression evaluation.Graydon Hoare2010-09-141-6/+16
|
* Teach front-end about simple, first-cut version of const items.Graydon Hoare2010-09-147-0/+39
|
* Fix leaking arg slots on tail calls. Closes #160.Graydon Hoare2010-09-131-0/+2
|
* Fix a leak when box types are used via type descriptors.Graydon Hoare2010-09-121-2/+2
|
* Use hashtable rather than bitset for vreg constraints in ra; speeds compilation.Graydon Hoare2010-09-093-26/+40
|
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare2010-09-0916-1245/+842
| | | | work, possibly a little bumpy. Changes a lot.
* First lame stab at solving the diamond import problemPatrick Walton2010-09-085-25/+53
|
* Lots of design changes around proxies and message passing. Made it so that ↵Michael Bebenita2010-09-071-1/+1
| | | | domains can only talk to other domains via handles, and with the help of the rust_kernel.
* Initial support for a global crate metadata cachePatrick Walton2010-09-076-6/+22
|
* Recursively drop a type's parts if the type uses any typarams, since those ↵Roy Frostig2010-09-071-3/+5
| | | | typarams may represent types that actually require dropping.
* When vec growth results in a newly allocated (extended) buffer, copy ↵Roy Frostig2010-09-033-19/+195
| | | | existing elements over via element-wise copy, not flat memcpy. Introduce new vec growth glue to achieve this.
* Assert to insure that the worst-case glue-call arg count is not exceeded ↵Roy Frostig2010-09-031-5/+22
| | | | unless allowed to.
* Fail a bit more informatively on a bad get_element_ptr_dyn.Roy Frostig2010-09-031-2/+6
|
* Whitespace churn.Graydon Hoare2010-08-311-1/+1
|
* Make pattern-alt drop the slots it initializes when binding slot patterns. ↵Roy Frostig2010-08-273-37/+52
| | | | Undoes most of the hackiness in 5e77e784f006e36c06252d9beccbd7893eddac73 and replaces it with a more proper fix.
* Have alt-pattern drop the slots it initializes when binding slot patterns. ↵Roy Frostig2010-08-271-10/+35
| | | | Add a testcase for this as well.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-19 16:12:19 +0000