With this PR, we avoid relying on Inform7 debugging commands. Instead, we make use of the new commands tw-print player id and tw-player EndOfObject id added the following TextWorld PR: https://github.com/Microsoft/TextWorld/pull/96.
Note: All TextWorld games generated before changes made in https://github.com/Microsoft/TextWorld/pull/96 will stop working. @mhauskn if you think that's a problem, I can try to figure out how to maintain backward compatibility.
With this PR, we avoid relying on Inform7 debugging commands. Instead, we make use of the new commands
tw-print player id
andtw-player EndOfObject id
added the following TextWorld PR: https://github.com/Microsoft/TextWorld/pull/96.Note: All TextWorld games generated before changes made in https://github.com/Microsoft/TextWorld/pull/96 will stop working. @mhauskn if you think that's a problem, I can try to figure out how to maintain backward compatibility.