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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adapt neg tests to new neg tests checks	VladimirNik	2016-02-18	1	-3/+3
\|
*	Fix tests to survive wellformedness checks	Martin Odersky	2015-10-22	1	-1/+1
\|
*	Make it a syntactic criterion whether a literal is a legal type	Martin Odersky	2015-08-24	1	-0/+2
\| \| \| \| \|	Introduce a new non-terminal "SimpleLiteral". Only SimpleLiterals can be types.
*	Better error message for Null and 'sym singleton types.	Martin Odersky	2015-08-23	1	-0/+4
\| \| \| \| \| \|	Null and 'sym are not legal as singleton types because the underlying values are not stable. They are rejected now outright instead of issuing a cryptic "X is not stable" error message.
*	Update neg test	Martin Odersky	2015-08-23	1	-1/+0
\| \| \| \|	It's decided that constant types and purity are independent.
*	Tests of functionality.	Martin Odersky	2015-08-23	1	-0/+6
	As the comment in pos/singletons.scala says, we currently test only constant propagation during typer. We should also have a test that literalize produces the literals in the right places.