public static Exception fail( Object proc,
Object msg,
Object env )
{
__cb__.failure( proc, msg, env );
ApplicationException e= new ApplicationException( "bigloo error..." );
Console.Error.WriteLine( stackwriter.demangle( e.Message ) );
Console.Error.WriteLine( stackwriter.demangle( e.StackTrace ) );
Console.Error.Flush();
bigloo_abort();
Object exitv = __cb__.exit_apply( BINT( 1 ) );
if (exitv is bint)
Environment.Exit( CINT( (bint)exitv ) );
else
Environment.Exit( 1 );
return e; // dead code
}