2 static char rcsid[] = "$Id: util.c,v 2.7 1994/06/24 10:41:15 ceriel Exp $";
16 * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
17 * See the copyright notice in the ACK home directory, in the file "Copyright".
19 * Author: Hans van Staveren
24 error(s,a) char *s,*a; {
26 fprintf(stderr,"%s: error on line %u",progname,linecount);
28 fprintf(stderr,"(%.*s)",IDL,curpro.symbol->s_name);
39 badassertion(file,line) char *file; unsigned line; {
41 fprintf(stderr,"assertion failed file %s, line %u\n",file,line);
49 fprintf(stderr,"Made optimization %d",n);
51 fprintf(stderr," (%.*s)",IDL,curpro.symbol->s_name);