/* Implement runtime actions for CHILL.
   Copyright (C) 1992,1993 Free Software Foundation, Inc.
   Author: Wilfried Moser

This file is part of GNU CC.

GNU CC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

GNU CC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU CC; see the file COPYING.  If not, write to
the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */

#define __CHILL_LIB__

#include <stdio.h>
#include <stdlib.h>
#include <setjmp.h>

/*
 * function unhandled_exception
 *
 * parameter:
 *  exname		name of exception
 *  file		filename
 *  lineno		line number
 *  user_arg		user specified argument
 *
 * returns:
 *  never
 *
 * abstract:
 *  print an error message about unhandled exception and call abort
 *
 */

void
unhandled_exception (exname, file, lineno, user_arg)
     char *exname;
     char *file;
     int lineno;
     int user_arg;
{
  sleep (1); /* give previous output a chance to finish */
  fprintf (stderr, "ChillLib: unhandled exception `%s' in file %s at line %d\n",
	   exname, file, lineno);
  fflush (stderr);
  abort ();
} /* unhandled_exception */