Re: Creating map from list of pairs

>>>>> "Dave" == Dave Ray writes:

Dave> Secondly, is there a nicer way to turn an Option into a Set than
Dave> this:

Well, there's:

def toSet[T](o : Option[T]) : Set[T] = Set(o.toList:_*)

which is shorter, but less "nice" in one sense, since it involves
creating a list along the way. This is how I would write it inline, but
in a library of utility methods, I would write it your way -- or maybe
measure to see what's fastest.