diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/main.ml | 20 |
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 = |