scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	During my last look at r21224 I noticed what mu...	Paul Phillips	2010-03-21	1	-0/+11
\| \| \| \| \| \| \| \| \|	During my last look at r21224 I noticed what must be a long standing bug in Array.update handling. Fixing this probably never to be noticed corner case (see bug3175.scala) seduced me into drumming out some duplication. At least we got some nice commenting out of it. Review by dubochet.
*	Some work on the Array methods as they manifest...	Paul Phillips	2010-03-20	1	-0/+44
	Some work on the Array methods as they manifest in refinement types: tightening when Array code is generated and also what code is generated. Review by dubochet.