fix read_vars
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@528 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
d7665e2b30
commit
d8f2f035be
@ -315,7 +315,7 @@ told :- current_output(Stream), '$close'(Stream), set_output(user).
|
|||||||
/* Term IO */
|
/* Term IO */
|
||||||
|
|
||||||
read(T) :-
|
read(T) :-
|
||||||
'$read'(false,T,V,Err),
|
'$read'(false,T,_,Err),
|
||||||
(nonvar(Err) ->
|
(nonvar(Err) ->
|
||||||
'$print_message'(error,Err), fail
|
'$print_message'(error,Err), fail
|
||||||
;
|
;
|
||||||
@ -329,8 +329,6 @@ read(Stream,T) :-
|
|||||||
;
|
;
|
||||||
true
|
true
|
||||||
).
|
).
|
||||||
'$read'(false,T,_,Stream).
|
|
||||||
|
|
||||||
|
|
||||||
read_term(T, Options) :-
|
read_term(T, Options) :-
|
||||||
'$check_io_opts'(Options,read_term(T, Options)),
|
'$check_io_opts'(Options,read_term(T, Options)),
|
||||||
@ -349,7 +347,7 @@ read_term(T, Options) :-
|
|||||||
read_term(Stream, T, Options) :-
|
read_term(Stream, T, Options) :-
|
||||||
'$check_io_opts'(Options,read_term(T, Options)),
|
'$check_io_opts'(Options,read_term(T, Options)),
|
||||||
'$preprocess_read_terms_options'(Options),
|
'$preprocess_read_terms_options'(Options),
|
||||||
'$read_vars'(Strem,T,VL),
|
'$read_vars'(Stream,T,VL),
|
||||||
'$postprocess_read_terms_options'(Options, T, VL).
|
'$postprocess_read_terms_options'(Options, T, VL).
|
||||||
|
|
||||||
%
|
%
|
||||||
|
Reference in New Issue
Block a user