summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2021-06-26 01:50:30 +0000
committerOri Bernstein <ori@eigenstate.org>2021-06-26 01:50:30 +0000
commite6811668a36f0bfaa6abe113bc25ed99473f8973 (patch)
treeb82396e651d93467de3ff3e4facfea3bd8eb90ae
parentc2e43912229c28cfbc8675e8309bbc9ea9e13d31 (diff)
downloadmc-e6811668a36f0bfaa6abe113bc25ed99473f8973.tar.gz
formatting: the long comments were annoying to read.
-rw-r--r--mi/match.c18
1 files changed, 13 insertions, 5 deletions
diff --git a/mi/match.c b/mi/match.c
index ba69d90..f3e3689 100644
--- a/mi/match.c
+++ b/mi/match.c
@@ -955,11 +955,19 @@ gendtree(Node *m, Node *val, Node **lbl, size_t nlbl)
fatal(pat[cur->i], "wildcard variables have different types in the or-patterns");
}
}
- /* If the match arm does not have or-pattern, we can insert the assignements of the captures at the beginning of the associated block.
- * Otherwise, the captures can bind different locations with the same identifier in thehe or-patterns, and thus the assignments must be
- * carried out before jumping into the block.
- * For this reason, in the case of having or-pattern, we store the information of captures in the dtree MATCH node and delegate the
- * insertion of the captures assignments to the ir generation of dtree */
+ /*
+ * If the match arm does not have or-pattern, we can
+ * insert the assignements of the captures at the
+ * beginning of the associated block. Otherwise,
+ * the captures can bind different locations with
+ * the same identifier in thehe or-patterns, and
+ * thus the assignments must be carried out before
+ * jumping into the block. For this reason, in the
+ * case of having or-pattern, we store the
+ * information of captures in the dtree MATCH node
+ * and delegate the insertion of the captures
+ * assignments to the ir generation of dtree
+ */
if (cur->hasorpat) {
cur->final->cap = cur->cap;
cur->final->ncap = cur->ncap;