rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2010-07-02	Deja vu all over again. Something makes me think this is a usability hazard.	Graydon Hoare	-3/+6

2010-07-02	Terminology mop-up.	Graydon Hoare	-2/+2

2010-07-02	You may get the feeling that all these changes look eerily the same. You ↵	Graydon Hoare	-2/+3
	would be correct.
2010-07-02	Simplify type before deciding how to free it. Hint: calling free() on a ↵	Graydon Hoare	-1/+1
	running task is usually a bad idea.
2010-07-02	Merge branch 'master' of git@github.com:graydon/rust into ↵	Graydon Hoare	-10/+10
	exterior_and_mutable_types
2010-07-02	Fix bug in clone logic; was ignoring the mutability-strip step in later rule.	Graydon Hoare	-21/+22

2010-07-02	Teach severing logic to handle obj and fn types.	Graydon Hoare	-15/+28

2010-07-02	Trace mark and sever steps in GC.	Graydon Hoare	-2/+6

2010-07-02	Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed ↵	Graydon Hoare	-5/+6
	edges; they should not have made it past resolve.
2010-07-02	Permit mutables as comparable in all contexts.	Graydon Hoare	-1/+1

2010-07-02	Don't unify the input to init-box with a box constraint, nurr.	Graydon Hoare	-2/+3

2010-07-02	Improve logging in type.	Graydon Hoare	-2/+5

2010-07-02	Parse effect-qualified type definitions.	Graydon Hoare	-8/+13

2010-07-02	Correct drop-ty path; many tests now run.	Graydon Hoare	-11/+5

2010-07-02	Improve drop-path logging and simplify box_rc_cell.	Graydon Hoare	-5/+14

2010-07-01	Wrap long lines.	Graydon Hoare	-2/+6

2010-07-01	Yeah. Not even a semantic mix-up: just a damn typo.	Graydon Hoare	-1/+1

2010-07-01	Teach clone_ty to tolerate cloning a mutable (though not state) type.	Graydon Hoare	-1/+1

2010-07-01	Improve mangling.	Graydon Hoare	-2/+2

2010-07-01	Teach the associative_binary_op_ty_fold about box, mutable and tys.	Graydon Hoare	-0/+3

2010-07-01	Strip outer 'mutable' off slot when deciding if pred can apply.	Graydon Hoare	-2/+3

2010-07-01	Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same ↵	Graydon Hoare	-71/+60
	logic at the bottom.
2010-07-01	Reinstate disgusting, filthy workarounds for deriving missing type ↵	Graydon Hoare	-14/+19
	information. It existed before, we will survive if it exists now.
2010-07-01	Remove similar over-application of auto-deref from type.	Graydon Hoare	-7/+7

2010-07-01	Remove too-optimistic (and not harmless) over application of auto-deref in ↵	Graydon Hoare	-8/+4
	trans.
2010-07-01	Split out and improve trans_init_box.	Graydon Hoare	-8/+18

2010-07-01	Add logging to trans_init_slot_from_atom.	Graydon Hoare	-3/+15

2010-07-01	Fox the clauses that actually satisfy box and mutable constraints; in all ↵	Graydon Hoare	-14/+10
	the confusion I had got those wrong.
2010-07-01	Of course, the LHS constraint on an init-box statement is mutable @.	Graydon Hoare	-2/+2

2010-07-01	Clarify in type logging when we have a constraint vs. a resolved type.	Graydon Hoare	-4/+10

2010-07-01	Establish the box constraint on the dst in STMT_init_box before propagating ↵	Graydon Hoare	-1/+1
	it to the rval.
2010-07-01	Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ↵	Graydon Hoare	-53/+5
	backend can catch unimplemented cases until then).
2010-07-01	Check the simplified type used in check-expr in trans.	Graydon Hoare	-1/+1

2010-07-01	Extract pattern-slot variables in lval typecheck context (mutable ok).	Graydon Hoare	-1/+1

2010-07-01	Relax alias-analysis pass to permit literal-aliasing.	Graydon Hoare	-1/+1

2010-07-01	Remove the catch-all in type.ml, add cases for every stmt (a couple more ↵	Graydon Hoare	-8/+55
	handled; mostly still stubs).
2010-07-01	Convey auto-deref judgments made in typechecker to trans layer; control the ↵	Graydon Hoare	-3/+35
	decision in one place.
2010-07-01	Some work on teaching trans to differentiate between auto-deref and ↵	Graydon Hoare	-37/+88
	explicit-deref contexts.
2010-07-01	Add more logging to copy/init paths.	Graydon Hoare	-12/+27

2010-07-01	Remove redundant indirection-function.	Graydon Hoare	-4/+2

2010-07-01	Implement STMT_init_box in trans, clean up some of the semant table-accessors.	Graydon Hoare	-51/+39

2010-07-01	Add STMT_init_box to typestate pass.	Graydon Hoare	-1/+8

2010-07-01	Simplify types before analyzing call structure; 2 more tests compile.	Graydon Hoare	-4/+6

2010-07-01	Fix two bugs in tag patterns: 1. Look up the tag constructor function item ↵	Roy Frostig	-10/+10
	using lval_item, not lval_to_referent; 2. Correct the form of the name used to query the tag or iso ty_tag when obtaining the corresponding type tuple.
2010-06-30	Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵	Graydon Hoare	-160/+158
	keep MEM_interior for describing interior-parts-of-allocations)
2010-06-30	Auto-deref on lval-ext terms (x.y == x->y, if you like)	Graydon Hoare	-1/+1

2010-06-30	De-duplicate code in get_resolved_ty, make recursive, add a case for tup.	Graydon Hoare	-28/+9

2010-06-30	Add two move variants of "acceptable mismatches to recover from" when the ↵	Graydon Hoare	-0/+16
	mut_ok or ext_ok flags are set.
2010-06-30	Add relaxed init-context in which we're willing to auto-deref.	Graydon Hoare	-5/+10

2010-06-30	Add TYSPEC_mutable, merge control-flag for it and auto_deref into unify_ctx ↵	Graydon Hoare	-172/+263
	structure.