From 453da7c7d6152799a81ecc90defe869cd2bb8f2c Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 13 Apr 2018 13:13:40 +0100
Subject: Check all patterns inside functions with -dsanity

---
 src/rewrites.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/rewrites.ml b/src/rewrites.ml
index 00b447a9..b213a4bb 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -3283,7 +3283,9 @@ let rewrite_check_annot =
     pat
   in
 
-  let rewrite_exp = { id_exp_alg with e_aux = (fun (exp, annot) -> check_annot (E_aux (exp, annot))) } in
+  let rewrite_exp = { id_exp_alg with
+    e_aux = (fun (exp, annot) -> check_annot (E_aux (exp, annot)));
+    pat_alg = { id_pat_alg with p_aux = (fun (pat, annot) -> check_pat (P_aux (pat, annot))) } } in
   rewrite_defs_base { rewriters_base with rewrite_exp = (fun _ -> fold_exp rewrite_exp);
                                           rewrite_pat = (fun _ -> check_pat) }
 
-- 
cgit v1.2.3