source file and location information ("where") didn't survive change to late headers creation

Question

source file and location information ("where") didn't survive change to late headers creation

Closed this issue 3 years ago · 1 comments

also affects review. Source line is recorded incorrectly now for words defined in the yoda file. Probably minor effort to fix, just not highest priority atm.

Answer 1 · 2022-02-06T22:37:10.000Z

fixed. review and where yield correct results again on core words from yoda file,