From 5249d02107877fc8e9ed12ec2a7c30640da1adfc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 26 Sep 2012 23:08:01 +0100 Subject: [PATCH] debug routine. --- C/iopreds.c | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/C/iopreds.c b/C/iopreds.c index c7791ff02..bbce87620 100644 --- a/C/iopreds.c +++ b/C/iopreds.c @@ -1090,7 +1090,7 @@ Yap_InitBackIO (void) { } -/* used to test writebuffer +#if DEBUG static Int p_write_string( USES_REGS1 ) { @@ -1106,8 +1106,7 @@ p_write_string( USES_REGS1 ) fprintf(stderr,"%ld %s\n",length, s); return TRUE; } -*/ - +#endif void Yap_InitIOPreds(void) @@ -1119,7 +1118,9 @@ Yap_InitIOPreds(void) Yap_InitCPred ("$get_read_error_handler", 1, p_get_read_error_handler, SafePredFlag|SyncPredFlag|HiddenPredFlag); Yap_InitCPred ("$read", 7, p_read, SyncPredFlag|HiddenPredFlag|UserCPredFlag); Yap_InitCPred ("$read", 8, p_read2, SyncPredFlag|HiddenPredFlag|UserCPredFlag); - /* test predicate Yap_InitCPred ("write_string", 2, p_write_string, SyncPredFlag|UserCPredFlag); */ +#if DEBUG + Yap_InitCPred ("write_string", 2, p_write_string, SyncPredFlag|UserCPredFlag); +#endif Yap_InitCPred ("$start_line", 1, p_startline, SafePredFlag|SyncPredFlag|HiddenPredFlag); Yap_InitCPred ("$change_type_of_char", 2, p_change_type_of_char, SafePredFlag|SyncPredFlag|HiddenPredFlag); Yap_InitCPred ("$type_of_char", 2, p_type_of_char, SafePredFlag|SyncPredFlag|HiddenPredFlag);