|
|
|
|
|
|
by jimmypk
6 days ago
|
|
|
@rohanat How does Weave handle a semantic dependency that crosses entity boundaries, such as one branch changing a function signature while another changes one of its call sites? The entities are distinct, so a structural merge can be textually clean while producing a type error or subtly stale behavior. Is the intended correctness boundary parse-valid output, or do language-server/compiler checks participate before the merge is accepted? |
|
|