[Lift] Re: [scala-internals] RC8 candidate for the first 2.8.0 beta
I've written a work-around and am currently testing the code more in a few minutes. On Thu, Jan 21, 2010 at 11:20 AM, David Pollak feeder.of.the.be...@gmail.com wrote: Okay... it looks like the VarArg stuff is messing with the compiler: case class Index[A : Mapper[A]](columns: Seq[IndexItem[A]]) works just fine, but: case class Index[A : Mapper[A]](columns: IndexItem[A] *) Fails. On Thu, Jan 21, 2010 at 10:51 AM, Heiko Seeberger heiko.seeber...@googlemail.com wrote: When updating from RC7 to RC8 we observe the following compiler error: [ERROR] .../lift-mapper/src/main/scala/net/liftweb/mapper/MetaMapper.scala:1262: error: type arguments [net.liftweb.mapper.IndexItem[A]] do not conform to method sameElements's type parameter bounds [B : net.liftweb.mapper.IndexItem[Any]] [INFO] case class Index[A : Mapper[A]](indexColumns : IndexItem[A]*) extends BaseIndex[A](indexColumns : _*) Any ideas what could be going wrong here? Attached you will find the full source file. Heiko 2010/1/18 Antonio Cunei antonio.cu...@epfl.ch All, A new release candidate for 2.8.0.Beta1 is available for testing. You can obtain the new candidate from the links below, as well as from the scala-tools.org Maven repository: http://www.scala-lang.org/downloads/distrib/files/scala-2.8.0.Beta1-RC8.tgz http://www.scala-lang.org/downloads/distrib/files/scala-2.8.0.Beta1-RC8.zip http://www.scala-lang.org/downloads/distrib/files/scala-2.8.0.Beta1-RC8-installer.jar http://www.scala-lang.org/downloads/distrib/files/scala-2.8.0.Beta1-RC8-devel-docs.tgz http://www.scala-lang.org/downloads/distrib/files/scala-2.8.0.Beta1-RC8-sources.tgz http://www.scala-lang.org/downloads/distrib/files/scala.library_2.8.0.Beta1-RC8.jar This is a candidate for the first, preliminary beta release of 2.8.0: it is only intended to help developers port their code onto the new 2.8 codebase, and it is not production-quality code. Developers: this version includes the very latest fixes and updates to the Scala 2.8 codebase. Kindly test this last RC as well, and let us know if you detect anything unusual. Thanks! Toni -- Heiko Seeberger Work: weiglewilczek.com Blog: heikoseeberger.name Follow me: twitter.com/hseeberger OSGi on Scala: scalamodules.org Lift, the simply functional web framework: liftweb.net -- Lift, the simply functional web framework http://liftweb.net Beginning Scala http://www.apress.com/book/view/1430219890 Follow me: http://twitter.com/dpp Surf the harmonics -- Lift, the simply functional web framework http://liftweb.net Beginning Scala http://www.apress.com/book/view/1430219890 Follow me: http://twitter.com/dpp Surf the harmonics -- You received this message because you are subscribed to the Google Groups "Lift" group. To post to this group, send email to lift...@googlegroups.com. To unsubscribe from this group, send email to liftweb+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/liftweb?hl=en.
[Lift] Re: [scala-internals] RC8 candidate for the first 2.8.0 beta
(Un)fortunately I have an idea what the problem is. It's probably my fix for #2867. I have now rolled back that fix in r20629. Can you check again whether it works with that revision (should be in the nightly tomorrow)? If it does we might be able to make an exception to our RC = final rule, because this one just rolls back a non-critical patch, so I fail to see how this could affect anything but the original ticket. Cheers -- Martin -- You received this message because you are subscribed to the Google Groups Lift group. To post to this group, send email to lift...@googlegroups.com. To unsubscribe from this group, send email to liftweb+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/liftweb?hl=en.
[Lift] Re: [scala-internals] RC8 candidate for the first 2.8.0 beta
On Thu, Jan 21, 2010 at 8:31 PM, David Pollak feeder.of.the.be...@gmail.com wrote: I've written a work-around and am currently testing the code more in a few minutes. If you can make it work, so much the better. To give some info: The original ticket had a vararg parameter of the form List[_]* in a case class. This caused type inference for the synthetic equals method (which uses sameElements for varargs) to fail, because the existential in List[_] made the problem underconstrained. The patch passed the argument type explicitly as the type parameter. In the lift case, it seems that this explicit type parameter violated some type bound, so the type inferencer should have chosen a more general type which would not violate the bound. The easiest fix is probably to just roll back and leave ticket #2867 open until we find a better solution. That's what I have done. Cheers -- Martin -- You received this message because you are subscribed to the Google Groups Lift group. To post to this group, send email to lift...@googlegroups.com. To unsubscribe from this group, send email to liftweb+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/liftweb?hl=en.
[Lift] Re: [scala-internals] RC8 candidate for the first 2.8.0 beta
Okay... the work-around is checked into the Lift repo. I say, Ship RC8 as the beta and we'll work through this (and likely other) issues during the beta period. On Thu, Jan 21, 2010 at 11:36 AM, martin odersky martin.oder...@epfl.chwrote: On Thu, Jan 21, 2010 at 8:31 PM, David Pollak feeder.of.the.be...@gmail.com wrote: I've written a work-around and am currently testing the code more in a few minutes. If you can make it work, so much the better. To give some info: The original ticket had a vararg parameter of the form List[_]* in a case class. This caused type inference for the synthetic equals method (which uses sameElements for varargs) to fail, because the existential in List[_] made the problem underconstrained. The patch passed the argument type explicitly as the type parameter. In the lift case, it seems that this explicit type parameter violated some type bound, so the type inferencer should have chosen a more general type which would not violate the bound. The easiest fix is probably to just roll back and leave ticket #2867 open until we find a better solution. That's what I have done. Cheers -- Martin -- Lift, the simply functional web framework http://liftweb.net Beginning Scala http://www.apress.com/book/view/1430219890 Follow me: http://twitter.com/dpp Surf the harmonics -- You received this message because you are subscribed to the Google Groups "Lift" group. To post to this group, send email to lift...@googlegroups.com. To unsubscribe from this group, send email to liftweb+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/liftweb?hl=en.
[Lift] Re: [scala-internals] RC8 candidate for the first 2.8.0 beta
On Thu, Jan 21, 2010 at 8:37 PM, David Pollak feeder.of.the.be...@gmail.com wrote: Okay... the work-around is checked into the Lift repo. I say, Ship RC8 as the beta and we'll work through this (and likely other) issues during the beta period. Sounds good. Thanks! -- Martin On Thu, Jan 21, 2010 at 11:36 AM, martin odersky martin.oder...@epfl.ch wrote: On Thu, Jan 21, 2010 at 8:31 PM, David Pollak feeder.of.the.be...@gmail.com wrote: I've written a work-around and am currently testing the code more in a few minutes. If you can make it work, so much the better. To give some info: The original ticket had a vararg parameter of the form List[_]* in a case class. This caused type inference for the synthetic equals method (which uses sameElements for varargs) to fail, because the existential in List[_] made the problem underconstrained. The patch passed the argument type explicitly as the type parameter. In the lift case, it seems that this explicit type parameter violated some type bound, so the type inferencer should have chosen a more general type which would not violate the bound. The easiest fix is probably to just roll back and leave ticket #2867 open until we find a better solution. That's what I have done. Cheers -- Martin -- Lift, the simply functional web framework http://liftweb.net Beginning Scala http://www.apress.com/book/view/1430219890 Follow me: http://twitter.com/dpp Surf the harmonics -- You received this message because you are subscribed to the Google Groups Lift group. To post to this group, send email to lift...@googlegroups.com. To unsubscribe from this group, send email to liftweb+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/liftweb?hl=en.