8091da8f0f
Add a few relatively uncontroversial patches to fix some broken packages that I had developed for xanthous to the top-level third_party tree, so they can be reused by other people in the monorepo Change-Id: I68740477bda278c5dcc123080029ee4bd2cae37a Reviewed-on: https://cl.tvl.fyi/c/depot/+/740 Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: tazjin <mail@tazj.in>
13 lines
796 B
Diff
13 lines
796 B
Diff
diff --git a/src/Data/Geometry/PlanarSubdivision/Merge.hs b/src/Data/Geometry/PlanarSubdivision/Merge.hs
|
|
index 1136114..3f4e7bb 100644
|
|
--- a/src/Data/Geometry/PlanarSubdivision/Merge.hs
|
|
+++ b/src/Data/Geometry/PlanarSubdivision/Merge.hs
|
|
@@ -153,7 +153,7 @@ mergeWith' mergeFaces p1 p2 = PlanarSubdivision cs vd rd rf
|
|
-- we have to shift the number of the *Arcs*. Since every dart
|
|
-- consists of two arcs, we have to shift by numDarts / 2
|
|
-- Furthermore, we take numFaces - 1 since we want the first
|
|
- -- *internal* face of p2 (the one with FaceId 1) to correspond with the first free
|
|
+ -- /internal/ face of p2 (the one with FaceId 1) to correspond with the first free
|
|
-- position (at index numFaces)
|
|
|
|
cs = p1^.components <> p2'^.components
|