From 0886f3c71cf8551e4f8b3726654003a4f29645f0 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 22:12:53 -0300
Subject: residuation: open membership returns residual constraints

---
 bin/main.ml | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'bin')

diff --git a/bin/main.ml b/bin/main.ml
index e7df2e2..c5c329a 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -8,17 +8,17 @@ let print_solutions solutions =
   | [] -> print_endline "no."
   | solutions ->
       List.iter
-        (fun solution ->
-          match solution with
+        (fun { Sol.Vm.bindings; residue } ->
+          let parts =
+            List.map
+              (fun (variable, pattern) ->
+                Format.asprintf "%s = %a" variable Sol.Pattern.pp pattern)
+              bindings
+            @ List.map (Format.asprintf "%a" Sol.Vm.pp_residual) residue
+          in
+          match parts with
           | [] -> print_endline "yes."
-          | bindings ->
-              let parts =
-                List.map
-                  (fun (variable, pattern) ->
-                    Format.asprintf "%s = %a" variable Sol.Pattern.pp pattern)
-                  bindings
-              in
-              print_endline (String.concat ", " parts ^ "."))
+          | parts -> print_endline (String.concat ", " parts ^ "."))
         solutions
 
 let run_statements statements =
-- 
cgit v1.2.3