minor fixes

scripts/fcmp4.py

@@ -65,9 +65,16 @@ def todo(*msg):
 
 	raise NotImplementedError(' // '.join(res))
 
+def stringify(obj):
+	try:
+		return json.dumps(obj, indent=2)
+	except TypeError:
+		return repr(obj)
+
 def R(*js):
-	raise Exception(' // '.join([json.dumps(j, indent=2)
+	raise Exception(' // '.join([stringify(j) 
 		for j in js]))
+	#json.dumps(j, indent=2)
 
 
 def unindex_type(typespec, indices):

src/rts/fp.cpp

@@ -11,7 +11,8 @@ typedef const char *(*StringVoid)();
 FP::~FP()
 {
 	if (dlclose(so_)) {
-		ABORT(dlerror());
+		ERROR(dlerror());
+		exit(1);
 	}
 }
 

src/rts/rts.cpp

@@ -89,7 +89,8 @@ int RTS::run()
 					ABORT("program input argument #" + std::to_string(i+1)
 						+ " type not supported: " + type)
 				}
-			} else if (param.contains("default")) {
+			//} else if (param.contains("default")) {
+			} else if (param.find("default")!=param.end()) {
 				if (param["default"]["type"]=="sconst") {
 					main_cf->arg(i)
 						= param["default"]["value"].get<std::string>();