Add bitvector casts to funcl bodies when necessary

1 files changed, 4 insertions, 0 deletions

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index 8ff5dc20..9cd55ea3 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -3807,6 +3807,10 @@ let add_bitvector_casts (Defs defs) =
     in
     let pat,guard,body,annot = destruct_pexp pexp in
     let body = rewrite_body ret_typ body in
+    (* Also add a cast around the entire function clause body, if necessary *)
+    let body =
+      make_bitvector_cast_exp (fill_in_type (env_of body) (typ_of body)) ret_typ body
+    in
     let pexp = construct_pexp (pat,guard,body,annot) in
     FCL_aux (FCL_Funcl (id,pexp),fcl_ann)
   in