The error "define-language: unrecognized production ..." has no source location

[soegaard]

The following error does not highlight the offending form in DrRacket.

define-language: unrecognized production in subtract in: (define (f φ ...) b)