Background expansion masks `.zo` version error

[shhyou]

Background expansion masks `.zo` version error

[rfindler]

Oh! Looks like I've been here before and my solution was this blob of code. I'll update it to also propagate use-compiled-file-paths.

[rfindler]

Thanks!

It looks like the problem is that use-compiled-file-paths is not set to the right value during the call to get-require-filename, so we end up in the exception handler (as you write) because we looked in compiled/ instead of compiled/drracket/errortrace/ (assuming the default language settings overall).

The trouble is that it isn't clear how to communicate this value (or avoid the need to communicate it which seems like it would be better as we'd be able to avoid the calls that interact with the filesystem!).