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

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| * \| \|	Postpone tree compaction till all phases finish operating TASTY.	Dmitry Petrashko	2015-12-20	2	-4/+10
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Linker adds new sections. Wait for sections to be added and then compact.
\| * \| \|	Maintain original completer in SymDenotation.	Dmitry Petrashko	2015-12-20	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Needed to be able to access additional sections of TASTY.
\| * \| \|	Linker specific: TreePicker: export functions for reuse	Dmitry Petrashko	2015-12-20	1	-272/+271
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Linker needs to save some trees. Instead of reimplementing I would rather reuse already existing methods.
\| * \| \|	Allow unpickler to be accessible after FromTasty	Dmitry Petrashko	2015-12-20	2	-1/+4
\| \| \| \|
\| * \| \|	Have only one tree pickler per TASTY pickler.	Dmitry Petrashko	2015-12-20	2	-1/+3
\| \| \| \|
\| * \| \|	Fix reading of Longs from tasty. Fixes wrong UUID.	Dmitry Petrashko	2015-12-20	1	-1/+1
\| \| \| \|
\| * \| \|	Linker Specific: allow phases to get to TASTY section.	Dmitry Petrashko	2015-12-20	2	-16/+25
\| \| \|/ \| \|/\| \| \| \| \| \| \| \| \| \| \| \| \|	Makes all classes and fields on the way to TASTY section accessible. Example of usage can be found here: https://gist.github.com/DarkDimius/0f9dc769b0dd7a3c7365
* \| \|	Merge pull request #1005 from dotty-staging/ycheck-erasure-arrays	Dmitry Petrashko	2016-01-04	5	-5/+38
\|\ \ \ \| \| \| \| \| \| \| \|	Ycheck that scala.Array is erazed to either Object or JavaArrayType.
\| * \| \|	Enable previously failing whitelist test	Martin Odersky	2015-12-21	1	-3/+1
\| \| \| \|
\| * \| \|	Refine interdiction of Array after erasure	Martin Odersky	2015-12-21	1	-1/+5
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Array is still allowed after erasure when compiling Array.scala.
\| * \| \|	Merge branch 'ycheck-erasure-arrays' of ↵	Martin Odersky	2015-12-21	0	-0/+0
\| \|\ \ \ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	https://github.com/dotty-staging/dotty into ycheck-erasure-arrays
\| \| * \| \|	Fix assertion in erasure to correctly print name of the phase.	Dmitry Petrashko	2015-12-20	1	-1/+1
\| \| \| \| \|
\| * \| \| \|	Fix erasure of raw arrays	Dmitry Petrashko	2015-12-21	3	-1/+17
\| \|/ / /
\| * \| \|	TypeErasure.isErasedType: scala.Array is invalid after Erasure.	Dmitry Petrashko	2015-12-20	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	It should either be erased to j.l.Object or replaced by JavaArrayType.
\| * \| \|	Minimize #996	Dmitry Petrashko	2015-12-20	1	-0/+15
\| \|/ /
* \| \|	Merge pull request #993 from dotty-staging/tasty-typer-test	Dmitry Petrashko	2016-01-03	1	-0/+7
\|\ \ \ \| \| \| \| \| \| \| \|	Add tests for dotc.typer pickling/unpickling
\| * \| \|	Add tests for dotc.typer pickling/unpickling	VladimirNik	2015-12-04	1	-0/+7
\| \| \| \|
* \| \| \|	Merge pull request #1010 from dotty-staging/fix/new-asSeenFrom	odersky	2016-01-03	3	-1/+15
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|	Fix #1009: Do not forget to skolemize some types
\| * \| \|	Fix #1009: Do not forget to skolemize some types	Guillaume Martres	2015-12-24	3	-1/+15
\| \| \| \|
* \| \| \|	Merge pull request #1006 from dotty-staging/more-tests	Guillaume Martres	2015-12-26	269	-306/+115
\|\ \ \ \ \| \|/ / / \|/\| \| \|	More tests
\| * \| \|	The big pending/pos test triage	Martin Odersky	2015-12-20	196	-670/+57
\| \| \| \|
\| * \| \|	Fix problem dealing with symbolic import renames	Martin Odersky	2015-12-20	2	-1/+10
\| \| \| \|
\| * \| \|	Make isBottomType work for derives types as well.	Martin Odersky	2015-12-20	1	-4/+1
\| \| \| \|
\| * \| \|	Fix hk comparison between class and range lambda	Martin Odersky	2015-12-20	3	-4/+25
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	In a situation like List <: [X] -> <: GenTraversable[X] We have to ask whether the rhs contains the instantiated lhs, not whether it is a supertype.
\| * \| \|	Don't do eta expansion on bottom types	Martin Odersky	2015-12-20	2	-11/+11
\| \| \| \|
\| * \| \|	Fix eta expansion	Martin Odersky	2015-12-19	1	-1/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	revios fix crashed for nullary functions
\| * \| \|	Turn println into log	Martin Odersky	2015-12-19	1	-1/+1
\| \| \| \|
\| * \| \|	Don't flag override errors for synthetic companion objects.	Martin Odersky	2015-12-19	2	-2/+32
\| \| \| \|
\| * \| \|	Add position to implicit defs generated from implicit classes.	Martin Odersky	2015-12-19	1	-1/+2
\| \| \| \|
\| * \| \|	Fix parsing of blocks that end in an import	Martin Odersky	2015-12-19	3	-2/+38
\| \| \| \|
\| * \| \|	Fix desugaring of symbols.	Martin Odersky	2015-12-19	2	-1/+519
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Symbols can appear in patterns, so inserting an `apply` is wrong.
\| * \| \|	Fix eta lifting for functions with vararg parameters.	Martin Odersky	2015-12-19	3	-6/+12
\| \| \| \|
\| * \| \|	Categorize more tests	Martin Odersky	2015-12-19	62	-199/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	All pos tests up to 3999 have been triaged. One new test in pending.
* \| \| \|	Merge pull request #1008 from dotty-staging/fix-sym-positions	Guillaume Martres	2015-12-23	4	-9/+4
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	Fix off by 2 error for symbol positions
\| * \| \| \|	Update test error count	Martin Odersky	2015-12-22	2	-3/+3
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	One error gest supporessed now because it has the same position as a previous one.
\| * \| \| \|	Fix off by 2 error for symbol positions	Martin Odersky	2015-12-22	2	-6/+1
\|/ / / /
* \| \| \|	Merge pull request #999 from dotty-staging/change-idempotent-asSeenFrom	odersky	2015-12-21	7	-35/+100
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	Change idempotent as seen from
\| * \| \| \|	Remove extraneous println	Martin Odersky	2015-12-21	1	-1/+1
\| \| \| \| \|
\| * \| \| \|	Make asSeenFrom idempotent	Martin Odersky	2015-12-21	7	-35/+100
\|/ / / / \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Let asSeenFrom generate a marker annotated type for any unsafe instantiation. Then cleanup in typedSelect.
* \| \| \|	Merge pull request #1001 from dotty-staging/change-distribute-or	odersky	2015-12-21	12	-90/+215
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	Change distribute or
\| * \| \| \|	Add precondition to doc comment.	Martin Odersky	2015-12-21	1	-0/+1
\| \| \| \| \|
\| * \| \| \|	Polishing	Martin Odersky	2015-12-21	1	-1/+1
\| \| \| \| \|
\| * \| \| \|	Change name of setting: -YshowVarBounds -> -Yshow-var-bounds	Martin Odersky	2015-12-21	1	-1/+1
\| \|/ / /
\| * \| \|	Add test case	Martin Odersky	2015-12-19	2	-0/+41
\| \| \| \|
\| * \| \|	Refactoring of derivedSelect	Martin Odersky	2015-12-18	1	-17/+17
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	If splitProjections is set, it is more efficient that way.
\| * \| \|	Fix higher-kinded unions and intersections	Martin Odersky	2015-12-18	3	-35/+83
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Since And/Or type themselves are parameterless, their the union and intersection of hgiher-kinded types has to be treated specially: The types have to be pulled under a common lambda.
\| * \| \|	Fix layout	Martin Odersky	2015-12-15	1	-17/+17
\| \| \| \|
\| * \| \|	Optionally rewrite projections.	Martin Odersky	2015-12-15	2	-2/+41
\| \| \| \|
\| * \| \|	Revise alias rules in type comparisons.	Martin Odersky	2015-12-15	4	-42/+36
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The fix solves two cases where we had a deep subtype before.
\| * \| \|	Dont push `\|' inside refined types.	Martin Odersky	2015-12-15	1	-11/+8
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	As the comment explains, this is not sound.