| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Fix another type bug I introduced yesterday; found through wondrous logging ↵ | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | | | | | | | technology. | |||||
| * | | Improve logging in type. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | ||||||
| * | | Pick out error in type due to delightfully clear logging. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | ||||||
| * | | Improve logging in type.ml, give it indentation and per-statement context. | Graydon Hoare | 2010-06-30 | 1 | -9/+22 | |
| | | | ||||||
| * | | Fix formatting string. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | ||||||
| * | | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵ | Graydon Hoare | 2010-06-30 | 3 | -141/+212 | |
| | | | | | | | | | implicitly deref in only *some* contexts. | |||||
| * | | Tidy up (I think) a couple typos from patrick's last commit. | Graydon Hoare | 2010-06-30 | 1 | -5/+5 | |
| | | | ||||||
| * | | Improve error message. | Graydon Hoare | 2010-06-30 | 1 | -2/+1 | |
| | | | ||||||
| * | | Remove redundant (and misnamed) function "without_exterior" in trans. | Graydon Hoare | 2010-06-30 | 1 | -11/+3 | |
| | | | ||||||
| * | | Reimplement backup scheme for handling lvals not yet resolved by typechecker. | Graydon Hoare | 2010-06-30 | 1 | -15/+38 | |
| | | | ||||||
| * | | Init the exterior ty, not the inner ty. | Graydon Hoare | 2010-06-30 | 1 | -2/+2 | |
| | | | ||||||
| * | | Fix error-message typo. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | ||||||
| * | | Use simplified_ty in effect. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 | |
| | | | ||||||
| * | | Move simplified_ty from trans to semant and use it a few places. | Graydon Hoare | 2010-06-30 | 2 | -12/+12 | |
| | | | ||||||
| * | | Add logging to type and effect. | Graydon Hoare | 2010-06-30 | 2 | -0/+12 | |
| | | | ||||||
| * | | Get compiler to the point of building std.rc and rustc.rc. | Graydon Hoare | 2010-06-30 | 1 | -3/+11 | |
| | | | ||||||
| * | | Handle constrained types in type.ml while we're at it. | Graydon Hoare | 2010-06-30 | 1 | -0/+3 | |
| | | | ||||||
| * | | Wrap long lines. | Graydon Hoare | 2010-06-30 | 3 | -4/+9 | |
| | | | ||||||
| * | | Teach the typechecker about the auto-dereference and auto-promote-to-mutable ↵ | Patrick Walton | 2010-06-29 | 2 | -224/+213 | |
| | | | | | | | | | semantics we're going with | |||||
| * | | Different, not quite correct yet, but I think slightly closer to correct, ↵ | Graydon Hoare | 2010-06-29 | 1 | -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 Hoare | 2010-06-29 | 1 | -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). | |||||
| * | | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | 2010-06-29 | 9 | -787/+816 | |
| |/ | ||||||
| * | Canonicalize hashtables after running them through htab_map. Closes #77. | Graydon Hoare | 2010-06-28 | 1 | -11/+3 | |
| | | ||||||
| * | Whitespace. | Graydon Hoare | 2010-06-28 | 1 | -1/+1 | |
| | | ||||||
| * | Move more of the GC logic into the runtime. | Graydon Hoare | 2010-06-28 | 1 | -183/+81 | |
| | | ||||||
| * | Teach the typechecker that uints are integral types. Closes #88. | Roy Frostig | 2010-06-28 | 1 | -1/+1 | |
| | | ||||||
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 8 | -104/+106 | |
| | | ||||||
| * | Once more with feeling. Closes #13. | Graydon Hoare | 2010-06-27 | 1 | -1/+0 | |
| | | ||||||
| * | Previous commit closes #13. Trying to convince github of that fact ↵ | Graydon Hoare | 2010-06-27 | 1 | -0/+1 | |
| | | | | | automagically. | |||||
| * | Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵ | Graydon Hoare | 2010-06-27 | 4 | -28/+234 | |
| | | | | | 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 Hoare | 2010-06-27 | 1 | -1/+4 | |
| | | | | | mutable-vec-drop.rs test. | |||||
| * | Encode tag and iso types at dwarf level. Can't decode them yet. | Graydon Hoare | 2010-06-27 | 1 | -17/+142 | |
| | | ||||||
| * | Further attempts to convince mem_ctrl to be sane. | Graydon Hoare | 2010-06-25 | 1 | -1/+3 | |
| | | ||||||
| * | Improve sever_slot logging. | Graydon Hoare | 2010-06-25 | 1 | -4/+2 | |
| | | ||||||
| * | Fix copy-paste error in logging function. | Graydon Hoare | 2010-06-25 | 1 | -2/+2 | |
| | | ||||||
| * | Add sever-glue, for missing first stage of sweep. | Graydon Hoare | 2010-06-25 | 2 | -13/+82 | |
| | | ||||||
| * | Align emitted DATA_* elements -- tydescs in particular -- to 16 byte ↵ | Graydon Hoare | 2010-06-25 | 1 | -2/+5 | |
| | | | | | boundaries, so we can get our tag bit freed up. | |||||
| * | Fix marking logic. | Graydon Hoare | 2010-06-25 | 1 | -5/+7 | |
| | | ||||||
| * | Fix over-conservatism in alias analysis. | Graydon Hoare | 2010-06-25 | 1 | -7/+4 | |
| | | ||||||
| * | Emit gc glue and rearrange crate glue offsets slightly to have a regular order. | Graydon Hoare | 2010-06-25 | 2 | -2/+11 | |
| | | ||||||
| * | Add test of recursive object types (ha, work by default) and fix ↵ | Graydon Hoare | 2010-06-25 | 1 | -0/+16 | |
| | | | | | effect-walker bug revealed by it. | |||||
| * | Unlink (doubly) gc chain on free. | Graydon Hoare | 2010-06-25 | 1 | -7/+33 | |
| | | ||||||
| * | Doubly-link gc chain on alloc. | Graydon Hoare | 2010-06-25 | 1 | -5/+23 | |
| | | ||||||
| * | Revert "Add intrinsic calling convention." Isn't going to work. | Graydon Hoare | 2010-06-25 | 2 | -32/+2 | |
| | | | | | This reverts commit 72c6c60d80cdfe63af5046a1a98549f0515734f2. | |||||
| * | Resolve and typecheck patterns in pattern alt redux. This time featuring ↵ | Roy Frostig | 2010-06-25 | 5 | -65/+118 | |
| | | | | | way more correctness. | |||||
| * | Add intrinsic calling convention. | Graydon Hoare | 2010-06-24 | 2 | -2/+32 | |
| | | ||||||
| * | Factor out some trans bits. | Graydon Hoare | 2010-06-24 | 1 | -42/+44 | |
| | | ||||||
| * | Fix bad output-slot logic in tag constructors. | Graydon Hoare | 2010-06-24 | 1 | -13/+16 | |
| | | ||||||
| * | Fix output-slot handling for real. It's been broken for a long time. | Graydon Hoare | 2010-06-24 | 2 | -67/+59 | |
| | | ||||||
| * | Issue 24, drop output slot when not initializing. Un-XFAIL generic-tag.rs. ↵ | Graydon Hoare | 2010-06-24 | 1 | -6/+10 | |
| | | | | | Add test for output slot modes with several broken cases. | |||||