use ~d to write time spent consulting
replace write/2 and write/1 by direct accesses to low-level routines git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@124 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
0995041a7e
commit
3e6060a84f
10
pl/boot.yap
10
pl/boot.yap
@ -129,13 +129,11 @@ set_output(Stream) :-
|
||||
8 use portray(_)
|
||||
*/
|
||||
|
||||
write(T) :- current_output(S), '$write'(S,4,T), fail.
|
||||
write(_).
|
||||
write(T) :-
|
||||
'$write'(4, T).
|
||||
|
||||
write(Stream,T) :-
|
||||
'$write'(Stream,4,T),
|
||||
fail.
|
||||
write(_,_).
|
||||
'$write'(Stream,4,T).
|
||||
|
||||
put(Stream,N) :- N1 is N, '$put'(Stream,N1).
|
||||
|
||||
@ -908,7 +906,7 @@ break :- '$get_value'('$break',BL), NBL is BL+1,
|
||||
( '$get_value'('$verbose',off) ->
|
||||
true
|
||||
;
|
||||
'$format'(user_error, "[ ~w consulted ~w bytes in ~w seconds ]~n", [F,H,T])
|
||||
'$format'(user_error, "[ ~w consulted ~w bytes in ~g seconds ]~n", [F,H,T])
|
||||
),
|
||||
'$set_value'('$consulting',Old),
|
||||
'$set_value'('$consulting_file',OldF),
|
||||
|
@ -144,7 +144,7 @@ reconsult(Fs) :-
|
||||
( '$get_value'('$verbose',off) ->
|
||||
true
|
||||
;
|
||||
'$format'(user_error, "[ ~w reconsulted ~w bytes in ~w seconds ]~n", [F,H,T])
|
||||
'$format'(user_error, "[ ~w reconsulted ~w bytes in ~g seconds ]~n", [F,H,T])
|
||||
),
|
||||
'$set_value'('$consulting',Old),
|
||||
'$set_value'('$consulting_file',OldF),
|
||||
@ -184,7 +184,7 @@ reconsult(Fs) :-
|
||||
( '$get_value'('$verbose',off) ->
|
||||
true
|
||||
;
|
||||
'$format'(user_error, "[ ~w reconsulted ~w bytes in ~w seconds ]~n", [F,H,T])
|
||||
'$format'(user_error, "[ ~w reconsulted ~w bytes in ~g seconds ]~n", [F,H,T])
|
||||
),
|
||||
'$set_value'('$consulting',Old),
|
||||
'$set_value'('$consulting_file',OldF),
|
||||
|
Reference in New Issue
Block a user