diff options
author | Didier Rémy <Didier.Remy@inria.fr> | 2002-01-09 20:38:33 +0000 |
---|---|---|
committer | Didier Rémy <Didier.Remy@inria.fr> | 2002-01-09 20:38:33 +0000 |
commit | 96c3bf4e5c68344caaf722976f140f413e9aa449 (patch) | |
tree | 7ca5ffaa548c2af4cc9754b9240b8a3d2bddffd0 /emacs/inf-caml.el | |
parent | ec928fee86c2017d38f440fdbe7aaf23954cfec0 (diff) | |
download | ocaml-96c3bf4e5c68344caaf722976f140f413e9aa449.tar.gz |
Made run-caml autoload in caml.el
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'emacs/inf-caml.el')
-rw-r--r-- | emacs/inf-caml.el | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/emacs/inf-caml.el b/emacs/inf-caml.el index bbe084cc70..1a8f52493e 100644 --- a/emacs/inf-caml.el +++ b/emacs/inf-caml.el @@ -189,38 +189,6 @@ Input and output via buffer `*inferior-caml*'." ;;; orgininal inf-caml.el ended here -;;; Additional commands by Didier to report errors in toplevel mode - -(defun caml-skip-blank-forward () - (if (looking-at "[ \t\n]*\\((\\*\\([^*]\\|[^(]\\*[^)]\\)*\\*)[ \t\n]*\\)*") - (goto-char (match-end 0)))) - -;; to mark phrases, so that repeated calls will take several of them -;; knows little of Ocaml appar literals and comments, so it should work -;; with other dialects as long as ;; marks the end of phrase. - -(defun caml-find-phrase (&optional min-pos max-pos) - "Find the CAML phrase containing the point. -Return the positin of the beginning of the phrase, and move point -to the end. -" - (interactive) - (while - (and (search-backward ";;" min-pos 'move) - (or (caml-in-literal-p) - (and caml-last-comment-start (caml-in-comment-p))) - )) - (if (looking-at ";;") (forward-char 2)) - (caml-skip-blank-forward) - (let ((beg (point))) - (while - (and (search-forward ";;" max-pos 1) - (or (caml-in-literal-p) - (and caml-last-comment-start (caml-in-comment-p))) - )) - (if (eobp) (newline)) - beg)) - ;; as eval-phrase, but ignores errors. (defun inferior-caml-just-eval-phrase (arg &optional min max) |