aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Removing pickle tests because directory doesn't exist anymore.vsalvis2015-05-122-5/+6
|
* More robust partest/test switching for concurrent sbt instancesvsalvis2015-05-124-58/+56
|
* Better documentation for partest dottyJar optionvsalvis2015-05-123-5/+17
|
* Run tests for partestvsalvis2015-05-129-41/+156
|
* Merge pull request #556 from AlexSikia/fix/unset-tree-posDmitry Petrashko2015-05-111-1/+1
|\ | | | | Fix unset tree position
| * Fix unset tree positionAlexSikia2015-05-111-1/+1
|/ | | | Debugs some cases where `tree.pos` wasn't initialised properly.
* Merge pull request #555 from dotty-staging/fix/reenable-testsDmitry Petrashko2015-05-112-6/+4
|\ | | | | Re-enable tests
| * Re-enable testsMartin Odersky2015-05-112-6/+4
|/ | | | | Most tests were still commented out in last merge. Also, an outdated comment in TreeTypeMap was removed.
* Merge pull request #519 from smarter/fix/isSourceMethodDmitry Petrashko2015-05-096-12/+18
|\ | | | | Fix isSourceMethod
| * Companion methods are not real methodsGuillaume Martres2015-05-092-3/+5
| |
| * rename isSourceMethod to isRealMethod, the previous name was inaccurateGuillaume Martres2015-05-096-9/+13
|/
* Merge pull request #550 from dotty-staging/lazy-vals-fixesodersky2015-05-094-23/+37
|\ | | | | Various fixes to LazyVals.
| * Add a postcondition to constructors.Dmitry Petrashko2015-05-081-0/+11
| |
| * Workaround #548.Dmitry Petrashko2015-05-081-1/+4
| |
| * LazyVals: inject Offset definitions in Template.Dmitry Petrashko2015-05-081-13/+13
| | | | | | | | Otherwise Constructors is not able to see them and they get lost.
| * LazyVals: fix initialisers of local lazy vals to be called.Dmitry Petrashko2015-05-081-4/+4
| |
| * Fix printing of Constant(Claz), ie getClass[Claz]Dmitry Petrashko2015-05-081-5/+5
| | | | | | | | Previous scheme did not work after erasure.
* | Merge pull request #535 from dotty-staging/Build-scalaDmitry Petrashko2015-05-093-27/+28
|\ \ | | | | | | dotc: Get versions of all dependencies from Build.scala
| * | dotc: Get versions of all dependencies from Build.scalaDmitry Petrashko2015-05-041-13/+21
| | |
| * | Get rid of build.sbt.Dmitry Petrashko2015-05-042-14/+7
| | |
* | | Merge pull request #551 from dotty-staging/fix/#547-overloaded-varargsDmitry Petrashko2015-05-092-2/+10
|\ \ \ | | | | | | | | Fix #547: Vararg overload
| * | | Fix #547: Vararg overloadMartin Odersky2015-05-082-2/+10
| | | | | | | | | | | | | | | | | | | | When comparing to types in isAsSpecific, onvert repeated parameters to their underlying type only if both types are vararg methods. This mimics scalac behavior.
* | | | Merge pull request #543 from dotty-staging/compile-dottyodersky2015-05-0913-53/+113
|\ \ \ \ | |_|_|/ |/| | | Make dotty compile backend.
| * | | Reload denotations that are not defined at current phaseMartin Odersky2015-05-083-10/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Up to now a NotDefinedHere exception was thrown if a denotation was not defined at the current phase, but was defined elsewhere in the current run. However, if the denotation is a SingleDenotation or MultiDenotation it is possible that the particular Single- or Multi-Denotation was not computed at the current phase, but the underlying SymDenotation is valid. With the changes in this commit, we reaload the denotation as a second try.
| * | | Update scala-compiler fork.Dmitry Petrashko2015-05-081-1/+1
| | | | | | | | | | | | | | | | Includes fixes to lambas, and no type projections in signatures.
| * | | PatternMatcher: fix bug with undefined variable inside huge patterns.Dmitry Petrashko2015-05-081-3/+3
| | | |
| * | | Remove NonExistentTree.Dmitry Petrashko2015-05-081-3/+2
| | | |
| * | | Workaround dotty deviation in for loop patterns.Dmitry Petrashko2015-05-081-5/+10
| | | |
| * | | Do not try to compile dotty runtime yet. Problems with DottyPredef.Dmitry Petrashko2015-05-081-1/+1
| | | |
| * | | Address some of dotty deviations in backend.Dmitry Petrashko2015-05-082-2/+2
| | | | | | | | | | | | | | | | Implicit vals need explicit type, anonymous classes are widened.
| * | | Data race in typer: seems due to presence of DottyPredef both on class path ↵Dmitry Petrashko2015-05-081-3/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | and in compiled source. [error] Test dotc.tests.dotty failed: java.lang.AssertionError: assertion failed: data race? overwriting symbol of dotty.DottyPredef$ / TypeRef(ThisType(TypeRef(NoPrefix,dotty)),DottyPredef$) / class dotty.tools.dotc.core.Types$CachedTypeRef / 9007 / 9748, took 1.276 sec [error] at scala.Predef$.assert(Predef.scala:165) [error] at dotty.tools.dotc.core.Types$NamedType.checkSymAssign(Types.scala:1263) [error] at dotty.tools.dotc.core.Types$NamedType.setDenot(Types.scala:1293) [error] at dotty.tools.dotc.core.Types$NamedType.withDenot(Types.scala:1286) [error] at dotty.tools.dotc.core.Types$TypeRef$.apply(Types.scala:1669) [error] at dotty.tools.dotc.core.Types$Type.select(Types.scala:819) [error] at dotty.tools.dotc.typer.Namer.moduleValSig(Namer.scala:602) [error] at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:465) [error] at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:499) [error] at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:495) [error] at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:161) [error] at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:143) [error] at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:253) [error] at dotty.tools.dotc.core.SymDenotations$SymDenotation.flags(SymDenotations.scala:97) [error] at dotty.tools.dotc.core.SymDenotations$SymDenotation.is(SymDenotations.scala:119) [error] at dotty.tools.dotc.core.SymDenotations$SymDenotation.isStable(SymDenotations.scala:464) [error] at dotty.tools.dotc.core.Types$Type.widenIfUnstable(Types.scala:691) [error] at dotty.tools.dotc.core.Types$Type$$anonfun$member$1.apply(Types.scala:394) [error] at dotty.tools.dotc.core.Types$Type$$anonfun$member$1.apply(Types.scala:394) [error] at dotty.tools.dotc.util.Stats$.track(Stats.scala:35) [error] at dotty.tools.dotc.core.Types$Type.member(Types.scala:393) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typedIdent$1.wildImportRef$1(Typer.scala:192) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typedIdent$1.findRef$1(Typer.scala:240) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typedIdent$1.apply(Typer.scala:263) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typedIdent$1.apply(Typer.scala:79) [error] at dotty.tools.dotc.util.Stats$.track(Stats.scala:35) [error] at dotty.tools.dotc.typer.Typer.typedIdent(Typer.scala:79) [error] at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1017) [error] at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1076) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1088) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1086) [error] at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:147) [error] at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:51) [error] at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1086) [error] at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1125) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:961) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:960) [error] at dotty.tools.dotc.util.Stats$.track(Stats.scala:35) [error] at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:960) [error] at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1066) [error] at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1078) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1088) [error] at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1086) [error] at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:147) [error] at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:51) [error] at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1086) [error] at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1125) [error] at dotty.tools.dotc.typer.FrontEnd$$anonfun$typeCheck$1.apply$mcV$sp(FrontEnd.scala:41) [error] at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:18) [error] at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:39) [error] at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:52) [error] at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:52) [error] at scala.collection.immutable.List.foreach(List.scala:381) [error] at dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:52) [error] at dotty.tools.dotc.Run$$anonfun$compileSources$1$$anonfun$apply$mcV$sp$3.apply(Run.scala:55) [error] at dotty.tools.dotc.Run$$anonfun$compileSources$1$$anonfun$apply$mcV$sp$3.apply(Run.scala:52) [error] at scala.collection.IndexedSeqOptimized$class.foreach(IndexedSeqOptimized.scala:33) [error] at scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:186) [error] at dotty.tools.dotc.Run$$anonfun$compileSources$1.apply$mcV$sp(Run.scala:52) [error] at dotty.tools.dotc.Run$$anonfun$compileSources$1.apply(Run.scala:47) [error] at dotty.tools.dotc.Run$$anonfun$compileSources$1.apply(Run.scala:47) [error] at dotty.tools.dotc.util.Stats$.monitorHeartBeat(Stats.scala:68) [error] at dotty.tools.dotc.Run.compileSources(Run.scala:46) [error] at dotty.tools.dotc.Run.compile(Run.scala:33) [error] at dotty.tools.dotc.Driver.doCompile(Driver.scala:20) [error] at dotty.tools.dotc.Bench$.dotty$tools$dotc$Bench$$super$doCompile(Bench.scala:38) [error] at dotty.tools.dotc.Bench$$anonfun$doCompile$1.apply(Bench.scala:38) [error] at dotty.tools.dotc.Bench$$anonfun$doCompile$1.apply(Bench.scala:36) [error] at dotty.tools.dotc.Bench$$anonfun$ntimes$1.apply(Bench.scala:30) [error] at dotty.tools.dotc.Bench$$anonfun$ntimes$1.apply(Bench.scala:30) [error] at scala.collection.TraversableOnce$$anonfun$foldLeft$1.apply(TraversableOnce.scala:142) [error] at scala.collection.TraversableOnce$$anonfun$foldLeft$1.apply(TraversableOnce.scala:142) [error] at scala.collection.immutable.Range.foreach(Range.scala:166) [error] at scala.collection.TraversableOnce$class.foldLeft(TraversableOnce.scala:142) [error] at scala.collection.AbstractTraversable.foldLeft(Traversable.scala:104) [error] at scala.collection.TraversableOnce$class.$div$colon(TraversableOnce.scala:136) [error] at scala.collection.AbstractTraversable.$div$colon(Traversable.scala:104) [error] at dotty.tools.dotc.Bench$.ntimes(Bench.scala:30) [error] at dotty.tools.dotc.Bench$.doCompile(Bench.scala:36) [error] at dotty.tools.dotc.Driver.process(Driver.scala:31) [error] at dotty.tools.dotc.Bench$.dotty$tools$dotc$Bench$$super$process(Bench.scala:53) [error] at dotty.tools.dotc.Bench$$anonfun$process$1.apply(Bench.scala:53) [error] at dotty.tools.dotc.Bench$$anonfun$process$1.apply(Bench.scala:53) [error] at dotty.tools.dotc.Bench$$anonfun$ntimes$1.apply(Bench.scala:30) [error] at dotty.tools.dotc.Bench$$anonfun$ntimes$1.apply(Bench.scala:30) [error] at scala.collection.TraversableOnce$$anonfun$foldLeft$1.apply(TraversableOnce.scala:142) [error] at scala.collection.TraversableOnce$$anonfun$foldLeft$1.apply(TraversableOnce.scala:142) [error] at scala.collection.immutable.Range.foreach(Range.scala:166) [error] at scala.collection.TraversableOnce$class.foldLeft(TraversableOnce.scala:142) [error] at scala.collection.AbstractTraversable.foldLeft(Traversable.scala:104) [error] at scala.collection.TraversableOnce$class.$div$colon(TraversableOnce.scala:136) [error] at scala.collection.AbstractTraversable.$div$colon(Traversable.scala:104) [error] at dotty.tools.dotc.Bench$.ntimes(Bench.scala:30) [error] at dotty.tools.dotc.Bench$.process(Bench.scala:53) [error] at test.CompilerTest.compileArgs(CompilerTest.scala:159) [error] at test.CompilerTest.compileDir(CompilerTest.scala:104) [error] at dotc.tests.dotty(tests.scala:141)
| * | | Compile Dotty including runtime and utils.Dmitry Petrashko2015-05-081-6/+6
| | | |
| * | | Do not use deprecated procedure syntax in GenBCode.Dmitry Petrashko2015-05-082-16/+21
| | | |
| * | | Remove debug printlnMartin Odersky2015-05-081-1/+0
| | | |
| * | | Drop the requirement that extractors with `get` must implement ProductMartin Odersky2015-05-082-3/+39
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | We used to require that the result type of an extractor `get` is a product, or else the type of the `get` itself would be taken as the result type of the unapply. This is now relaxed so that we automatically select with _1, _2, ... as soon as there are multiple argument patterns, and (1) the result type is not a Seq, (2) the number of consecutive product conselectors matches the number of arguments.
| * | | Make isTerm/isType not force the denotation of a symbols defined in this run.Dmitry Petrashko2015-05-081-2/+6
| | | | | | | | | | | | | | | | See discussion in #544
| * | | Rename localClasses -> definedClassesMartin Odersky2015-05-071-3/+3
| | | |
| * | | Make isTerm/isType not force the denotation of a symbol to be up-to-date.Martin Odersky2015-05-071-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | Symbols never change betwene terms and types. So we do not need to the current denotation to decide what they are. Less forcing -> less potential for cyclic references.
| * | | Fix #536 - only load member classes of classes that are currently compiled.Martin Odersky2015-05-073-2/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | It seems wasteful to load the member classes even of classes that are not currently compiled. It also makes us vulnerable to any misinterpretation of Java file formats. In th particular case of #536, we parsed a class an anonymous Collection$1 which was referring to the type parameter of its enclosing class, but was not diagnosed as an inner class of the enclosing class.
* | | | Merge pull request #542 from dotty-staging/fix/#540-unbounded-generic-arrayDmitry Petrashko2015-05-082-4/+11
|\ \ \ \ | |_|/ / |/| | | Fix #540 - unbounded array test for wildcard array arguments
| * | | Fixed foc of isUnboudnedGenericArrayMartin Odersky2015-05-081-3/+3
| | | |
| * | | Remove debug printlnMartin Odersky2015-05-061-1/+0
| | | |
| * | | Fix #540 - unbounded array test for wildcard array argumentsMartin Odersky2015-05-062-1/+9
| | | | | | | | | | | | | | | | | | | | | | | | Arrays with wildcard arguments such as Array[_ <: Foo] where Foo is a universal trait are now diagnosed as unbounded generic arrays and are erased to Object.
* | | | Merge pull request #541 from dotty-staging/fix/#537-extractorsDmitry Petrashko2015-05-062-3/+38
|\ \ \ \ | |_|/ / |/| | | Drop the requirement that extractors with `get` must implement Product
| * | | Remove debug printlnMartin Odersky2015-05-051-1/+0
| | | |
| * | | Drop the requirement that extractors with `get` must implement ProductMartin Odersky2015-05-052-3/+39
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | We used to require that the result type of an extractor `get` is a product, or else the type of the `get` itself would be taken as the result type of the unapply. This is now relaxed so that we automatically select with _1, _2, ... as soon as there are multiple argument patterns, and (1) the result type is not a Seq, (2) the number of consecutive product conselectors matches the number of arguments.
* | | Merge pull request #539 from dotty-staging/fix/bootstrap-predefDmitry Petrashko2015-05-053-10/+12
|\ \ \ | |/ / |/| | Allow to compile root import classes without special option.
| * | Allow to compile root import classes without special option.Martin Odersky2015-05-053-10/+12
|/ / | | | | | | | | Can now compile Predef/DottyPredef without -Yno-import option. Achieved by making some parts of imports more lazy.
* | Merge pull request #534 from dotty-staging/fix/computeDenotodersky2015-05-054-24/+40
|\ \ | |/ |/| Fix #518 - compute denotations
| * Rename isWeakRef -> isTightPrefixMartin Odersky2015-05-051-7/+9
| | | | | | | | | | isWeakRef was confusing because this has nothing to do with weak pointers.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 16:18:48 +0000