Merge-io-pairs
Incorporate I/O pairs from different sources
General Forms:
(merge-io-pairs fn event_1 ... event_n)
(merge-io-pairs (fn_1 ... fn_k) event_1 ... event_n)
where fn and each fn_i are symbols and each event_i is an
event form.
Example Forms:
(merge-io-pairs f (include-book "my-book"))
(merge-io-pairs (f g h) (include-book "book1") (include-book "book2"))
The second General Form above, (merge-io-pairs (fn_1 ... fn_k) event_1
... event_n), has an effect equivalent to iterating the first general form
as follows.
(merge-io-pairs fn_1
(merge-io-pairs fn_2
...
(merge-io-pairs fn_{k-1}
(merge-io-pairs fn_k event_1 ... event_n))))
So we focus below on the first General Form.
Normally you will use merge-io-pairs when an error occurs in
add-io-pairs while including a book; see Remark 5 of the documentation
for add-io-pairs for explanation. In short: by wrapping
(merge-io-pairs fn ...) around one or more include-book events,
as illustrated in the Example Forms above, you allow all add-io-pairs
forms in the books to complete in a manner that merges together all the I/O
pairs for fn.
