Skip to content

Commit

Permalink
parse_sexp_metta -> parse_sexpr_metta
Browse files Browse the repository at this point in the history
  • Loading branch information
TeamSPoon committed Dec 29, 2024
1 parent cd6ff49 commit 459de40
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions prolog/metta_lang/metta_testing.pl
Original file line number Diff line number Diff line change
Expand Up @@ -1380,11 +1380,11 @@
% Apply replacements in Inner0 and parse as a single expression.
parse_answer_str(Inner0, Metta) :-
((replace_in_string([' , '=' '], Inner0, Inner),atomics_to_string(["(", Inner, ")"], Str), !,
parse_sexp_metta(Str, Metta), !,skip((must_det_ll(\+ sub_var(',', rc3(Metta))))),
parse_sexpr_metta(Str, Metta), !,skip((must_det_ll(\+ sub_var(',', rc3(Metta))))),
skip((\+ sub_var(',', rc(Metta)))))).
%parse_answer_string(String,Metta):- String=Metta,!,fail.

parse_sexp_metta(Str,Metta):- notrace(catch(parse_sexpr_untyped(Str,Metta),_,fail)).
parse_sexpr_metta(Str,Metta):- notrace(catch(parse_sexpr_untyped(Str,Metta),_,fail)).

%! remove_m_commas(+InputList, -OutputList) is det.
%
Expand Down

0 comments on commit 459de40

Please sign in to comment.