Closed rossberg closed 9 months ago
This unifies the naming and handling of math and prose anchors for splicing to follow the same conventions.
I also added a check for overlapping anchor definitions, which uncovered 3 cases where the prose backend apparently creates duplicates:
warning: prose rule `exec/array.new_data` has multiple definitions warning: prose rule `exec/call_ref` has multiple definitions warning: prose rule `valid/cvtop` has multiple definitions
@f52985, @jaehyun1ee, I assume this is a known issue? Anyway, I created #63 to track it.
This unifies the naming and handling of math and prose anchors for splicing to follow the same conventions.
I also added a check for overlapping anchor definitions, which uncovered 3 cases where the prose backend apparently creates duplicates:
@f52985, @jaehyun1ee, I assume this is a known issue? Anyway, I created #63 to track it.