currently disabled since these are being handcoded right now in metta…

…_compiler_lib.pl
logicmoo · Dec 28, 2024 · b7e7595 · b7e7595
1 parent 2a635dd
commit b7e7595
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/prolog/metta_lang/metta_interp.pl b/prolog/metta_lang/metta_interp.pl
@@ -891,8 +891,10 @@
     len_or_unbound(ParamTypes,PrologArity).
 
 add_prolog_code(_KB,AssertZIfNew):-
-  fbug(assertz_if_new(AssertZIfNew)),
+  fbug(add_prolog_code(AssertZIfNew)),
   assertz_if_new(AssertZIfNew).
+
+gen_interp_stubs(_KB,_Symb,_Def) :- !.  % currently disabled since these are being handcoded right now in metta_compiler_lib.pl
 gen_interp_stubs(KB,Symb,Def):-
   ignore((is_list(Def),
  must_det_ll((

diff --git a/prolog/metta_lang/metta_loader.pl b/prolog/metta_lang/metta_loader.pl
@@ -3640,8 +3640,6 @@
 %   This predicate checks if stubs have already been generated, and if not, it iterates over
 %   symbols defined in the core library to create interpreter stubs for each.
 %
-
-%generate_interpreter_stubs :- !.  %currently disabled
 generate_interpreter_stubs :-
               % Avoid generating stubs multiple times.
               did_generate_interpreter_stubs, !.