dotty - Research platform for new language concepts and compiler technologies for Scala.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix hole in subtyping of modules	Martin Odersky	2015-10-25	2	-4/+18
\| \| \| \| \|	We did not handle correctly the case exemplified by `range.scala`: A module this type, which is compared with a getter to the same module. Seen in the wild in scala.math.BigDecimal.
*	Merge pull request #863 from dotty-staging/fix/inference-methcall	Guillaume Martres	2015-10-25	3	-3/+42
\|\ \| \| \| \|	Fix/inference methcall
\| *	Readd `.widen` which was accidentally removed from the previous commit	Guillaume Martres	2015-10-25	1	-1/+1
\| \|
\| *	Simplify logic in adapt	Martin Odersky	2015-10-25	1	-10/+2
\| \|
\| *	Fix issue that prevented instantiating some tvars before implicit search	Guillaume Martres	2015-10-25	2	-3/+29
\| \|
\| *	Less eager tvar interpolation: wait until method calls are fully applied	Guillaume Martres	2015-10-25	2	-2/+23
\|/ \| \| \|	Fix #738
*	Merge pull request #843 from dotty-staging/fix-#830	odersky	2015-10-25	2	-3/+25
\|\ \| \| \| \|	Fix #830: Compiler hangs on implicit search with singleton &/\|
\| *	Only replace intersections of constants with Nothing	Martin Odersky	2015-10-23	1	-4/+10
\| \|
\| *	Fix #830: Compiler hangs on implicit search with singleton &/\|	Martin Odersky	2015-10-22	2	-3/+19
\| \| \| \| \| \| \| \| \| \| \| \|	In fact we get a deep subtype recursion when compileing i830.scala. The problem goes away once we make use of the fact that the intersection of two singleton types which are not subtypes of each other is empty.
* \|	Merge pull request #858 from lampepfl/DarkDimius-patch-3	Dmitry Petrashko	2015-10-23	1	-1/+1
\|\ \ \| \| \| \| \| \|	Add link to gitter channel, delete travis badge.
\| * \|	Add link to gitter channel, delete travis badge.	Dmitry Petrashko	2015-10-23	1	-1/+1
\|/ /
* \|	Merge pull request #857 from dotty-staging/change-readme	Dmitry Petrashko	2015-10-23	2	-7/+86
\|\ \ \| \| \| \| \| \|	Change readme
\| * \|	Change readme to reflect current state	Martin Odersky	2015-10-23	1	-7/+23
\| \| \|
\| * \|	fix typos	Martin Odersky	2015-10-23	1	-8/+8
\| \| \|
\| * \|	fix typos	Martin Odersky	2015-10-23	1	-2/+4
\| \| \|
\| * \|	fix typos	Martin Odersky	2015-10-23	1	-3/+3
\| \| \|
\| * \|	fix typos	Martin Odersky	2015-10-23	1	-2/+2
\| \| \|
\| * \|	Draft blog post	Martin Odersky	2015-10-23	1	-0/+61
\| \| \|
* \| \|	Merge pull request #853 from dotty-staging/partest-run	Dmitry Petrashko	2015-10-23	4	-7/+12
\|\ \ \ \| \|/ / \|/\| \|	Run CI-partest with bootstrapped compiler
\| * \|	Print stack traces before creating stub symbols	Dmitry Petrashko	2015-10-23	2	-3/+8
\| \| \|
\| * \|	Revert "Workaround #840"	Dmitry Petrashko	2015-10-23	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \|	This reverts commit acd7b9d31cd0a2fbc285921bdc5a7bdc9c1d2872.
\| * \|	Enable running pos tests in partest	Dmitry Petrashko	2015-10-23	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	As junit tests are run with dotty-compiled-by-scalac, it makes sense to execute run tests with dotty-compiled-by-dotty.
\| * \|	Run partest under bootstrapped dotty.	Dmitry Petrashko	2015-10-23	1	-3/+3
\| \| \|
\| * \|	Workaround #840	Dmitry Petrashko	2015-10-23	1	-1/+1
\| \| \|
* \| \|	Merge pull request #852 from dotty-staging/fix-script	Dmitry Petrashko	2015-10-23	2	-1/+2
\|\ \ \ \| \|/ / \|/\| \|	Fix bug in dotc script
\| * \|	Indicate that dotty is being built.	Dmitry Petrashko	2015-10-23	1	-0/+1
\| \| \|
\| * \|	Fix bug in dotc script.	Dmitry Petrashko	2015-10-23	1	-1/+1
\|/ / \| \| \| \| \| \|	Used to always use bootstrapped version
* \|	Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-alias	Dmitry Petrashko	2015-10-23	2	-1/+17
\|\ \ \| \| \| \| \| \|	Fix #815.
\| * \|	Fix #815.	Martin Odersky	2015-10-20	2	-1/+17
\| \| \| \| \| \| \| \| \| \| \| \|	Need to handle hk-aliases specially in typedNew
* \| \|	Merge pull request #842 from dotty-staging/fix-838	Dmitry Petrashko	2015-10-23	2	-2/+2
\|\ \ \ \| \| \| \| \| \| \| \|	Fix #838. Fixes to non-local modules& static forwarders.
\| * \| \|	Update version of bundled backend.	Dmitry Petrashko	2015-10-22	1	-1/+1
\| \| \| \|
\| * \| \|	Fix DottyBackendInterafec.isStaticModuleClass.	Dmitry Petrashko	2015-10-22	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Used to pass wrong context.
* \| \| \|	Merge pull request #849 from dotty-staging/fix-#840	Dmitry Petrashko	2015-10-23	2	-2/+2
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	Fix #840
\| * \| \| \|	Don't drop impure expressions when eliding isInstanceOf tests.	Martin Odersky	2015-10-23	1	-1/+1
\| \| \| \| \|
\| * \| \| \|	Fix #840	Martin Odersky	2015-10-23	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Problem was that interceptTypeTestCasts was run at wrong phase. It saw after erasura a type of the form `x.Array$$T`. Before erasure that type is simply an alias of another type, but after erasure, Arraya$$T is defined to be a type alias of a Wildcard type.
* \| \| \| \|	Merge pull request #846 from dotty-staging/fix-#827	odersky	2015-10-23	5	-44/+43
\|\ \ \ \ \ \| \|/ / / / \|/\| \| \| \|	Fix #827
\| * \| \| \|	Address reviewer comments	Martin Odersky	2015-10-22	1	-5/+1
\| \| \| \| \|
\| * \| \| \|	Simplify treatment of merge conflicts	Martin Odersky	2015-10-22	1	-37/+16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Now, we always throw a merge error. No more exceptions.
\| * \| \| \|	Better handling of merge errors	Martin Odersky	2015-10-22	4	-4/+21
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Instead of picking one at random, throw a MergeError which might be caught later in mergeDenot. MergeDenot has enough info to pick a simulate Scala2 linarization if the prefix comes from Scala2, or it rethrows the exception so that it becomes a type error.
\| * \| \| \|	Check for cyclic inheritance.	Martin Odersky	2015-10-22	1	-1/+8
\|/ / / /
* \| \| \|	Merge pull request #841 from dotty-staging/fix-#831-object-self	odersky	2015-10-22	3	-19/+33
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	Fix #831 object self
\| * \| \| \|	Adapt sourceModule to new selfInfo scheme.	Martin Odersky	2015-10-22	2	-3/+6
\| \| \| \| \|
\| * \| \| \|	Fix #831	Martin Odersky	2015-10-22	2	-17/+28
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Need to create a self symbols for modules with explicit self type, but need to take care it is already typed, or sourceModule risks running into CyclicReferences.
* \| \| \| \|	Merge pull request #835 from dotty-staging/add-more-tests	odersky	2015-10-22	11	-1/+131
\|\ \ \ \ \ \| \|/ / / / \|/\| \| \| \|	Add more tests
\| * \| \| \|	Remove empty test file	Martin Odersky	2015-10-22	1	-0/+0
\| \| \| \| \|
\| * \| \| \|	More tests	Martin Odersky	2015-10-21	11	-0/+130
\| \| \| \| \|
\| * \| \| \|	Remove disgnostic println	Martin Odersky	2015-10-21	1	-1/+1
\| \|/ / /
* \| \| \|	Merge pull request #834 from dotty-staging/fix-#825	odersky	2015-10-22	15	-63/+222
\|\ \ \ \ \| \| \|_\|/ \| \|/\| \|	Fix #825
\| * \| \|	Avoid mutation in checkWellFormed	Martin Odersky	2015-10-22	1	-4/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	It's done anyway later in FirstTransform.
\| * \| \|	Avoid caching in sigName	Martin Odersky	2015-10-22	1	-8/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Use more complicated control flow with returns instead. sigName is likely performance critical, so some trickiness is justified.