Commit 331cea4a authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl

remove function debug_message from backend

parent 3ea76683
......@@ -1089,8 +1089,6 @@ void BEAdjustStrictListConsInstance (int functionIndex,int moduleIndex)
} else {
Assert (symbol_p->symb_kind==definition);
debug_message ("BEAdjustStrictListInstance: !(symbol_p->symb_kind==definition) %d %d %d\n",functionIndex,moduleIndex,symbol_p->symb_kind);
symbol_p->symb_head_strictness=0;
symbol_p->symb_tail_strictness=0;
}
......
......@@ -67,29 +67,6 @@ fatal_backend_error (char *s)
Debugger ();
}
void debug_message (const char *format,...)
{
va_list ap;
va_start (ap,format);
vfprintf (StdError,format,ap);
va_end (ap);
#ifdef _MAC_
{
FILE *f;
f=fopen ("DebugMessages","a");
if (f!=NULL){
va_start (ap,format);
vfprintf (f,format,ap);
va_end (ap);
fclose (f);
}
}
#endif
}
#if 1
/*
Memory management
......
......@@ -13,7 +13,6 @@ extern void AssertionFailed (char *conditionString, char *file, int line);
# define Assert(condition) {if (!(condition)) AssertionFailed ("!(" #condition ")", __FILE__, __LINE__);}
extern void fatal_backend_error (char *s);
extern void debug_message (const char *format,...);
/*
Memory management
......
......@@ -159,14 +159,8 @@ Containing:
# define Assume2 ProcAssume
static void ProcAssume (Bool cond, char *err, char *proc)
{
Bool stop = False;
if (! cond)
{ if (! stop)
FPrintF (StdError, "FATAL ERROR: %s in %s\n", err, proc);
else
DoFatalError ("%s in %s\n", err, proc);
}
FPrintF (StdError, "FATAL ERROR: %s in %s\n", err, proc);
}
#else
# ifdef _DB_TEST_
......@@ -174,14 +168,8 @@ Containing:
# define Assume2 ProcAssume
static void ProcAssume (Bool cond, char *err, char *proc)
{
Bool stop = False;
if (! cond)
{ if (! stop)
FPrintF (StdError, "FATAL ERROR: %s in %s\n", err, proc);
else
DoFatalError ("%s in %s\n", err, proc);
}
FPrintF (StdError, "FATAL ERROR: %s in %s\n", err, proc);
}
# else
# define Assume2(A,B,C)
......@@ -216,18 +204,11 @@ static Bool instantiating = False; /* set True when copying an expression */
static void GiveStrictWarning (char *f, char *msg)
{
#if 1
CurrentLine=0;
if (f)
StaticMessage_s_s (False,f,msg);
else
StaticMessage_s_s (False,"",msg);
#else
if (f)
FPrintF (StdError, "Warning [%s%s,%s]: %s\n", CurrentModule, CurrentExt, f, msg);
else
FPrintF (StdError, "Warning [%s%s]: %s\n", CurrentModule, CurrentExt, msg);
#endif
}
/*******************************************************************************
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment