Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/run-smlnj
changeset 2316 ba9c9ed28dd8
parent 2313 d97eef398257
child 2349 e9475a7be4ad 
--- a/lib/scripts/run-smlnj	Wed Dec 04 17:02:02 1996 +0100
+++ b/lib/scripts/run-smlnj	Wed Dec 04 17:02:19 1996 +0100
@@ -31,16 +31,16 @@
 
 if [ -z "$OUTFILE" ]; then
   DB="$INFILE"
-  COMMIT="fun commit() = output (std_out, \"Error - Database is not opened for writing.\\n\");"
+  COMMIT='fun commit() = (output (std_out, "Error - Database is not opened for writing.\n"); false);'
 elif [ -n "$INFILE" -a "$INFILE" != "$OUTFILE" ]; then           # FIXME ! -ef !?
   [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
   cp "$INFILE" "$OUTFILE" || fail_out
   chmod +w "$OUTFILE"
   DB="$INFILE"
-  COMMIT="fun commit() = (exportML\"$OUTFILE\"; ());"
+  COMMIT="fun commit() = not (exportML\"$OUTFILE\");"
 else
   DB="$INFILE"
-  COMMIT="fun commit() = (exportML\"$OUTFILE\"; ());"
+  COMMIT="fun commit() = not (exportML\"$OUTFILE\");"
 fi
 
 [ -n "$DB" ] && DB="@SMLload=$DB"
isabelle