aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1005 from dotty-staging/ycheck-erasure-arraysDmitry Petrashko2016-01-041-3/+1
|\ | | | | Ycheck that scala.Array is erazed to either Object or JavaArrayType.
| * Enable previously failing whitelist testMartin Odersky2015-12-211-3/+1
| |
* | Merge pull request #993 from dotty-staging/tasty-typer-testDmitry Petrashko2016-01-031-0/+7
|\ \ | | | | | | Add tests for dotc.typer pickling/unpickling
| * | Add tests for dotc.typer pickling/unpicklingVladimirNik2015-12-041-0/+7
| | |
* | | Fix #1009: Do not forget to skolemize some typesGuillaume Martres2015-12-241-0/+1
| | |
* | | Update test error countMartin Odersky2015-12-221-1/+1
| | | | | | | | | | | | | | | One error gest supporessed now because it has the same position as a previous one.
* | | Merge pull request #1001 from dotty-staging/change-distribute-orodersky2015-12-211-2/+1
|\ \ \ | | | | | | | | Change distribute or
| * | | Add test caseMartin Odersky2015-12-191-0/+1
| | | |
| * | | Revise alias rules in type comparisons.Martin Odersky2015-12-151-2/+0
| | |/ | |/| | | | | | | The fix solves two cases where we had a deep subtype before.
* | | Merge pull request #1007 from dotty-staging/fix/tests-ycheckDmitry Petrashko2015-12-211-1/+1
|\ \ \ | |/ / |/| | Fix typo in command run by Jenkins
| * | Fix typo in command run by JenkinsGuillaume Martres2015-12-211-1/+1
| | | | | | | | | | | | The effect of this typo was that Ycheck:tailrec was never run on Jenkins.
* | | Check types for overriding conditions.Martin Odersky2015-12-141-1/+1
| | | | | | | | | | | | Closes #241 -- that took a while!
* | | Add comments to whitelist with assignments for further action.Martin Odersky2015-12-141-6/+5
| | |
* | | Add new whitelists tests.Martin Odersky2015-12-141-3/+4
| | |
* | | Better diagnosis for cyclic references caused by class clashes.Martin Odersky2015-12-141-1/+2
| | | | | | | | | | | | | | | | | | | | | We now get a cyclic reference when inheriting from an inner class with the same name in an outer supertype. Since this was legal in Scala2 it's good to explain that particular case. Test case in overrideClass.scala
* | | Make some types of definitions symbolicMartin Odersky2015-12-141-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | This is needed to ensure that the type of a definition node (ValDef, TypeDef, or DefDef) always refers to the symbol of that definition. Caused a spurious error in selfReq to go away (so error count was updated).
* | | Do not report data races between symbols defined in class and its selftypeMartin Odersky2015-12-141-1/+1
| | | | | | | | | | | | | | | | | | | | | Analogous to the previous situation where we do not report a data race if the previous symbol comes from a superclass, we now do the same if the previous symbol comes from a given self type. Makes overrideDataRace.scala pass, and finally enables stdlib test with TraverableViewLike.scala added.
* | | Add whitelist entries which now workMartin Odersky2015-12-141-4/+7
| | | | | | | | | | | | After changes to variance checker and fixes to stdlib.
* | | Disregard BaseTypeArg parameters when variance checking.Martin Odersky2015-12-141-31/+7
| | | | | | | | | | | | Allows us to compile immutable.Set.
* | | Allow deep subtype for sets and related code in dotty/transform.Martin Odersky2015-12-131-2/+3
| | | | | | | | | | | | | | | The change in subtyping led to a deep subtype recursion for sets.scala. It seems legit, so the -Yno-deep-subtypes check is disabled.
* | | Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-0/+1
| | | | | | | | | | | | Also: various cleanups to comments.
* | | 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 00:31:09 +0000