Address review

bclement-ocp · May 10, 2024 · d53e0ae · d53e0ae
1 parent ed5e4a5
commit d53e0ae
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/src/lib/structures/expr.ml b/src/lib/structures/expr.ml
@@ -95,6 +95,11 @@ and semantic_trigger =
 
 and trigger = {
   content : t list;
+  (* [content] must be kept sorted in [pat_weight] (see below) order for
+     matching.
+
+     [mk_trigger] enforces this, but functions that modify [content] and must
+     preserve this order. *)
   semantic : semantic_trigger list;
   hyp : t list;
   t_depth : int;

diff --git a/tests/issues/1111.expected b/tests/issues/1111.expected
@@ -0,0 +1,2 @@
+
+unknown