about summary refs log tree commit diff
path: root/src/boot/me
AgeCommit message (Collapse)AuthorLines
2010-06-30Tidy up (I think) a couple typos from patrick's last commit.Graydon Hoare-5/+5
2010-06-30Improve error message.Graydon Hoare-2/+1
2010-06-30Remove redundant (and misnamed) function "without_exterior" in trans.Graydon Hoare-11/+3
2010-06-30Reimplement backup scheme for handling lvals not yet resolved by typechecker.Graydon Hoare-15/+38
2010-06-30Init the exterior ty, not the inner ty.Graydon Hoare-2/+2
2010-06-30Fix error-message typo.Graydon Hoare-1/+1
2010-06-30Use simplified_ty in effect.Graydon Hoare-1/+1
2010-06-30Move simplified_ty from trans to semant and use it a few places.Graydon Hoare-12/+12
2010-06-30Add logging to type and effect.Graydon Hoare-0/+12
2010-06-30Get compiler to the point of building std.rc and rustc.rc.Graydon Hoare-3/+11
2010-06-30Handle constrained types in type.ml while we're at it.Graydon Hoare-0/+3
2010-06-30Wrap long lines.Graydon Hoare-4/+9
2010-06-29Teach the typechecker about the auto-dereference and auto-promote-to-mutable ↵Patrick Walton-224/+213
semantics we're going with
2010-06-29Different, not quite correct yet, but I think slightly closer to correct, ↵Graydon Hoare-33/+45
approach to convincing the typechecker to get along with this new type grammar.
2010-06-29Thread a 'simplification' flag through unifier, attempt to strip off layers ↵Graydon Hoare-134/+149
of ignorable types when simplification is permitted. Gets std.rc through typechecking, but assigns some wrong types to lvals (the simplified types, not the correct ones).
2010-06-29Initial stab at lowering mutable and exterior into the type system.Graydon Hoare-787/+816
2010-06-28Canonicalize hashtables after running them through htab_map. Closes #77.Graydon Hoare-11/+3
2010-06-28Whitespace.Graydon Hoare-1/+1
2010-06-28Move more of the GC logic into the runtime.Graydon Hoare-183/+81
2010-06-28Teach the typechecker that uints are integral types. Closes #88.Roy Frostig-1/+1
2010-06-28Some fixme-to-issue housekeeping.Graydon Hoare-104/+106
2010-06-27Once more with feeling. Closes #13.Graydon Hoare-1/+0
2010-06-27Previous commit closes #13. Trying to convince github of that fact ↵Graydon Hoare-0/+1
automagically.
2010-06-27Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare-28/+234
instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
2010-06-27Change slot_mem_ctrl to classify vec[state] as GC mem. Breaking / XFAILing ↵Graydon Hoare-1/+4
mutable-vec-drop.rs test.
2010-06-27Encode tag and iso types at dwarf level. Can't decode them yet.Graydon Hoare-17/+142
2010-06-25Further attempts to convince mem_ctrl to be sane.Graydon Hoare-1/+3
2010-06-25Improve sever_slot logging.Graydon Hoare-4/+2
2010-06-25Fix copy-paste error in logging function.Graydon Hoare-2/+2
2010-06-25Add sever-glue, for missing first stage of sweep.Graydon Hoare-13/+82
2010-06-25Align emitted DATA_* elements -- tydescs in particular -- to 16 byte ↵Graydon Hoare-2/+5
boundaries, so we can get our tag bit freed up.
2010-06-25Fix marking logic.Graydon Hoare-5/+7
2010-06-25Fix over-conservatism in alias analysis.Graydon Hoare-7/+4
2010-06-25Emit gc glue and rearrange crate glue offsets slightly to have a regular order.Graydon Hoare-2/+11
2010-06-25Add test of recursive object types (ha, work by default) and fix ↵Graydon Hoare-0/+16
effect-walker bug revealed by it.
2010-06-25Unlink (doubly) gc chain on free.Graydon Hoare-7/+33
2010-06-25Doubly-link gc chain on alloc.Graydon Hoare-5/+23
2010-06-25Revert "Add intrinsic calling convention." Isn't going to work.Graydon Hoare-32/+2
This reverts commit 72c6c60d80cdfe63af5046a1a98549f0515734f2.
2010-06-25Resolve and typecheck patterns in pattern alt redux. This time featuring ↵Roy Frostig-65/+118
way more correctness.
2010-06-24Add intrinsic calling convention.Graydon Hoare-2/+32
2010-06-24Factor out some trans bits.Graydon Hoare-42/+44
2010-06-24Fix bad output-slot logic in tag constructors.Graydon Hoare-13/+16
2010-06-24Fix output-slot handling for real. It's been broken for a long time.Graydon Hoare-67/+59
2010-06-24Issue 24, drop output slot when not initializing. Un-XFAIL generic-tag.rs. ↵Graydon Hoare-6/+10
Add test for output slot modes with several broken cases.
2010-06-24Remove redundant copy of comment.Graydon Hoare-1/+0
2010-06-24Clean up trans_alt_tag to use slots, not assume interior words. Also remove ↵Graydon Hoare-44/+41
record-based destructuring (hard on eyes). Add execution parts to generic-tag-alt.rs and un-XFAIL it.
2010-06-24Add fmt module, move out some common format helpers, add ↵Graydon Hoare-40/+40
instruction-selection tracing and make selection use queues rather than list refs.
2010-06-24Remove bogus FIXME.Roy Frostig-1/+0
2010-06-24Resolve and typecheck patterns in pattern alt.Roy Frostig-69/+199
2010-06-23Populate tree.Graydon Hoare-0/+15487