diff src/tc-rep.cc @ 915:b632b159b4ed

[project @ 1994-11-11 00:23:27 by jwe]
author jwe
date Fri, 11 Nov 1994 00:25:51 +0000
parents 24526a179c66
children 708827b941b4
line wrap: on
line diff
--- a/src/tc-rep.cc	Thu Nov 10 21:53:10 1994 +0000
+++ b/src/tc-rep.cc	Fri Nov 11 00:25:51 1994 +0000
@@ -539,6 +539,10 @@
   if (! is_numeric_type ())
     {
       tree_constant tmp = make_numeric ();
+
+      if (error_state)
+	return retval;
+
       return tmp.all ();
     }
 
@@ -591,6 +595,10 @@
   if (! is_numeric_type ())
     {
       tree_constant tmp = make_numeric ();
+
+      if (error_state)
+	return retval;
+
       return tmp.any ();
     }
 
@@ -652,6 +660,10 @@
   if (! is_numeric_type ())
     {
       tree_constant tmp = make_numeric ();
+
+      if (error_state)
+	return retval;
+
       return tmp.is_true ();
     }
 
@@ -1286,8 +1298,8 @@
 	  {
 	    ::error ("failed to convert `%s' to a numeric type --", string);
 	    ::error ("default conversion turned off");
-// Abort!
-	    jump_to_top_level ();
+
+	    return;
 	  }
 
 	int len = strlen (string);