about summary refs log tree commit diff
path: root/src/boot
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-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
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-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 ↵Graydon Hoare-0/+1
automagically.
2010-06-27Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare-35/+255
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-25Fix register-use bugs in sweep pass, factor sweep pass out and call twice ↵Graydon Hoare-57/+73
for separate sever/free phases.
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 ↵Graydon Hoare-2/+5
boundaries, so we can get our tag bit freed up.
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 ↵Graydon Hoare-8/+7
walking a list.
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 ↵Graydon Hoare-0/+16
effect-walker bug revealed by it.
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
This reverts commit 72c6c60d80cdfe63af5046a1a98549f0515734f2.