aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Tidy up (I think) a couple typos from patrick's last commit.Graydon Hoare2010-06-301-5/+5
|
* Improve error message.Graydon Hoare2010-06-301-2/+1
|
* Remove redundant (and misnamed) function "without_exterior" in trans.Graydon Hoare2010-06-301-11/+3
|
* Reimplement backup scheme for handling lvals not yet resolved by typechecker.Graydon Hoare2010-06-301-15/+38
|
* Init the exterior ty, not the inner ty.Graydon Hoare2010-06-301-2/+2
|
* Fix error-message typo.Graydon Hoare2010-06-301-1/+1
|
* Use simplified_ty in effect.Graydon Hoare2010-06-301-1/+1
|
* Move simplified_ty from trans to semant and use it a few places.Graydon Hoare2010-06-302-12/+12
|
* Add logging to type and effect.Graydon Hoare2010-06-302-0/+12
|
* Fix exterior formatter.Graydon Hoare2010-06-301-1/+1
|
* Get compiler to the point of building std.rc and rustc.rc.Graydon Hoare2010-06-301-3/+11
|
* Handle constrained types in type.ml while we're at it.Graydon Hoare2010-06-301-0/+3
|
* Wrap long lines.Graydon Hoare2010-06-303-4/+9
|
* Teach the typechecker about the auto-dereference and auto-promote-to-mutable ↵Patrick Walton2010-06-292-224/+213
| | | | semantics we're going with
* Different, not quite correct yet, but I think slightly closer to correct, ↵Graydon Hoare2010-06-291-33/+45
| | | | approach to convincing the typechecker to get along with this new type grammar.
* Thread a 'simplification' flag through unifier, attempt to strip off layers ↵Graydon Hoare2010-06-291-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).
* Update LLVM translation to match changes to slot and ty.Graydon Hoare2010-06-291-16/+23
|
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-2915-904/+937
|
* Fix underlying failure to signal errors when dep'ing.Graydon Hoare2010-06-291-6/+8
|
* Revert "Improve makefile to try to avoid wedging on failure-to-dep lib/std.rc"Graydon Hoare2010-06-291-9/+6
| | | | This reverts commit 3bc263f10215e5768e9ff57ee1f1aa2bd81da5d1.
* Improve makefile to try to avoid wedging on failure-to-dep lib/std.rcGraydon Hoare2010-06-291-6/+9
|
* The few and proud isolated bits from stdlib-work so far that don't break ↵Roy Frostig2010-06-283-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.
* Add a NO_VALGRIND override mechanism to makefile, if you want day-to-day ↵Graydon Hoare2010-06-281-0/+4
| | | | builds to cycle faster on linux.
* Add to generic-obj.rs testcase a method that takes an argument of the object ↵Roy Frostig2010-06-282-0/+3
| | | | type-param type. XFAIL the test since it no longer passes.
* Testcase (XFAILed) for fn item given as lval.Roy Frostig2010-06-282-0/+10
|
* Canonicalize hashtables after running them through htab_map. Closes #77.Graydon Hoare2010-06-282-13/+19
|
* Whitespace.Graydon Hoare2010-06-281-1/+1
|
* Move more of the GC logic into the runtime.Graydon Hoare2010-06-287-195/+213
|
* Testcase (XFAILed) for mutable alias vec weirdness.Roy Frostig2010-06-282-0/+9
|
* Teach the typechecker that uints are integral types. Closes #88.Roy Frostig2010-06-281-1/+1
|
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-2814-113/+117
|
* Once more with feeling. Closes #13.Graydon Hoare2010-06-271-1/+0
|
* Previous commit closes #13. Trying to convince github of that fact ↵Graydon Hoare2010-06-271-0/+1
| | | | automagically.
* Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare2010-06-277-36/+269
| | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
* Change slot_mem_ctrl to classify vec[state] as GC mem. Breaking / XFAILing ↵Graydon Hoare2010-06-272-1/+5
| | | | mutable-vec-drop.rs test.
* Encode tag and iso types at dwarf level. Can't decode them yet.Graydon Hoare2010-06-271-17/+142
|
* Add callable gc method exposed to user code, use it in mlist-cycle.rs test ↵Graydon Hoare2010-06-253-0/+10
| | | | (still not quite working; some memory corruption in the recursive tag constructors, not the GC)
* Further attempts to convince mem_ctrl to be sane.Graydon Hoare2010-06-251-1/+3
|
* Fix register-use bugs in sweep pass, factor sweep pass out and call twice ↵Graydon Hoare2010-06-251-57/+73
| | | | for separate sever/free phases.
* Improve sever_slot logging.Graydon Hoare2010-06-251-4/+2
|
* Fix copy-paste error in logging function.Graydon Hoare2010-06-251-2/+2
|
* Add sever-glue, for missing first stage of sweep.Graydon Hoare2010-06-255-15/+87
|
* Pass type parameters to free function called from sweep loop.Graydon Hoare2010-06-251-9/+16
|
* Align emitted DATA_* elements -- tydescs in particular -- to 16 byte ↵Graydon Hoare2010-06-251-2/+5
| | | | boundaries, so we can get our tag bit freed up.
* Fix bad register use in GC sweep pass.Graydon Hoare2010-06-251-5/+9
|
* Fix marking logic.Graydon Hoare2010-06-251-5/+7
|
* Fix over-conservatism in alias analysis.Graydon Hoare2010-06-251-7/+4
|
* Remove obsolete comment.Graydon Hoare2010-06-251-1/+0
|
* I hear actually loading the next pointer into the right register helps when ↵Graydon Hoare2010-06-251-8/+7
| | | | walking a list.
* Debug GC glue enough that marking passes.Graydon Hoare2010-06-251-16/+33
|
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-13 13:13:28 +0000