Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
1.7-beta-1
-
None
Description
I found this in DGM:
public static String minus(String self, Object target) { if (target instanceof Pattern) ...
It would be much better to have a second method
public static String minus(String self, Pattern target) {
This may occur in more places.