Question about dominates constraint

unison-code / unison

Unison's source code

http://unison-code.github.io/

Other

104 stars 17 forks source link

Question about dominates constraint #64

Open yugr opened 1 year ago

yugr commented 1 year ago

What is the logic behind gen_dominates/Model::post_dominates_constraint i.e. why do we force dominating copies to be active if dominated copies are? I couldn't find explanation of this constraint in Mikael's thesis.