aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Disallow existentially bound parameters as type parametersMartin Odersky2015-12-061-0/+1
| | | | | | | Done in order to keep the basics as simple as possible. Treating existentially bound parameters as still instantiatable type parameters does not seem to add anything fundamental, and makes the type system less regular.
* Merge pull request #979 from dotty-staging/fix/hk-deep-subtype-2odersky2015-12-061-3/+1
|\ | | | | TypeComparer: delay looking up members of AndTypes
| * TypeComparer: delay looking up members of AndTypesGuillaume Martres2015-11-301-3/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In ParFactory.scala we have checks that look like: (Foo { type Bar = X }) & (Foo { type Bar = X }) <:< (Foo { type Bar = X }) where `Foo` is a recursive type. Before this commit, we would first try to check this by looking up `Bar` in the `AndType` on the left, which means looking it up in both branches and then merging the result, but the merge requires more subtyping checks, which in turn require looking up a member inside an `AndType`, seemingly ad infinitum. We now avoid this by checking if either branch of the `AndType` on the left is a subtype of the `RefinedType` on the right before looking up a member in the `AndType` itself.
* | Merge pull request #988 from smarter/fix/compile-Seqodersky2015-12-051-2/+1
|\ \ | | | | | | Reduce the amount of typing in Namer, fixes compiling Seq
| * | Compile scala.collection.Seq without double-binding errorGuillaume Martres2015-12-011-2/+1
| |/ | | | | | | | | | | | | | | | | | | | | This commit fixes two issues which caused us to complete Seq too early and read it from the classpath instead of from the sources: - Evaluting RepeatedParamClass forced Seq, this is not necessary because the type of RepeatedParamClass is a LazyType - TypeErasure#sigName on a Scala type always forced Seq, even if the type is not a repeated param type. This fixes #980.
* | Indicate regex used for filtering out benchmarks.Dmitry Petrashko2015-12-021-1/+1
| |
* | Add tests for dotc.core pickling/unpicklingVladimirNik2015-12-021-0/+13
| |
* | Removed tasty_dotc_reporting test due to issue #986VladimirNik2015-12-011-1/+1
|/
* Add pickling/unpickling of stable modifierVladimirNik2015-11-271-0/+1
| | | | | Pickling/unpickling of STABLE modifier allows to fix problem with unpickling of path-dependent types (#982)
* Update whitelist with more files that compileGuillaume Martres2015-11-251-12/+15
| | | | | Thanks to the previous commit, more files now compile without deep subtyping errors.
* isSubtype: try to dealias TypeRefs before recursively checking the prefixesGuillaume Martres2015-11-251-6/+3
| | | | | | | As demonstrated by tests/pos/hk-deep-subtype.scala, we can avoid some deep subtype recursions that result in stack overflows by doing this. Fix #943.
* New tests for tastyVladimirNik2015-11-201-0/+7
|
* Fixed != comparisonSimon Hafner2015-11-201-1/+1
| | | | | | By linter: comparing values of types Char and String using `!=' will always yield true
* Add one more passing filt to whitelistMartin Odersky2015-11-171-1/+1
|
* Add test caseMartin Odersky2015-11-171-1/+1
|
* Merge pull request #950 from dotty-staging/fix-#916odersky2015-11-171-5/+4
|\ | | | | Adapt type parameters of typed eta expansion according to expected variances
| * Fix problems arising when hierarchies of classes are under completionMartin Odersky2015-11-171-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix problems arising when hierarchies of classes are under completion at the same time. In this case it can happen that we see a subclass (e.g. Arrays.scala) which depends on a superclass (e.g. GenTraversableLike.scala) that itself does not have its parents defined yet. Previously, several things went wrong here - One of the base classes would be marked as frozen, even though it dod not have all members entered yet. This led to an error in finger printing. - The baseclasses and super class bits of the subclass would be computed before the parents of the middle class were known. The baseclasses would then be chached, leading to false results for isDerivedFrom. We need to refine the logic for computing base classes, super class bits, and fingerprints to account for that issue.
| * Eta expand according to expected type parameter varianceMartin Odersky2015-11-171-4/+3
| | | | | | | | | | | | | | When eta expanding a type `C` to `[vX] => C[X]` the variance `v` is now the variance of the expected type, not the variance of the type constructor `C`, as long as the variance of the expected type is compatible with the variance of `C`.
* | scala-collections.whitelist: remove stray 'x' that broke the testGuillaume Martres2015-11-171-1/+1
| |
* | Add ArrayBuilder to whitelistMartin Odersky2015-11-171-1/+3
| |
* | Add file to scala-collections-whitelistMartin Odersky2015-11-171-1/+1
|/ | | | | This witnesses that #945 is fixed (by pushing a fix to the Scala file to dotty-library).
* Enable more parts of whitelistMartin Odersky2015-11-161-4/+4
|
* Flag trailing `_' following non-function as an errorMartin Odersky2015-11-161-0/+1
| | | | | | | | If `x` is not a function or method, then `x _` should be disallowed. scalac accepts this and converts it to () => x instead. I'd like to drop this because it's unnecessary and non-obvious. If -language:Scala2 is on, the behavior is like Scala 2's but a migration warning is issued.
* Remove leftover empty linesDmitry Petrashko2015-11-101-10/+0
|
* Change diagnosis of GenericTraversableTemplate.scala.Dmitry Petrashko2015-11-101-0/+1
|
* This cyclic ref is fixed.Dmitry Petrashko2015-11-101-6/+2
|
* Tailrec bug is fixed.Dmitry Petrashko2015-11-101-42/+14
|
* Revert "Check that Iterator.scala compiles on jenkins."Dmitry Petrashko2015-11-102-5/+4
| | | | This reverts commit 05e47a4ac03cad65932a5bbddf506b91e6604f38.
* Add more generic classes that compileDmitry Petrashko2015-11-101-0/+12
|
* More deep subtype failures.Dmitry Petrashko2015-11-101-0/+14
|
* Add more generic classes that compileDmitry Petrashko2015-11-101-0/+7
|
* Showcase #943Dmitry Petrashko2015-11-101-0/+5
|
* HasNewBuilder and HasNewCombiner compileDmitry Petrashko2015-11-101-0/+4
|
* GenericSeqCompanion compilesDmitry Petrashko2015-11-101-0/+2
|
* Another cyclic refDmitry Petrashko2015-11-101-0/+3
|
* One more cyclic refDmitry Petrashko2015-11-101-0/+4
|
* Start adding scala.collections.generic.*Dmitry Petrashko2015-11-101-0/+20
|
* TrieIterator uses early definitions.Dmitry Petrashko2015-11-101-0/+1
|
* Add TreeMap and TreeSet.Dmitry Petrashko2015-11-101-0/+3
|
* showcase #941Dmitry Petrashko2015-11-101-0/+4
|
* Showcase #942Dmitry Petrashko2015-11-101-0/+4
|
* Add more collections that compileDmitry Petrashko2015-11-101-0/+14
|
* Showcase #940Dmitry Petrashko2015-11-101-0/+2
|
* Add Map and MapLikeDmitry Petrashko2015-11-101-0/+3
|
* Showcase #939Dmitry Petrashko2015-11-101-0/+3
|
* Try to add ListMap and ListSetDmitry Petrashko2015-11-101-0/+7
|
* Showcase #939Dmitry Petrashko2015-11-101-0/+3
|
* Start adding more immutable collections.Dmitry Petrashko2015-11-101-0/+8
|
* Add more classes that compileDmitry Petrashko2015-11-101-0/+21
|
* One more cyclic reference.Dmitry Petrashko2015-11-101-0/+3
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 09:29:20 +0000