From 4d410d7c2497d89efe6e756bec035ee5b0e8ba04 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 17 Sep 2018 13:50:30 +0100
Subject: Rewrites.rewrite_defs_mapping_patterns: emit an explicit type
 annotation on the generated pattern so re-typechecking works

---
 src/rewrites.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/rewrites.ml b/src/rewrites.ml
index eafbd6a8..f4e5d346 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -3384,7 +3384,7 @@ let rewrite_defs_mapping_patterns =
                                                (annot_exp (E_let (new_letbind, fold_typed_guards env guards)) unk env bool_typ),
                                                false_exp)) unk env bool_typ in
 
-       annot_pat (P_id s_id) unk env mapping_in_typ, [new_guard; new_other_guards], new_let
+       annot_pat (P_typ (mapping_in_typ, annot_pat (P_id s_id) unk env mapping_in_typ)) unk env mapping_in_typ, [new_guard; new_other_guards], new_let
 
     | P_aux (P_as (inner_pat, inner_id), p_annot) ->
        let inner_pat, guards, expr = rewrite_pat env (inner_pat, guards, expr) in
-- 
cgit v1.2.3