Spurious Error (Red) On :: (List cell) in Pattern Match

Hi,

Since upgrading to IDEA 9 (#IU-93.13) and the latest Scala plug-in (0.3.312) I've noticed one spurious error that I had not seen previously when I was still running 8.1. Specifically, when I use the :: "cons" operator in the case clause of a match, the :: is flagged in red with the error "Cannot resolve symbol ::".

Here's the code:

    private
    def
    suboccChain(actConst: ConstantTerm, subactivities: List[Activity]): List[FOL_Formula] =
        subactivities match {
            case Nil => Nil
            case sa1 :: Nil => Nil

            case sa1 :: sa2 :: more =>
                nsoSubs(actConst, sa1, sa2)(nsoT) :: suboccChain(actConst, sa2 :: more)
        }


Note that the uses of :: to construct lists are not flagged as errors, only those used in pattern matching.


Randall Schulz