cns:attr_unify_hook

Author: TeamSPoon

prolog/metta_lang/metta_compiler.pl

@@ -731,7 +731,8 @@
   label_arg_types(F,N2,Args).
 
 % label_arg_n_type(F,0,A):- !, label_type_assignment(A,F).
-label_arg_n_type(F,N,A):- compound(F),functor_chkd(F,Fn,Add),Is is Add+N, !, label_arg_n_type(Fn,Is,A).
+label_arg_n_type(F,N,A):- is_arity_0(F,Fn),!,label_arg_n_type(Fn,N,A).
+label_arg_n_type(F,N,A):- compound(F),!,functor_chkd(F,Fn,Add),Is is Add+N, !, label_arg_n_type(Fn,Is,A).
 label_arg_n_type(F,N,A):- add_type_to(A,arg(F,N)),!.
 
 add_type_to_var(_,Var):- nonvar(Var),!.
@@ -3742,9 +3743,9 @@
   %extract_constraints(Out,VS),
   renumvars(Out+VS,COut+CVS),
   %CVS = VS, COut = Out,
-  in_cmt(in_color((
+  maybe_write_info(in_cmt(call(in_color((
     pp_se(COut),
-    maplist(ppt_cns,CVS)))))).
+    maplist(ppt_cns,CVS)))))))).
 
 ppt_cns(put_attr(Var,cns,_=List)):- ppt(Var=List),!.
 ppt_cns(_).

prolog/metta_lang/metta_debug.pl

@@ -805,8 +805,8 @@
 
 sub_var_safely(Sub,Source):- assertion(acyclic_term(Source)),woct(sub_var(Sub,Source)).
 sub_term_safely(Sub,Source):- assertion(acyclic_term(Source)),woct(sub_term(Sub,Source)).
-functor_chkd(P,F,A):- compound(P),!,compound_name_arity(P,F,AA), if_t(A==0, (bt, prolog)), if_t(AA==0, (bt, prolog)), A=AA.
-functor_chkd(P,F,A):- functor(P,F,A), if_t(A==0, (bt, prolog)).
+functor_chkd(P,F,A):- compound(P),!,compound_name_arity(P,F,AA), nop(if_t(A==0, ((bt, prolog)))), nop(if_t(AA==0, (bt, prolog))), A=AA.
+functor_chkd(P,F,A):- functor(P,F,A), nop(if_t(A==0, (bt, prolog))).
 
 maybe_abort_trace:- \+ is_flag(abort_trace), !.
 maybe_abort_trace:- abort_trace.

prolog/metta_lang/metta_types.pl

@@ -1616,11 +1616,10 @@
    nop(nopped_non_arg_violation(Self, RequireType, BecomingValue)).
 
 
-cns:attr_unify_hook(WAS, NewValue) :- attvar(NewValue), get_attr(NewValue,cns,WAS2),!,
-   arg(2,WAS,List1),arg(2,WAS2,List2),append(List1,List2,List12),list_to_set(List12,Set),
+cns:attr_unify_hook(WAS, NewValue) :- attvar(NewValue), get_attr(NewValue,cns,WAS2),
+   compound(WAS),compound(WAS2),arg(2,WAS,List1),arg(2,WAS2,List2),append(List1,List2,List12),list_to_set(List12,Set),
    setarg(2,WAS,Set),setarg(2,WAS2,Set),!.
 
-
 cns:attr_unify_hook(_,_):- nb_current(suspend_type_unificaton, true),!.
 
 cns:attr_unify_hook(_Slf=_TypeList,_NewValue):- nb_current(suspend_type_unificaton, true),!.