Resolving LUB of Validation Example

[Kevin Meredith]

Why do the following type parameters resolve to a LUB of Any in the following example?

scala> if (true) "foo".success[String] else 1234.failure[Int]

res1: scalaz.Validation[Any,Any] = Success(foo)

I was expecting a result of Validation[String, Int].

[Tom Switzer]

The type parameter is for the other side - for example, 1234.failure[String] and "ABC".success[Int]

--
You received this message because you are subscribed to the Google Groups "scalaz" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scalaz+un...@googlegroups.com.
To post to this group, send email to sca...@googlegroups.com.
Visit this group at http://groups.google.com/group/scalaz.
For more options, visit https://groups.google.com/d/optout.

[Colt Frederickson]

The type in the [ ] is the type param of the opposite type constructor.

scala> "foo".success[Long]

res0: scalaz.Validation[Long,String] = Success(foo)

So you're specifying the type of the failure param when you call .success.

--