I think it's just normal tokenizing. `..-` is a legal name for an operator. An error is given since no operator of that name is in scope.
The alternative of this getting parsed as a range operator and a negative number now and changing to an application of `..-` if that is ever defined or imported doesn't sound very good...
The alternative of this getting parsed as a range operator and a negative number now and changing to an application of `..-` if that is ever defined or imported doesn't sound very good...