From 65daf8fca747d385b2985e4e5e91894738f6fcf1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 3 Sep 2017 19:45:23 +0200
Subject: Introducing a macro for constr matching.

---
 src/tac2qexpr.mli | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/tac2qexpr.mli')

diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli
index 7c774a5c80..a284c1e756 100644
--- a/src/tac2qexpr.mli
+++ b/src/tac2qexpr.mli
@@ -115,3 +115,11 @@ type red_flag_r =
 type red_flag = red_flag_r located
 
 type strategy_flag = red_flag list located
+
+type constr_match_branch_r =
+| QConstrMatchPattern of Constrexpr.constr_expr * raw_tacexpr
+| QConstrMatchContext of Id.t option * Constrexpr.constr_expr * raw_tacexpr
+
+type constr_match_branch = constr_match_branch_r located
+
+type constr_matching = constr_match_branch list located
-- 
cgit v1.2.3