-
Notifications
You must be signed in to change notification settings - Fork 291
Closed
Description
Having to provide both a transcript and its output when describing a problem is frustrating. If you can run transcript output directly, this duplication becomes unnecessary.
There are a few things that need to change to allow this:
- the parser needs to ignore
unison:added-by-ucmblocks; - the
ucmblocks added by the pretty-printer afterunisonblocks need a similar suffix so the parser can ignore them; - the
ucmblock parser needs to be able to skip over command output; - pretty-printed blocks need to preserve their
:-separated flags;
and probably more.
Also, this can’t be expected to work with transcripts that use :hide:all.
ceedubs