about summary refs log tree commit diff
path: root/src
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-29Revert "Improve makefile to try to avoid wedging on failure-to-dep lib/std.rc"Graydon Hoare-9/+6
This reverts commit 3bc263f10215e5768e9ff57ee1f1aa2bd81da5d1.
2010-06-29Improve makefile to try to avoid wedging on failure-to-dep lib/std.rcGraydon Hoare-6/+9
2010-06-28The few and proud isolated bits from stdlib-work so far that don't break ↵Roy Frostig-0/+63
everything. Note util.rs hasn't yet been declared mod in the std crate. Don't do that yet, as it breaks make check.
2010-06-28Add a NO_VALGRIND override mechanism to makefile, if you want day-to-day ↵Graydon Hoare-0/+4
builds to cycle faster on linux.
2010-06-28Add to generic-obj.rs testcase a method that takes an argument of the object ↵Roy Frostig-0/+3
type-param type. XFAIL the test since it no longer passes.
2010-06-28Testcase (XFAILed) for fn item given as lval.Roy Frostig-0/+10
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-195/+213
2010-06-28Testcase (XFAILed) for mutable alias vec weirdness.Roy Frostig-0/+9
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-36/+269
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/+5
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-25Add callable gc method exposed to user code, use it in mlist-cycle.rs test ↵Graydon Hoare-0/+10
(still not quite working; some memory corruption in the recursive tag constructors, not the GC)
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/+87
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 21:29:59 +0000