[rpg: Quite right. How about this:
COMPILE-FILE, on the other hand, must produce an output file which when
loaded with LOAD constructs or references or both the objects defined by
the source code.]
Good. (I'd use "and/or" to avoid saying "or both"; either way is okay.)
Maybe he meant "constructs or references or boths the objects".