Skip to content

Avoid nonconfluence in hgeometry-combinatorial

sheaf requested to merge hgeometry-deriveds into master

The existing code relied on non-confluent behaviour in the constraint solver, which caused a problem when removing derived constraints GHC MR !5899. This comment explains the situation, and why it makes sense to reject the original program.

Edited by sheaf

Merge request reports