You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@odersky said:
I know it's not really the right thing to do, but:
This is a temporary measure. For Scala 2.8.1, the filter idiom will be deprecated
in for comprehensions and for Scala 2.9 it will be removed.
The warning is not so bad.
So I don't think this warrants the effort spent to fix this (thsi effirt would be considerable; we'd have to re-rig the parser and type checker to treat for comprehensions as being different from their expansion.
I understand that when compiling guards in for comprehensions, filter will be called if withFilter is not defined.
Unfortunately, it seems that explicit calls to withFilter are also being transformed to calls of filter.
IMHO a compiler error should be reported instead.
The text was updated successfully, but these errors were encountered: