about summary refs log tree commit diff
path: root/src/boot
AgeCommit message (Expand)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-30Fix exterior formatter.Graydon Hoare-1/+1
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
2010-06-29Different, not quite correct yet, but I think slightly closer to correct, app...Graydon Hoare-33/+45
2010-06-29Thread a 'simplification' flag through unifier, attempt to strip off layers o...Graydon Hoare-134/+149
2010-06-29Update LLVM translation to match changes to slot and ty.Graydon Hoare-16/+23
2010-06-29Initial stab at lowering mutable and exterior into the type system.Graydon Hoare-904/+937
2010-06-29Fix underlying failure to signal errors when dep'ing.Graydon Hoare-6/+8
2010-06-28Canonicalize hashtables after running them through htab_map. Closes #77.Graydon Hoare-13/+19
2010-06-28Whitespace.Graydon Hoare-1/+1
2010-06-28Move more of the GC logic into the runtime.Graydon Hoare-184/+82
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-113/+117
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 automagica...Graydon Hoare-0/+1
2010-06-27Only translate or dwarf-emit items or stubs locally defined or used. Avoids i...Graydon Hoare-35/+255
2010-06-27Change slot_mem_ctrl to classify vec[state] as GC mem. Breaking / XFAILing mu...Graydon Hoare-1/+4
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-25Fix register-use bugs in sweep pass, factor sweep pass out and call twice for...Graydon Hoare-57/+73
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-15/+85
2010-06-25Pass type parameters to free function called from sweep loop.Graydon Hoare-9/+16
2010-06-25Align emitted DATA_* elements -- tydescs in particular -- to 16 byte boundari...Graydon Hoare-2/+5
2010-06-25Fix bad register use in GC sweep pass.Graydon Hoare-5/+9
2010-06-25Fix marking logic.Graydon Hoare-5/+7
2010-06-25Fix over-conservatism in alias analysis.Graydon Hoare-7/+4
2010-06-25Remove obsolete comment.Graydon Hoare-1/+0
2010-06-25I hear actually loading the next pointer into the right register helps when w...Graydon Hoare-8/+7
2010-06-25Debug GC glue enough that marking passes.Graydon Hoare-16/+33
2010-06-25Update comment to reflect slightly-improved GC situation.Graydon Hoare-8/+2
2010-06-25Emit gc glue and rearrange crate glue offsets slightly to have a regular order.Graydon Hoare-6/+19
2010-06-25Return at end of GC glue.Graydon Hoare-0/+1
2010-06-25Add test of recursive object types (ha, work by default) and fix effect-walke...Graydon Hoare-0/+16
2010-06-25Unlink (doubly) gc chain on free.Graydon Hoare-7/+34
2010-06-25Doubly-link gc chain on alloc.Graydon Hoare-5/+23
2010-06-25Enlarge gc header to doubly-link the gc chain.Graydon Hoare-2/+3
2010-06-25Revert "Add intrinsic calling convention." Isn't going to work.Graydon Hoare-34/+2