The argument types of an anonymous function must be fully known. (SLS 8.5)

by

{ case X(x) => ... } is a partial function, but the compiler still doesn’t know what your input type is, except that it’s a supertype of X. Normally this isn’t a problem because if you’re writing an anonymous function, the type is known from the context. But here is how you can provide the type:

case class Foo(x: Int)

// via annotation
val f: Foo => Int = { case Foo(x) => x }

// use pattern matching
val f = (_: Foo) match { case Foo(x) => x }

// or more normally, write as a method
def f(a: Foo) = a match { case Foo(x) => x }
def f(a: Foo) = a.x

As you’ve probably noticed, using function literals / pattern matching here is pretty pointless. It seems in your case you just need a regular method:

def whatever(qt: QualifiedType) = {
  t.ty = qt.ty
  Some((emptyEqualityConstraintSet, qt.preds)) 
}

although you should refactor to remove that mutable state.

More Related Contents:

  1. What does `:_*` (colon underscore star) do in Scala?
  2. Case class equality in Apache Spark
  3. How to override apply in a case class companion
  4. Why does pattern matching in Scala not work with variables?
  5. How to pattern match on generic type in Scala?
  6. Scala multiple type pattern matching
  7. Pattern matching on generic type in Scala
  8. What are the rules to govern underscore to define anonymous function?
  9. Why can’t I return a concrete subtype of A if a generic subtype of A is declared as return parameter?
  10. Scala: short form of pattern matching that returns Boolean
  11. How to pattern match large Scala case classes?
  12. How is this case class match pattern working?
  13. Multiline function literal as arguments in Scala
  14. Scala single method interface implementation
  15. Use of def, val, and var in scala
  16. How to get around the Scala case class limit of 22 fields?
  17. Linearization order in Scala
  18. Using Either to process failures in Scala code
  19. Is there a way to control which implicit conversion will be the default used?
  20. how to filter out a null value from spark dataframe
  21. Is there a reason not to use SparkContext.getOrCreate when writing a spark job?
  22. What are the various join types in Spark?
  23. What is the rule for parenthesis in Scala method invocation?
  24. Cross product in Scala
  25. Static return type of Scala macros
  26. Spark Scala list folders in directory
  27. Exception in thread “main” java.lang.NoSuchMethodError: scala.Product.$init$(Lscala/Product;)
  28. How to remove parentheses around records when saveAsTextFile on RDD[(String, Int)]?
  29. Reading in multiple files compressed in tar.gz archive into Spark [duplicate]
  30. Why is this implicit ambiguity behaviour happening?

Leave a Comment