about summary refs log tree commit diff
path: root/src/boot/me
AgeCommit message (Expand)AuthorLines
2010-09-21Implement preliminary form of structured compare. No boxes, vectors or string...Graydon Hoare-77/+181
2010-09-21Kill residual dead code in Trans.iter_tag_parts. Shaves a couple kb off rustc.Graydon Hoare-1/+11
2010-09-21Skip 0-ary tag ctors in Trans.iter_tag_parts. Rustc loses 150kb.Graydon Hoare-11/+17
2010-09-20Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate...Graydon Hoare-24/+52
2010-09-20Use name_base in plval base.Graydon Hoare-13/+10
2010-09-20When translating vec-append, delay destination string's null-byte-accounting ...Roy Frostig-45/+43
2010-09-16Beginnings of post-resolve simplify pass.Graydon Hoare-0/+110
2010-09-16Check for infinitely sized tags. Un-XFAIL test/compile-fail/infinite-tag-type...Patrick Walton-1/+73
2010-09-16Actually build the graph properly. Oops.Patrick Walton-1/+1
2010-09-16Create tag nodes for all the tags beforehandPatrick Walton-8/+15
2010-09-16Resolve plvals to their defns.Graydon Hoare-1/+48
2010-09-16Populate the tag containment relationPatrick Walton-0/+37
2010-09-16Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare-0/+44
2010-09-16Better representation of tag containment, which will allow us to discern back...Patrick Walton-3/+7
2010-09-16Add ctxt_tag_containment to the Semant contextPatrick Walton-0/+7
2010-09-16Switch the "expected" and "actual" types for function parameter mismatchesPatrick Walton-1/+1
2010-09-16Not finding a name in a module isn't a bug, it's an error. Report it as such.Patrick Walton-3/+3
2010-09-15Teach walk about plvals and pexps.Graydon Hoare-8/+106
2010-09-15Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late...Graydon Hoare-0/+16
2010-09-15Add some form-judgements on plvals and pexps.Graydon Hoare-0/+83
2010-09-14Begin actually folding constant items into operands at site of use.Graydon Hoare-8/+78
2010-09-14Translate const uses via runtime expression evaluation.Graydon Hoare-6/+16
2010-09-14Teach front-end about simple, first-cut version of const items.Graydon Hoare-0/+5
2010-09-13Fix leaking arg slots on tail calls. Closes #160.Graydon Hoare-0/+2
2010-09-12Fix a leak when box types are used via type descriptors.Graydon Hoare-2/+2
2010-09-09Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare-993/+675
2010-09-07Recursively drop a type's parts if the type uses any typarams, since those ty...Roy Frostig-3/+5
2010-09-03When vec growth results in a newly allocated (extended) buffer, copy existing...Roy Frostig-17/+193
2010-09-03Assert to insure that the worst-case glue-call arg count is not exceeded unle...Roy Frostig-5/+22
2010-09-03Fail a bit more informatively on a bad get_element_ptr_dyn.Roy Frostig-2/+6
2010-08-27Make pattern-alt drop the slots it initializes when binding slot patterns. U...Roy Frostig-37/+52
2010-08-27Have alt-pattern drop the slots it initializes when binding slot patterns. A...Roy Frostig-10/+35
2010-08-27Read definitions of tag types in the DWARFPatrick Walton-32/+52
2010-08-27Zero-length tuples can show up in tag types. Don't forbid them when reading i...Patrick Walton-2/+2
2010-08-26Simplify null-writing from commit 8559a85ccacf70c51d93759b47a3880ae818b247 so...Roy Frostig-8/+2
2010-08-26Encode tag names in the DWARFPatrick Walton-4/+5
2010-08-26Add automatic parameter instantiation. Closes #45.Patrick Walton-8/+31
2010-08-26When copying function values, null out the destination's binding iff the sour...Roy Frostig-1/+14
2010-08-26Add a "param handler" to demand_fn for use in automatic type parameter instan...Patrick Walton-12/+18
2010-08-26Tiny style cleanup in a pattern match in type.mlPatrick Walton-1/+1
2010-08-25Typecheck function patternsPatrick Walton-9/+14
2010-08-25Insure bools remain 0x1 or 0x0 by having boolean-NOT not just be a simple bit...Roy Frostig-1/+4
2010-08-25Add element to closure to hold captured tydesc (not body tydesc).Graydon Hoare-7/+8
2010-08-25Merge obj-drop and closure-drop code, handles freeing bound exteriors now.Graydon Hoare-44/+52
2010-08-25First pass of updating the in-memory layout of closures, for issue 81.Graydon Hoare-113/+144
2010-08-25Janitorial work on obj box / body / field terminology, following froystig's b...Graydon Hoare-31/+34
2010-08-25Fix ghastly typestate bug breaking nested functions.Graydon Hoare-8/+58
2010-08-25Introduce "type patterns" to the typechecker in preparation for function type...Patrick Walton-36/+51
2010-08-25Obj ctors are not obj fns so translate their frame entry as such.Roy Frostig-1/+1
2010-08-24Fix residual nonsense of storing crate-rel displacements in a closure pair (m...Graydon Hoare-12/+4