===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/glob.c,v
retrieving revision 1.38
retrieving revision 1.41
diff -u -p -r1.38 -r1.41
--- OpenXM_contrib2/asir2000/parse/glob.c	2003/10/19 02:54:41	1.38
+++ OpenXM_contrib2/asir2000/parse/glob.c	2003/12/03 09:32:36	1.41
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.37 2003/09/12 01:12:41 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.40 2003/11/11 06:14:08 noro Exp $ 
 */
 #include "ca.h"
 #include "al.h"
@@ -181,7 +181,6 @@ int do_asirrc;
 int do_file;
 int do_message;
 int do_fep;
-int no_prompt;
 int read_exec_file;
 static int buserr_sav;
 static char asir_history[BUFSIZ];
@@ -242,10 +241,16 @@ void param_init() {
 	else
 		little_endian = 0;
 }
-	
+
+Obj user_defined_prompt;
+
 void prompt() {
-	if ( !no_prompt && !do_fep && asir_infile->fp == stdin )
+	if ( !do_quiet && !do_fep && asir_infile->fp == stdin )
 		fprintf(asir_out,"[%d] ",APVS->n);
+	else if ( do_quiet && user_defined_prompt 
+		&& OID(user_defined_prompt)==O_STR) {
+		fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n);
+	}
 	fflush(asir_out);
 }
 
@@ -331,13 +336,11 @@ void process_args(int ac,char **av)
 			do_file = 1;
 			av += 2; ac -= 2;
 		} else if ( !strcmp(*av,"-quiet") ) {
-			do_quiet = 1;	av++; ac--;
+			do_quiet = 1; av++; ac--;
 		} else if ( !strcmp(*av,"-norc") ) {
 			do_asirrc = 0; av++; ac--;
 		} else if ( !strcmp(*av,"-nomessage") ) {
 			do_message = 0; av++; ac--;
-		} else if ( !strcmp(*av,"-terse") ) {
-			no_prompt = 0; av++; ac--;
 		} else if ( !strcmp(*av,"-rootdir") && (ac >= 2) ) {
 			set_rootdir(*(av+1)); av += 2; ac -= 2;
 		} else if ( !strcmp(*av,"-maxheap") && (ac >= 2) ) {
@@ -671,7 +674,28 @@ void error(char *s)
 	resetenv("return to toplevel");
 }
 
+void toplevel(char *s)
+{
+	SNODE *snp=0;
+
 #if !defined(VISUAL)
+	if ( timer_is_set )
+		alrm_handler(SIGVTALRM);
+#endif
+	fprintf(stderr,"%s\n",s);
+	if ( do_file ) {
+		char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */
+
+		sprintf(errbuf,"%s\n",s);
+		showpos_to_string(errbuf+strlen(errbuf));
+		ExitAsir();
+	}
+	if ( read_exec_file )
+		read_exec_file = 0;
+	resetenv("return to toplevel");
+}
+
+#if !defined(VISUAL)
 #include <sys/time.h>
 
 void set_timer(int interval)
@@ -714,7 +738,7 @@ void copyright() {
 #endif
 	printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n");
 	printf("Copyright 2000-2003, Risa/Asir committers, http://www.openxm.org/.\n");
-	printf("GC 6.1(alpha5) copyright 2001, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n");
+	printf("GC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n");
 #if PARI
 #if 0
 	printf("PARI 2.2.4, copyright (C) 2002 The PARI Group.\n");