From 44a80c1c452510cdb4606da986118c087c6e4232 Mon Sep 17 00:00:00 2001
From: Brandon Stride <brandonzstride@hotmail.com>
Date: Fri, 23 Jan 2026 14:14:52 -0500
Subject: [PATCH] keep constraint on value binding in ppx

---
 ppx/mapper.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ppx/mapper.ml b/ppx/mapper.ml
index bc5fc97..79ddf5b 100644
--- a/ppx/mapper.ml
+++ b/ppx/mapper.ml
@@ -277,10 +277,10 @@ let translate_value_bindings ctx value_binding auto vbs =
   in
   let vbs = List.map (function
       | (vb, None) -> value_binding vb
-      | {pvb_pat; pvb_loc; pvb_expr; _}, Some (arity, _, name, loc, attrs) ->
+      | {pvb_pat; pvb_loc; pvb_expr; pvb_constraint; _}, Some (arity, _, name, loc, attrs) ->
           (* Remove landmark attribute: *)
           let vb =
-            Vb.mk ~attrs ~loc:pvb_loc pvb_pat pvb_expr
+            Vb.mk ~attrs ~loc:pvb_loc ?value_constraint:pvb_constraint pvb_pat pvb_expr
             |> value_binding
           in
           if arity = [] then