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 
For more options, visit this group at 

Reply via email to