residuation: open membership returns residual constraints

1 files changed, 10 insertions, 10 deletions

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 =