Cannot calculate patch which includes new singleton child
Created by: dsheets
Let empty.xml
be
<foo/>
and let not_empty.xml
be
<foo><bar/></foo>
string_of_patch (snd (diff (xml_of_file "not_empty.xml") (xml_of_file "empty.xml")))
is DELETE_TREE(foo(0)/bar(0))
but
string_of_patch (snd (diff (xml_of_file "empty.xml") (xml_of_file "not_empty.xml")))
is internal error, uncaught exception: Failure("Id 0 not found")
.
Do you have any plans for a test suite?