Skip to content

Commit

Permalink
for now workarround #215 by not using unmaintaned fast buffer
Browse files Browse the repository at this point in the history
  • Loading branch information
TeamSPoon committed Dec 11, 2024
1 parent a79c226 commit 0c7b1d3
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions prolog/metta_lang/metta_loader.pl
Original file line number Diff line number Diff line change
Expand Up @@ -1539,6 +1539,7 @@
% % Convert "example.metta" to a `.qlf` format.
% ?- convert_metta_to_loadable('example.metta', QlfFile).
%
convert_metta_to_loadable(_Filename, _QlfFile) :- !, fail.
convert_metta_to_loadable(_Filename, _QlfFile) :-
% Use fast buffer, so skip Datalog conversion
use_fast_buffer, !, fail.
Expand Down Expand Up @@ -2573,7 +2574,7 @@
at_end_of_stream(S), !, F1 = end_of_file.
new_parse_sexpr_metta_IO1(S, F1):-
% Skip whitespace characters and continue parsing.
peek_char(S, Char), char_type(Char, space), !, get_char(S, Char), parse_sexpr_metta_IO(S, F1).
peek_char(S, Char), char_type(Char, space), !, get_char(S, Char), new_parse_sexpr_metta_IO1(S, F1).
new_parse_sexpr_metta_IO1(S, _F1):-
% Read and assert position and item details for non-whitespace characters.
S = InStream,
Expand All @@ -2596,7 +2597,7 @@
% @arg S The input stream to read from.
% @arg F1 The resulting parsed form.
%
new_parse_sexpr_metta_IO(S, F1):- new_parse_sexpr_metta_IO1(S, F1), nop(wdmsg(new_parse_sexpr_metta_IO1(S, F1))).
new_parse_sexpr_metta_IO(S, F1):- new_parse_sexpr_metta_IO1(S, F1),!. % nop(wdmsg(new_parse_sexpr_metta_IO1(S, F1))).

%! in2_stream(+N1, -S1) is nondet.
%
Expand Down

0 comments on commit 0c7b1d3

Please sign in to comment.