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

Age	Commit message (Collapse)	Author	Lines
2011-07-28	Factor out a bunch of environment construction code from trans_bind.	Michael Sullivan	-84/+99

2011-07-28	Drop the previous reference when receiving. Closes #763	Brian Anderson	-5/+18

2011-07-28	Factor out box initializing code into trans_malloc_boxed.	Michael Sullivan	-66/+36

2011-07-28	Updated alt indenting.	Lindsey Kuper	-11/+11

2011-07-28	The names 'outer' and 'inner' make more sense than 'self' and 'with'.	Lindsey Kuper	-84/+89
	(Also, some formatting and long-string cleanup.)
2011-07-28	Thread kinds into the type system. Don't quite activate yet, since it breaks ↵	Graydon Hoare	-39/+49
	stdlib and snapshot isn't ready to compile modified stdlib.
2011-07-28	Adding upcalls to to ref() and deref() tasks. This is the first step towards ↵	Eric Holk	-2/+18
	atomic reference counting of tasks.
2011-07-28	Parse, store and print type parameter kind constraints.	Graydon Hoare	-4/+12

2011-07-27	Fix stale 'copy' occurrences to 'move' in comments.	Graydon Hoare	-2/+2

2011-07-28	Replace walk with visit in the typechecker	Marijn Haverbeke	-35/+35

2011-07-28	Remove walk instance from kind.rs	Marijn Haverbeke	-6/+6

2011-07-27	Further refinement to kind system lattice and type-kind rules; first ↵	Graydon Hoare	-27/+62
	successful caught kind error (prohibits copying a pinned resource, though trans already caught it later).
2011-07-27	Some work on backwarding for issue #702.	Lindsey Kuper	-20/+100

2011-07-27	Have bind support non-alias parametric non-bound arguments.	Michael Sullivan	-42/+26
	This was previously disallowed by the typechecker and not properly handled in trans. I removed the typechecker check (replacing it with a simpler check that spawned functions don't have type params) and fixed trans. Closes #756.
2011-07-27	Allow already bound functions to be bound again.	Michael Sullivan	-4/+0
	This commit just disables the check. All of the real work was in previous commits that moved the target function into the bindings part of the closure that is tracked by the tydesc. Closes #754.
2011-07-27	Fix binding a bare fn argument with type parameters.	Michael Sullivan	-11/+10
	Closes #642.
2011-07-27	Remove vestiges of "layers", insert skeletal do-nothing "kind" pass plus ↵	Graydon Hoare	-2/+256
	cached calculation of kind for each type.
2011-07-27	Eliminate "target" field in closures.	Michael Sullivan	-14/+10

2011-07-27	Put the bound function in bind in the bindings, not in a distinguished spot.	Michael Sullivan	-23/+22

2011-07-27	Mess around with the casting in trans_bind.	Michael Sullivan	-14/+7

2011-07-27	Some cleanup in trans.	Michael Sullivan	-26/+21

2011-07-27	Associate names with taskptr and tydesc types for better debugging.	Michael Sullivan	-0/+2

2011-07-27	Make trand_bind_1 use create_real_fn_pair.	Michael Sullivan	-21/+11

2011-07-27	Don't allow globals or immutable locals to be passed by mut alias	Marijn Haverbeke	-17/+39
	Closes #747
2011-07-27	Fix damage done by the pretty-printer	Marijn Haverbeke	-112/+97

2011-07-27	Reformat for new syntax	Marijn Haverbeke	-13302/+12681

2011-07-27	Add missing case for view_item_use in resolve.rs	Marijn Haverbeke	-16/+11
	Closes #748
2011-07-26	Clean up long strings and indentation.	Lindsey Kuper	-21/+19

2011-07-26	Some simple cleanup of trans_bind.	Michael Sullivan	-172/+162

2011-07-26	Convert a bunch of cx.fcx.lcx... paths into bcx_...(cx)	Michael Sullivan	-310/+310

2011-07-26	Initial implementation of typestate for closures.	Michael Sullivan	-13/+31
	There are still things not handled properly: relying on other preconditions of upvars is likely to cause bad things to happen. We probably want to disallow it.
2011-07-26	Translate anonymous block closures.	Michael Sullivan	-8/+50

2011-07-26	Resolve and typecheck alias-environment-capturing blocks.	Michael Sullivan	-34/+101

2011-07-26	Fix the freevars pass to actually work on top of visit.	Michael Sullivan	-2/+9

2011-07-26	Convert all code that uses walk.rs in the straightforward way to simple_visit	Marijn Haverbeke	-49/+42
	Code that needs the keep_going functionality is still using walk. I will add an equivalent to visit.rs later.
2011-07-26	Resolve loop collection expressions in the right scope	Marijn Haverbeke	-11/+15
	Closes #745
2011-07-26	Detect duplicate field names in record literals and types	Marijn Haverbeke	-16/+33
	Closes #746
2011-07-26	Remove tuple support from the compiler	Marijn Haverbeke	-269/+23

2011-07-26	Remove all uses of tuples from the compiler and stdlib	Marijn Haverbeke	-388/+396

2011-07-25	Rename the block type to be blk also. Sorry.	Michael Sullivan	-36/+37

2011-07-25	Disallow block as a variable name in preparation for it becoming a keyword.	Michael Sullivan	-19/+19

2011-07-25	Remove some rustboot-isms	Marijn Haverbeke	-11/+6
	Closes #464
2011-07-25	Tie up the ends needed to get external consts working	Marijn Haverbeke	-24/+17
	Closes #658
2011-07-25	Add a pass that checks for unreachable alt arms	Marijn Haverbeke	-2/+102

2011-07-22	Overhaul how we handle freevars.	Michael Sullivan	-26/+39

2011-07-22	Simple cleanup of the freevars pass.	Michael Sullivan	-5/+5

2011-07-22	Add a "fake" def_upvar and mechanisms to create it.	Michael Sullivan	-4/+17

2011-07-22	Fixing (or at least improving) translation of move semantics for send and ↵	Eric Holk	-8/+5
	receive. This let's us run all of the task-comm tests.
2011-07-22	Folding recv_val into trans_recv, since this is its only use.	Eric Holk	-11/+7

2011-07-22	Remove typechecker work-arounds now that I know how	Marijn Haverbeke	-2/+1