[MLton-commit] r4967

[Vesa Karvonen]

More reliable/portable (hopefully) implementation of esml-split-string.

----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/esml-util.el

----------------------------------------------------------------------

Modified: mlton/trunk/ide/emacs/esml-util.el
===================================================================
--- mlton/trunk/ide/emacs/esml-util.el	2006-12-10 19:17:51 UTC (rev 4966)
+++ mlton/trunk/ide/emacs/esml-util.el	2006-12-10 19:30:19 UTC (rev 4967)
@@ -32,11 +32,8 @@
       (forward-char (length str))
     (insert str)))
 
-;; workaround for incompatibility between GNU Emacs and XEmacs
 (defun esml-split-string (string separator)
-  (if (string-match "XEmacs" emacs-version)
-      (split-string string separator t)
-    (remove* "" (split-string string separator))))
+  (remove* "" (split-string string separator) :test 'equal))
 
 ;; workaround for incompatibility between GNU Emacs and XEmacs
 (defun esml-replace-regexp-in-string (str regexp rep)