mima and Scala 2.12.0-M4

[xuwei-k]

• scalaz/scalaz@v7.1.7...xuwei-k:mima-and-scala-2.12.0-M4
• https://travis-ci.org/xuwei-k/scalaz/builds/121896337

I just added a method to final case class Kleisli.

def tap(implicit F: Applicative[M]): Kleisli[M, A, A] =
  Kleisli(a => F.apply2(run(a), F.point(a))((_, b) => b))

But mima reports following binary incompatibility issues (only 2.12.0-M4, not 2.11.x, 2.10.x)

https://travis-ci.org/xuwei-k/scalaz/jobs/121896341#L767

[error]  * synthetic method scalaz$KleisliMonadReader$$$anonfun$35(java.lang.Object)java.lang.Object in interface scalaz.KleisliMonadReader is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliMonadReader.scalaz$KleisliMonadReader$$$anonfun$35")
[error]  * synthetic method scalaz$KleisliSemigroup$$$anonfun$56(scalaz.Kleisli,scala.Function0,java.lang.Object)java.lang.Object in interface scalaz.KleisliSemigroup is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliSemigroup.scalaz$KleisliSemigroup$$$anonfun$56")
[error]  * synthetic method scalaz$KleisliCatchable$$$anonfun$63(java.lang.Throwable,java.lang.Object)java.lang.Object in interface scalaz.KleisliCatchable is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliCatchable.scalaz$KleisliCatchable$$$anonfun$63")
[error]  * synthetic method scalaz$KleisliCatchable$$$anonfun$62(scalaz.Kleisli,java.lang.Object)java.lang.Object in interface scalaz.KleisliCatchable is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliCatchable.scalaz$KleisliCatchable$$$anonfun$62")
[error]  * synthetic method scalaz$KleisliApplicative$$$anonfun$34(scala.Function0,java.lang.Object)java.lang.Object in interface scalaz.KleisliApplicative is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliApplicative.scalaz$KleisliApplicative$$$anonfun$34")
[error]  * synthetic method scalaz$KleisliMonadError$$$anonfun$39(scalaz.Kleisli,scala.Function1,java.lang.Object)java.lang.Object in interface scalaz.KleisliMonadError is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliMonadError.scalaz$KleisliMonadError$$$anonfun$39")
[error]  * synthetic method scalaz$KleisliMonadError$$$anonfun$41(java.lang.Object,java.lang.Object)java.lang.Object in interface scalaz.KleisliMonadError is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliMonadError.scalaz$KleisliMonadError$$$anonfun$41")
[error]  * synthetic method scalaz$KleisliDistributive$$$anonfun$32(java.lang.Object,scala.Function1,scalaz.Functor,java.lang.Object)java.lang.Object in interface scalaz.KleisliDistributive is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliDistributive.scalaz$KleisliDistributive$$$anonfun$32")
[error]  * synthetic method scalaz$KleisliPlus$$$anonfun$59(scalaz.Kleisli,scala.Function0,java.lang.Object)java.lang.Object in interface scalaz.KleisliPlus is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliPlus.scalaz$KleisliPlus$$$anonfun$59")
[error]  * synthetic method scalaz$KleisliPlusEmpty$$$anonfun$61(java.lang.Object)java.lang.Object in interface scalaz.KleisliPlusEmpty is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliPlusEmpty.scalaz$KleisliPlusEmpty$$$anonfun$61")
[error]  * synthetic method scalaz$KleisliApply$$$anonfun$29(scala.Function0,scala.Function0,java.lang.Object)java.lang.Object in interface scalaz.KleisliApply is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliApply.scalaz$KleisliApply$$$anonfun$29")
[error]  * synthetic method scalaz$KleisliProChoice$$$anonfun$42(scalaz.Kleisli,scalaz.\/)java.lang.Object in interface scalaz.KleisliProChoice is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliProChoice.scalaz$KleisliProChoice$$$anonfun$42")
[error]  * synthetic method scalaz$KleisliProChoice$$$anonfun$44(scalaz.Kleisli,scalaz.\/)java.lang.Object in interface scalaz.KleisliProChoice is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliProChoice.scalaz$KleisliProChoice$$$anonfun$44")
[error]  * synthetic method scalaz$KleisliArrow$$$anonfun$46(java.lang.Object)java.lang.Object in interface scalaz.KleisliArrow is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliArrow.scalaz$KleisliArrow$$$anonfun$46")
[error]  * synthetic method scalaz$KleisliArrow$$$anonfun$54(scalaz.Kleisli,java.lang.Object,java.lang.Object)java.lang.Object in interface scalaz.KleisliArrow is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliArrow.scalaz$KleisliArrow$$$anonfun$54")
[error]  * synthetic method scalaz$KleisliArrow$$$anonfun$48(scala.Function1,java.lang.Object)java.lang.Object in interface scalaz.KleisliArrow is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliArrow.scalaz$KleisliArrow$$$anonfun$48")
[error]  * synthetic method scalaz$KleisliArrow$$$anonfun$50(scalaz.Kleisli,scala.Tuple2)java.lang.Object in interface scalaz.KleisliArrow is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliArrow.scalaz$KleisliArrow$$$anonfun$50")
[error]  * synthetic method scalaz$KleisliArrow$$$anonfun$53(scalaz.Kleisli,scalaz.Kleisli,scala.Tuple2)java.lang.Object in interface scalaz.KleisliArrow is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliArrow.scalaz$KleisliArrow$$$anonfun$53")
[error]  * synthetic method scalaz$KleisliMonoid$$$anonfun$58(java.lang.Object)java.lang.Object in interface scalaz.KleisliMonoid is present only in current version
[error]    filter with: ProblemFilters.exclude[ReversedMissingMethodProblem]("scalaz.KleisliMonoid.scalaz$KleisliMonoid$$$anonfun$58")

