@@ -14,7 +14,19 @@ import Verify
1414
1515import qualified Data.Vector as Vector
1616
17+larger_horiz_span_occlusion :: SingleRowSingleAttrImage -> SingleRowSingleAttrImage -> Result
18+larger_horiz_span_occlusion row_0 row_1 =
19+ let i_0 = row_image row_0
20+ i_1 = row_image row_1
21+ (i_larger, i_smaller) = if image_width i_0 > image_width i_1 then (i_0, i_1) else (i_1, i_0)
22+ expected_ops = display_ops_for_image i_larger
23+ p = pic_for_layers [i_larger, i_smaller]
24+ ops = display_ops_for_pic p $ DisplayRegion (image_width i_larger) (image_height i_larger)
25+ in verify_ops_equality expected_ops ops
26+
1727tests :: IO [Test]
1828tests = return
19− [ ]
29+ [ verify "a larger horiz span occludes a smaller span on a lower layer"
30+ larger_horiz_span_occlusion
31+ ]
2032