aboutsummaryrefslogtreecommitdiff
path: root/test/dotc/tests.scala
Commit message (Expand)AuthorAgeFilesLines
...
| * Add test case for #645Martin Odersky2016-02-121-0/+1
* | Survive class of errors in implicit searchMartin Odersky2016-02-121-0/+1
|/
* By-name parameters are not stable values.Martin Odersky2016-02-091-2/+2
* Big realizability refactoringMartin Odersky2016-02-091-6/+7
* Handle paths of length > 1 for realizability checkingMartin Odersky2016-02-091-1/+1
* Drop lines from testMartin Odersky2016-02-091-2/+2
* Check that non-abstract classes have realizable bounds.Martin Odersky2016-02-091-1/+1
* Handle imports in path checks.Martin Odersky2016-02-091-1/+1
* Fix path error disgnasticsMartin Odersky2016-02-091-1/+1
* Only final lazy vals can be paths.Martin Odersky2016-02-091-1/+2
* Enforce rule that laziness is preserved when overriding.Martin Odersky2016-02-091-2/+2
* Reorganize tests to account for new typing of projectionMartin Odersky2016-02-091-5/+6
* Also consider type aliases when checking for realizabilityMartin Odersky2016-02-091-0/+1
* Use isRealizable to identify stable prefixesMartin Odersky2016-02-091-1/+1
* Merge pull request #1063 from dotty-staging/fix-#803Dmitry Petrashko2016-02-081-0/+1
|\
| * Handle "missing args" case when expected type is a singleton type.Martin Odersky2016-02-051-0/+1
* | Surive non-existing sourceModule in Scala2 pickled info.Martin Odersky2016-02-051-0/+1
|/
* Check AppliedTypeTrees bounds inside AppliedTypeTreeGuillaume Martres2016-01-181-0/+1
* Avoid infinite subtyping checks when intersecting denotationsGuillaume Martres2016-01-181-1/+1
* Adapt and add testsMartin Odersky2016-01-181-3/+4
* Always eta-expand AppliedTypeTrees argumentsGuillaume Martres2016-01-161-1/+1
* Compute type params in namer without completing the whole infoMartin Odersky2016-01-161-0/+9
* Fix checkNonCyclic.Martin Odersky2016-01-161-0/+1
* Merge pull request #993 from dotty-staging/tasty-typer-testDmitry Petrashko2016-01-031-0/+7
|\
| * 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
* | Merge pull request #1001 from dotty-staging/change-distribute-orodersky2015-12-211-2/+1
|\ \
| * | Add test caseMartin Odersky2015-12-191-0/+1
| * | Revise alias rules in type comparisons.Martin Odersky2015-12-151-2/+0
* | | Merge pull request #1007 from dotty-staging/fix/tests-ycheckDmitry Petrashko2015-12-211-1/+1
|\ \ \ | |/ / |/| |
| * | Fix typo in command run by JenkinsGuillaume Martres2015-12-211-1/+1
| |/
* | Check types for overriding conditions.Martin Odersky2015-12-141-1/+1
* | Better diagnosis for cyclic references caused by class clashes.Martin Odersky2015-12-141-1/+2
* | Make some types of definitions symbolicMartin Odersky2015-12-141-1/+1
* | Allow deep subtype for sets and related code in dotty/transform.Martin Odersky2015-12-131-2/+3
* | Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-0/+1
* | Disallow existentially bound parameters as type parametersMartin Odersky2015-12-061-0/+1
|/
* 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
* New tests for tastyVladimirNik2015-11-201-0/+7
* Fixed != comparisonSimon Hafner2015-11-201-1/+1
* Flag trailing `_' following non-function as an errorMartin Odersky2015-11-161-0/+1
* Merge pull request #927 from dotty-staging/stdlib-boundsodersky2015-11-091-0/+1
|\
| * Check bounds of inferred typevars in PostTyper.Martin Odersky2015-11-051-0/+1
| * Drop neg testMartin Odersky2015-11-051-1/+0
* | Drop neg testMartin Odersky2015-11-051-1/+0
* | Turn on -language:Scala2 -migration when compiling stdlibMartin Odersky2015-11-051-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-12 21:03:03 +0000