diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use print_message for version

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1052 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2004-04-27 15:43:29 +00:00
parent 40e84ca034
commit 40d678bf38
3 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/save.c
View File

@ -1184,7 +1184,7 @@ commit_to_saved_state(char *s, CELL *Astate, CELL *ATrail, CELL *AStack, CELL *A
if (Yap_HeapBase) { if (Yap_HeapBase) {
if (!yap_flags[HALT_AFTER_CONSULT_FLAG]) { if (!yap_flags[HALT_AFTER_CONSULT_FLAG]) {
Yap_TrueFileName(s,Yap_FileNameBuf2, YAP_FILENAME_MAX); Yap_TrueFileName(s,Yap_FileNameBuf2, YAP_FILENAME_MAX);
fprintf(Yap_stderr, "[ Restoring file %s ]\n", Yap_FileNameBuf2); fprintf(stderr, "[ Restoring file %s ]\n", Yap_FileNameBuf2);
} }
Yap_CloseStreams(TRUE); Yap_CloseStreams(TRUE);
} }

4
pl/boot.yap
View File

@ -177,10 +177,10 @@ read_sig.
'$version' :- '$version' :-
get_value('$version_name',VersionName), get_value('$version_name',VersionName),
'$format'(user_error, '[ YAP version ~w ]~n', [VersionName]), '$print_message'(help, version(VersionName)),
fail. fail.
'$version' :- recorded('$version',VersionName,_), '$version' :- recorded('$version',VersionName,_),
'$format'(user_error, '~w~n', [VersionName]), '$print_message'(help, VersionName),
fail. fail.
'$version'. '$version'.

2
pl/errors.yap
View File

@ -142,6 +142,8 @@ print_message(Level, Mss) :-
'$do_print_message'(breakpoints(L)) :- !, '$do_print_message'(breakpoints(L)) :- !,
'$format'(user_error,'Spy-points set on:', []), '$format'(user_error,'Spy-points set on:', []),
'$print_list_of_preds'(L). '$print_list_of_preds'(L).
'$do_print_message'(version(Version)) :- !,
'$format'(user_error,'YAP version ~a', [Version]).
'$do_print_message'(Messg) :- '$do_print_message'(Messg) :-
'$format'(user_error,'~q',Messg). '$format'(user_error,'~q',Messg).