Some debug printing

Signed-off-by: Kakadu <Kakadu@pm.me>

Author: Kakadu

src/JGS.ml

@@ -653,6 +653,17 @@ module HO = struct
                        fresh () (q243 === !!None) (res === !!false);
                        fresh targs_a
                          (q243 === !!(Some targs_a))
+                         (fun st ->
+                           let _ :
+                               jtype_injected targ_injected Std.List.injected =
+                             targs_a
+                           in
+                           Format.printf " CC success result = %a\n%!"
+                             (GT.fmt Std.List.logic CT.pp_targ)
+                             (OCanren.reify_in_state st
+                                (Std.List.reify (targ_reify jtype_reify))
+                                targs_a);
+                           OCanren.success st)
                          (conde
                             [
                               fresh (id_b targs_b)

src/closure.ml

@@ -2,7 +2,7 @@ open OCanren
 open OCanren.Std
 open JGS.HO
 
-let need_dynamic_closure = ref true
+let need_dynamic_closure = ref false
 
 module type SCT = Mutable_type_table.SAMPLE_CLASSTABLE