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

Age	Commit message (Collapse)	Author	Lines
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	Correct overzealous bulk-edit to LLVM code.	Graydon Hoare	-1/+1

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	Add machine-dependent 'float' type.	Graydon Hoare	-0/+3

2010-07-01	Fix lexer's definition of numeric literals.	Graydon Hoare	-4/+5

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	-197/+195
	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.
2010-06-30	Make type-cast decisions based on simplified types.	Graydon Hoare	-0/+1

2010-06-30	Fix another type bug I introduced yesterday; found through wondrous logging ↵	Graydon Hoare	-1/+1
	technology.
2010-06-30	Improve logging in type.	Graydon Hoare	-1/+1

2010-06-30	Pick out error in type due to delightfully clear logging.	Graydon Hoare	-1/+1

2010-06-30	Improve logging in type.ml, give it indentation and per-statement context.	Graydon Hoare	-10/+25

2010-06-30	Fix recently-broken lval formatter.	Graydon Hoare	-0/+2

2010-06-30	Add support for parsing COMP_deref lval components (*foo).	Graydon Hoare	-0/+13

2010-06-30	Fix formatting string.	Graydon Hoare	-1/+1

2010-06-30	Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵	Graydon Hoare	-155/+224
	implicitly deref in only some contexts.
2010-06-30	Tidy up (I think) a couple typos from patrick's last commit.	Graydon Hoare	-5/+5

2010-06-30	Improve error message.	Graydon Hoare	-2/+1

2010-06-30	Remove redundant (and misnamed) function "without_exterior" in trans.	Graydon Hoare	-11/+3

2010-06-30	Reimplement backup scheme for handling lvals not yet resolved by typechecker.	Graydon Hoare	-15/+38

2010-06-30	Init the exterior ty, not the inner ty.	Graydon Hoare	-2/+2

2010-06-30	Fix error-message typo.	Graydon Hoare	-1/+1

2010-06-30	Use simplified_ty in effect.	Graydon Hoare	-1/+1

2010-06-30	Move simplified_ty from trans to semant and use it a few places.	Graydon Hoare	-12/+12

2010-06-30	Add logging to type and effect.	Graydon Hoare	-0/+12

2010-06-30	Fix exterior formatter.	Graydon Hoare	-1/+1

2010-06-30	Get compiler to the point of building std.rc and rustc.rc.	Graydon Hoare	-3/+11

2010-06-30	Handle constrained types in type.ml while we're at it.	Graydon Hoare	-0/+3

2010-06-30	Wrap long lines.	Graydon Hoare	-4/+9

2010-06-29	Teach the typechecker about the auto-dereference and auto-promote-to-mutable ↵	Patrick Walton	-224/+213
	semantics we're going with
2010-06-29	Different, 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-29	Thread 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-29	Update LLVM translation to match changes to slot and ty.	Graydon Hoare	-16/+23

2010-06-29	Initial stab at lowering mutable and exterior into the type system.	Graydon Hoare	-904/+937

2010-06-29	Fix underlying failure to signal errors when dep'ing.	Graydon Hoare	-6/+8

2010-06-28	Canonicalize hashtables after running them through htab_map. Closes #77.	Graydon Hoare	-13/+19

2010-06-28	Whitespace.	Graydon Hoare	-1/+1

2010-06-28	Move more of the GC logic into the runtime.	Graydon Hoare	-184/+82

2010-06-28	Teach the typechecker that uints are integral types. Closes #88.	Roy Frostig	-1/+1