aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/semant.ml
Commit message (Collapse)AuthorAgeFilesLines
* Remove effect system from src.Graydon Hoare2011-04-191-25/+6
|
* Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. ↵Graydon Hoare2011-04-021-2/+2
| | | | Major perf win.
* Switch rustboot from element-wise copying to take+drop+memcpy. Un-XFAIL ↵Graydon Hoare2011-03-111-2/+2
| | | | size-and-align.rs for rustc.
* Recursively genericize types and spread across glue. Saves 1mb size, 8s ↵Graydon Hoare2011-01-111-0/+31
| | | | compile time on rustc.
* rustboot: Only bottom out at opaque IL types after finding two cycles. DON'T ↵Patrick Walton2010-12-211-1/+1
| | | | ASK ME WHY THIS WORKS.
* Change 'stratum' to the friendlier term 'layer'.Graydon Hoare2010-12-031-17/+17
|
* Isolate while-header bug to minimal testcase, fix in rustboot, remove ↵Graydon Hoare2010-11-191-0/+2
| | | | workaround in rustc.
* Redo the scheme for block context chaining and termination, to simplify and ↵Graydon Hoare2010-11-101-1/+2
| | | | support ret better.
* rustboot: Report the alias-ness of function parameters in type errorsPatrick Walton2010-11-051-1/+6
|
* rustboot: Report mismatched effect qualifiersPatrick Walton2010-11-051-2/+5
|
* rustboot: Report cyclic import errors at the right locationPatrick Walton2010-11-051-5/+8
|
* rustboot: Describe the cycle when reporting a cyclic import errorPatrick Walton2010-11-051-1/+10
|
* rustboot: Say exactly which name was unbound when reporting unbound name errorsPatrick Walton2010-11-031-38/+52
|
* Shift obj, type, param decls to have strata rather than effects.Graydon Hoare2010-11-021-7/+7
|
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-021-18/+31
|
* rustboot: Emit an error message instead of asserting on a type-param ↵Patrick Walton2010-10-271-4/+8
| | | | mismatch in tag constructors in patterns
* rustboot: Use a less hacky method to report tag names in error messages, ↵Patrick Walton2010-10-261-34/+6
| | | | which works for resolve errors as well
* 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-221-1/+2
| | | | parameters, report the location of the error
* rustboot: Don't use ridiculous type names when describing simple types like ↵Patrick Walton2010-10-211-1/+1
| | | | int and uint
* Use "friendly" type names when reporting a "mismatched type-params" errorPatrick Walton2010-10-211-74/+74
|
* Move the "friendly" type printer to semantPatrick Walton2010-10-201-0/+72
|
* Print better error messages when the number of type params is wrongPatrick Walton2010-10-201-1/+6
|
* Fix crasher in rustc.Graydon Hoare2010-10-141-3/+4
|
* Move the friendly-names table to semant, reuse it in the name mangler.Graydon Hoare2010-10-131-1/+6
|
* Fetch typarams from the outermost item frame, when inside an iter-block. One ↵Graydon Hoare2010-10-131-1/+7
| | | | less crash in rustc.
* Git index wins again.Graydon Hoare2010-10-121-7/+10
|
* Changes to make rustboot compile on OCaml 3.12Graydon Hoare2010-10-121-6/+6
|
* Teach bind to actually bind typarams, as it claims to.Graydon Hoare2010-10-101-3/+10
|
* More type-fold caches, shave another second off compile time.Graydon Hoare2010-10-091-2/+14
|
* 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-081-7/+16
| | | | time by 50%.
* More fold caches, cut rustc compile time by 60% again.Graydon Hoare2010-10-081-6/+23
|
* 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-081-32/+55
|
* Add -lpasses for logging just the progress of passes.Graydon Hoare2010-10-051-1/+24
|
* Better backpointer logic.Graydon Hoare2010-10-051-11/+28
|
* Drop slots on block exits even when blocks have no statements. Part way to ↵Graydon Hoare2010-09-301-0/+8
| | | | fixing bind leakage in rustc.
* Revert "Make recursive type verification logic better by allowing it to see ↵Graydon Hoare2010-09-221-17/+11
| | | | | | | | 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-211-11/+17
| | | | multiple levels of indirection. Still can trigger "unexpected OpaqueTy" bugs, but that's better than infinite loops.
* Implement preliminary form of structured compare. No boxes, vectors or ↵Graydon Hoare2010-09-211-2/+2
| | | | strings yet.
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare2010-09-201-11/+17
| | | | translate 0-ary constructors as constants. Rustc loses ~300kb.
* Use name_base in plval base.Graydon Hoare2010-09-201-6/+3
|
* Resolve plvals to their defns.Graydon Hoare2010-09-161-0/+11
|
* 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
|
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵Graydon Hoare2010-09-151-0/+1
| | | | later stages. Fixes to pexp pretty printer.
* Add some form-judgements on plvals and pexps.Graydon Hoare2010-09-151-0/+83
|
* Begin actually folding constant items into operands at site of use.Graydon Hoare2010-09-141-0/+1
|
* Teach front-end about simple, first-cut version of const items.Graydon Hoare2010-09-141-0/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 15:28:21 +0000