aboutsummaryrefslogtreecommitdiff
path: root/test/dotc/tests.scala
Commit message (Collapse)AuthorAgeFilesLines
* Check that Iterator.scala compiles on jenkins.Dmitry Petrashko2015-11-101-3/+4
|
* Merge pull request #927 from dotty-staging/stdlib-boundsodersky2015-11-091-0/+1
|\ | | | | Drop checking that lower bound is a subtype of upper bound.
| * 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
| | | | | | | | needed to turn some errors into warnings.
* | Handle variance unsoundness in scalacMartin Odersky2015-11-051-0/+2
|/ | | | | | | | | | | | | | | | | The included test pos-special/variances-constr.scala demonstrates an unsoundness in the variance checking of scalac. Scalac excludes symbols owned by constructors from the checking. This is unsound, as can be demonstrated by compiling the test and observing output of the program run: Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String at Test$.main(variances-constr.scala:17) at Test.main(variances-constr.scala) Dotty allows this code only under -language:Scala2 and issues a migration warning.
* Merge pull request #900 from dotty-staging/fix-#871odersky2015-11-051-1/+5
|\ | | | | Deal gracefully with missing return types of abstract menthods.
| * Deal gracefully with missing return types of abstract menthods.Martin Odersky2015-11-011-1/+5
| | | | | | | | | | | | | | 1) Better error message: "missing return type" instead of `=' expected. 2) Allow them under language:Scala2 Fixes #871
* | Ouch... remove comment that broke compilation.Dmitry Petrashko2015-11-021-1/+0
| |
* | Allow empty lines in whitelist file.Dmitry Petrashko2015-11-021-0/+1
| |
* | Test compiling sodlibDmitry Petrashko2015-11-021-0/+10
| |
* | Merge pull request #860 from dotty-staging/change-allow-ex-in-hkDmitry Petrashko2015-11-021-2/+1
|\ \ | |/ |/| Change allow ex in hk
| * Represent references to Scala2 inner classes as WithFixedSym typesMartin Odersky2015-10-251-1/+1
| | | | | | | | | | | | | | Reason: An inner Scala2 class might be shadowed by a same-named class in a subtype. In Dotty this is disallowed butin Scala 2 it is possible. For instance, math.Numeric and math.Ordering both have an inner class "Ops". Normal TypeRef types could not select the shadowed class in Ordering is the prefix is of type Numeric.
| * Allow existential types in hk typesMartin Odersky2015-10-241-1/+0
| |
* | Merge pull request #886 from dotty-staging/fix-#884Guillaume Martres2015-10-301-2/+2
|\ \ | | | | | | Fix #884 - misdiagnosed ambiguous definition.
| * | Fix #884 - misdiagnosed ambiguous definition.Martin Odersky2015-10-291-2/+2
| |/ | | | | | | | | Universal equality strikes again. Caused a bug in isDefinedInCurrentUnit.
* / Don't count suppressed errorsMartin Odersky2015-10-261-2/+3
|/ | | | If an error message was supressed to count it in the total.
* Add well-formedness checking for created symbolsMartin Odersky2015-10-221-0/+3
| | | | Enforces various restrictions of definitions.
* Fix tests to survive wellformedness checksMartin Odersky2015-10-221-3/+3
|
* Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-201-1/+1
|\ | | | | Check that some types are not higher-kinded.
| * Check that some types are not higher-kinded.Martin Odersky2015-10-071-1/+1
| | | | | | | | Invalidates #813. Review by @darkdimius.
* | Always fully define the types of lifted expressionsGuillaume Martres2015-10-191-0/+1
|/ | | | Fixes #822
* Matching denotations should take infos into accountMartin Odersky2015-09-291-2/+1
| | | | | | | | Whenchecking whether two denotations match it is not enough to look at the signatures. The signatures might match (on the parameters) but the actual parametre types might be different. The change always tests infos after signatures, effectively turning the signature test into a pre-filter.
* add pos_companions to the suiteSarunas Valaskevicius2015-09-251-0/+1
|
* Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-181-0/+1
| | | | ...unless the HK type can be eta-reduced to a class type.
* Add a test that logs the classpath to pinpoint setup failures.Martin Odersky2015-09-181-0/+2
|
* Merge pull request #767 from dotty-staging/fix-#756-super-accessorsDmitry Petrashko2015-08-281-0/+1
|\ | | | | Fix #756 super accessors
| * Fix test when abstract override is needed.Martin Odersky2015-08-211-0/+1
| | | | | | | | | | There was a transcription error from scalac which caused the scope of a `!` to be wrong.
* | Make it a syntactic criterion whether a literal is a legal typeMartin Odersky2015-08-241-1/+1
| | | | | | | | | | Introduce a new non-terminal "SimpleLiteral". Only SimpleLiterals can be types.
* | Test other forms of singleton types.Martin Odersky2015-08-231-1/+1
| | | | | | | | | | Tested are now other numeric values, strings, booleans, which are all legal singleton types.
* | Tests of functionality.Martin Odersky2015-08-231-0/+1
|/ | | | | | 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.
* Revert "Disable -Ycheck:labelDefs"Martin Odersky2015-08-051-1/+1
| | | | This reverts commit c8afd79b4c7f145ba090a2d936d627c3ab35b1c2.
* Add LiftTry phaseMartin Odersky2015-08-051-1/+1
| | | | | Phase lifts tries that would be illegal because they execute on non-empty expression stacks.
* Disable -Ycheck:labelDefsMartin Odersky2015-08-041-1/+1
| | | | | Disable the check because if fails for desugar.scala and also in some dotty files. This test failed before the addition of NonLocalReturns.
* Merge pull request #735 from dotty-staging/ycheck-methodsodersky2015-08-041-1/+1
|\ | | | | Ycheck that methods defined in ClassInfo exist in tree.
| * Compile dotty.*, not only dotty.tools.Dmitry Petrashko2015-07-231-1/+1
| |
* | Merge pull request #724 from dotty-staging/labels-YcheckDmitry Petrashko2015-07-221-3/+8
|\ \ | | | | | | Enable Ycheck after labelDef. Fixes #701
| * | Disable Ycheck:all until #725 is fixed.Dmitry Petrashko2015-07-201-1/+1
| | |
| * | Enable -Ycheck:all in Jenkins.Dmitry Petrashko2015-07-201-3/+8
| | | | | | | | | | | | | | | Done by setting an environment variable and checking it in runtime. This enables Ycheck:all for all kinds of tests, including partest.
| * | Enable Ycheck after labelDef. Fixes #701Dmitry Petrashko2015-07-131-1/+1
| |/
* | Merge pull request #719 from dotty-staging/fix/doubledefsDmitry Petrashko2015-07-201-1/+1
|\ \ | | | | | | Avoid crashes on double definitions
| * | Added testMartin Odersky2015-07-101-1/+1
| | |
* | | Don't add lower bounds of abstract types to the implicit scopeGuillaume Martres2015-07-111-0/+1
| |/ |/| | | | | | | | | | | | | As the spec[1] says: "The parts of a type T are [...] if T is an abstract type, the parts of its upper bound;" [1]: http://www.scala-lang.org/files/archive/spec/2.11/07-implicits.html#implicit-parameters
* | Merge pull request #708 from dotty-staging/add/check-reentrantodersky2015-07-061-1/+1
|\ \ | | | | | | Check that dotty is reentrant
| * | Add -Ycheck-reentrant to dotty test.Martin Odersky2015-07-061-1/+1
| | |
* | | Check that a self type T is closed.Martin Odersky2015-07-061-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | What is checked: A self type T is a subtype of all selftypes of classes refernced by T. That is, a self type has to subsume all self types of its required type. Ot, otherwise said, requirements must be closed; you cannot discover new ones in following them.
* | | Error instead of crash when sigName comes up with a missing reference.Martin Odersky2015-07-061-0/+1
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A TypeRef can have be unresolved, either because it refers to something that's missing from the classpath or because of transitive self type references. Instead of crashing in sigName, we now report the error. Achieved by defining a new exception type, MissingType, which derives from TypeError. This catches t7933.scala, now integrated in the neg/selfreq.scala. The problem there was a reference to AbsSettings, which was not a member of StandardScalaSettings.this, but was a member of the required type of AbsSettings, which itself appeared in the required type of StandardScalaSettings. We will outlaw in the next commit such transitive required references. Also collapsed TypeError and FatalTypeError. It was a misnomer anyway. Fatal were those type errors that were caught and reported! Open: Where else we should check for unresolved NamedTypes.
* | Merge pull request #694 from dotty-staging/fix/dependent-methodsodersky2015-07-061-1/+1
|\ \ | |/ |/| Fix/dependent methods
| * Avoid follow-on errors after implicit argument errors.Martin Odersky2015-06-231-1/+1
| | | | | | | | Previously, we could die with a <notype> when an implicit argument was not found.
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-19 01:18:34 +0000