aboutsummaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
...
* One more manifestation of #916Dmitry Petrashko2015-11-101-0/+5
|
* Showcase #938Dmitry Petrashko2015-11-101-0/+2
|
* One more cyclic reference.Dmitry Petrashko2015-11-101-0/+7
|
* Add more collections that compileDmitry Petrashko2015-11-101-2/+25
|
* Showcase #937Dmitry Petrashko2015-11-101-3/+13
|
* Disable compilation of GenSeq and GenSeqLike.Dmitry Petrashko2015-11-101-0/+4
|
* Showcase #935Dmitry Petrashko2015-11-101-1/+0
|
* Add more collections to whitelist.Dmitry Petrashko2015-11-101-0/+9
|
* Check that Iterator.scala compiles on jenkins.Dmitry Petrashko2015-11-102-4/+5
|
* Avoid cyclic reference errors when unpickling classesMartin Odersky2015-11-091-1/+6
| | | | | | | Set info early in order to avoid cyclic reference errors. Errors were observed when compiling scala/Predef.scala scala/package.scala scala/collection/GenSeqLike.scala
* Generalize MultiArrayOf to arrays of wildcardsMartin Odersky2015-11-091-31/+15
| | | | | Needed for both ClassTags and instance of checks. This makes scala/Array.scala compile.
* Avoid taking references before toplevel symbols are entered.Martin Odersky2015-11-091-25/+23
| | | | | | | | Taking a reference means that the symbol will be brought forward into the current run, then if the same symbol is entered from source, a datarace ensues. This affected the ProductN symbols because these are automatically added to a case class suring desugaring.
* Enable compilation of primitive types.Martin Odersky2015-11-091-12/+10
|
* Merge pull request #927 from dotty-staging/stdlib-boundsodersky2015-11-092-2/+2
|\ | | | | 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 test that lower bound must be a subtype of upper bound.Martin Odersky2015-11-051-2/+1
| | | | | | | | | | | | As discussed in #780 and #525, the test is not needed. This makes t1279a compile, which got moved now to pos. Fixes #780 and #915. It also makes scala.List compile. Review by @smarter.
* | 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.
* | Allows Iterator.scala to compile by itself.Martin Odersky2015-11-051-3/+1
| | | | | | | | Fixes #913.
* | 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
* | Enable <:< implicits as conversions.Martin Odersky2015-11-031-1/+1
| | | | | | | | | | | | | | | | These were disabled before, which means that having evidence of S <:< T did not introduce a usable implicit conversion from S to T. We do do it like scalac: just disable Predef.$conforms. This makes TraversableOnce compile. Fixes #914.
* | Enable compilation of Option.scalaMartin Odersky2015-11-021-1/+1
| |
* | Ouch... remove comment that broke compilation.Dmitry Petrashko2015-11-021-1/+0
| |
* | Allow empty lines in whitelist file.Dmitry Petrashko2015-11-021-0/+1
| |
* | Showcase #916Dmitry Petrashko2015-11-021-3/+7
| |
* | Showcase #915Dmitry Petrashko2015-11-021-1/+3
| |
* | Showcase #914Dmitry Petrashko2015-11-021-1/+3
| |
* | Showcase #913Dmitry Petrashko2015-11-021-1/+4
| |
* | Showcase #912Dmitry Petrashko2015-11-021-3/+6
| |
* | Showcase #911Dmitry Petrashko2015-11-021-1/+4
| |
* | Showcase #907Dmitry Petrashko2015-11-021-0/+4
| |
* | Showcase #910Dmitry Petrashko2015-11-021-4/+12
| |
* | Showcase #909Dmitry Petrashko2015-11-021-15/+30
| |
* | Compiling products forces Data races.Dmitry Petrashko2015-11-021-23/+23
| |
* | Test compiling sodlibDmitry Petrashko2015-11-022-0/+127
| |
* | 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 #896 from dotty-staging/gitignoreodersky2015-10-311-0/+2
|\ \ | | | | | | Fix #895: Maintain keep file during bootstrap
| * | Fix #895: Maintain keep file during bootstrapDmitry Petrashko2015-10-311-0/+2
| |/
* | 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.
* Indicate that dotty is being built.Dmitry Petrashko2015-10-231-0/+1
|
* 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
|
* Quick&dirty bootstrapDmitry Petrashko2015-10-221-0/+28
| | | | dot script now has -bootstrapped option that will use dotty-compiled-by-dotty.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 00:04:47 +0000