Is this mima bug?( #78 ?) or restrictions of Scala 2.12?

[adriaanm]

@SethTisue, could you have a look since you worked on #78?

[xuwei-k]

I added TEST_COMMAND="-Dmima.testScalaVersion=2.12.0-M4 testFunctional" in .travis.yml then some tests fail

• xuwei-k@e255989
• https://travis-ci.org/xuwei-k/migration-manager/jobs/123939053#L1990

[error] (trait-abstract-method-become-concrete-ok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-abstract-method-become-concrete-ok' failed.
[error]     The following problems were not expected
[error]     - synthetic method $init$()Unit in interface A is present only in new version
[error] (trait-abstract-var-become-concrete-ok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-abstract-var-become-concrete-ok' failed.
[error]     The following problems were not expected
[error]     - synthetic method $init$()Unit in interface A is present only in new version
[error] (moving-method-upward-from-trait-to-class-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: moving-method-upward-from-trait-to-class-nok' failed.
[error]     The following problems were not expected
[error]     - method foo()Int in interface B does not have a correspondent in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method foo()Int in trait B does not have a correspondent in new version
[error] (trait-pushing-up-concrete-methods-is-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-pushing-up-concrete-methods-is-nok' failed.
[error]     The following problems were not expected
[error]     - synthetic method $init$()Unit in interface A is present only in new version
[error]     - method foo()Int in interface A is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method foo()Int in trait A is present only in new version
[error]     - in new version, classes mixing B needs to update body of method foo()Int
[error] (trait-abstract-val-become-concrete-ok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-abstract-val-become-concrete-ok' failed.
[error]     The following problems were not expected
[error]     - synthetic method $init$()Unit in interface A is present only in new version
[error]     - abstract synthetic method A$_setter_$foo_=(Int)Unit in interface A is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - synthetic method A$_setter_$foo_=(Int)Unit in trait A is present only in new version
[error] (trait-moving-methods2-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-moving-methods2-nok' failed.
[error]     The following problems were not expected
[error]     - method foo()Int in interface A does not have a correspondent in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method foo()Int in trait A does not have a correspondent in new version
[error] (trait-deleting-concrete-methods-is-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-deleting-concrete-methods-is-nok' failed.
[error]     The following problems were not expected
[error]     - synthetic method $init$()Unit in interface A is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - in new version, classes mixing B needs to update body of method foo()Int
[error] (trait-method-overloading-is-ok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-method-overloading-is-ok' failed.
[error]     The following problems were not expected
[error]     - method foo(java.lang.Object)Int in interface A is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method foo(java.lang.Object)Int in trait A is present only in new version
[error] (trait-abstract-method-becomes-concrete2-ok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-abstract-method-becomes-concrete2-ok' failed.
[error]     The following problems were not expected
[error]     - synthetic method $init$()Unit in interface A1 is present only in new version
[error]     - method foo()Int in interface A1 is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method foo()Int in trait A1 is present only in new version
[error] (trait-added-var-in-new-version-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-added-var-in-new-version-nok' failed.
[error]     The following problems were not expected
[error]     - method bar_=(Int)Unit in interface A is present only in new version
[error]     - method bar()Int in interface A is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method bar_=(Int)Unit in trait A is present only in new version
[error]     - method bar()Int in trait A is present only in new version
[error] (trait-inheriting-from-class/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-inheriting-from-class' failed.
[error]     The following problems were not expected
[error]     - abstract method foo(Int)Int in interface A does not have a correspondent in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method foo(Int)Int in trait A does not have a correspondent in new version
[error] (trait-added-val-in-new-version-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-added-val-in-new-version-nok' failed.
[error]     The following problems were not expected
[error]     - abstract synthetic method A$_setter_|_=(Int)Unit in interface A is present only in new version
[error]     - method bar()Int in interface A is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - synthetic method A$_setter_|_=(Int)Unit in trait A is present only in new version
[error]     - method bar()Int in trait A is present only in new version
[error] (trait-moving-methods-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-moving-methods-nok' failed.
[error]     The following problems were not expected
[error]     - method foo()Int in interface A does not have a correspondent in new version
[error]     - synthetic method $init$()Unit in interface B is present only in new version
[error]     - method foo()Int in interface B is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method foo()Int in trait A does not have a correspondent in new version
[error]     - method foo()Int in trait B is present only in new version
[error] (class-becomes-trait-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: class-becomes-trait-nok' failed.
[error]     The following problems were not expected
[error]     - declaration of class A is interface A in new version; changing class to interface breaks client code
[error] 
[error]     The following expected problems were not reported
[error]     - declaration of class A is trait A in new version; changing class to trait breaks client code
[error] (trait-added-method-in-new-version-nok/*:testFunctional) com.typesafe.tools.mima.lib.TestFailed: trait-added-method-in-new-version-nok' failed.
[error]     The following problems were not expected
[error]     - method bar()Int in interface A is present only in new version
[error] 
[error]     The following expected problems were not reported
[error]     - method bar()Int in trait A is present only in new version

[milessabin]

As @xuwei-k pointed out ... I'm seeing something similar in shapeless too.

[SethTisue]

subsumed by #120 cc @szeiger