aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me
Commit message (Expand)AuthorAgeFilesLines
...
* 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, translate...Graydon Hoare2010-09-205-24/+52
* Use name_base in plval base.Graydon Hoare2010-09-203-13/+10
* When translating vec-append, delay destination string's null-byte-accounting ...Roy Frostig2010-09-201-45/+43
* Beginnings of post-resolve simplify pass.Graydon Hoare2010-09-161-0/+110
* Check for infinitely sized tags. Un-XFAIL test/compile-fail/infinite-tag-type...Patrick Walton2010-09-161-1/+73
* 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-161-0/+44
* Better representation of tag containment, which will allow us to discern back...Patrick Walton2010-09-161-3/+7
* 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
* 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 late...Graydon Hoare2010-09-156-0/+16
* 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-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-143-0/+5
* 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
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare2010-09-0910-993/+675
* Recursively drop a type's parts if the type uses any typarams, since those ty...Roy Frostig2010-09-071-3/+5
* When vec growth results in a newly allocated (extended) buffer, copy existing...Roy Frostig2010-09-032-17/+193
* Assert to insure that the worst-case glue-call arg count is not exceeded unle...Roy Frostig2010-09-031-5/+22
* Fail a bit more informatively on a bad get_element_ptr_dyn.Roy Frostig2010-09-031-2/+6
* Make pattern-alt drop the slots it initializes when binding slot patterns. U...Roy Frostig2010-08-273-37/+52
* Have alt-pattern drop the slots it initializes when binding slot patterns. A...Roy Frostig2010-08-271-10/+35
* Read definitions of tag types in the DWARFPatrick Walton2010-08-271-32/+52
* Zero-length tuples can show up in tag types. Don't forbid them when reading i...Patrick Walton2010-08-271-2/+2
* Simplify null-writing from commit 8559a85ccacf70c51d93759b47a3880ae818b247 so...Roy Frostig2010-08-261-8/+2
* Encode tag names in the DWARFPatrick Walton2010-08-261-4/+5
* Add automatic parameter instantiation. Closes #45.Patrick Walton2010-08-261-8/+31
* When copying function values, null out the destination's binding iff the sour...Roy Frostig2010-08-261-1/+14
* Add a "param handler" to demand_fn for use in automatic type parameter instan...Patrick Walton2010-08-261-12/+18
* Tiny style cleanup in a pattern match in type.mlPatrick Walton2010-08-261-1/+1
* Typecheck function patternsPatrick Walton2010-08-251-9/+14
* Insure bools remain 0x1 or 0x0 by having boolean-NOT not just be a simple bit...Roy Frostig2010-08-251-1/+4
* Add element to closure to hold captured tydesc (not body tydesc).Graydon Hoare2010-08-252-7/+8
* Merge obj-drop and closure-drop code, handles freeing bound exteriors now.Graydon Hoare2010-08-252-44/+52
* First pass of updating the in-memory layout of closures, for issue 81.Graydon Hoare2010-08-252-113/+144
* Janitorial work on obj box / body / field terminology, following froystig's b...Graydon Hoare2010-08-252-31/+34
* Fix ghastly typestate bug breaking nested functions.Graydon Hoare2010-08-251-8/+58
* Introduce "type patterns" to the typechecker in preparation for function type...Patrick Walton2010-08-251-36/+51
* Obj ctors are not obj fns so translate their frame entry as such.Roy Frostig2010-08-251-1/+1
* Fix residual nonsense of storing crate-rel displacements in a closure pair (m...Graydon Hoare2010-08-241-12/+4
* Remove obsolete TODO about checking for return statementsPatrick Walton2010-08-241-2/+0