summaryrefslogtreecommitdiff
path: root/emacs/inf-caml.el
diff options
context:
space:
mode:
authorDidier Rémy <Didier.Remy@inria.fr>2002-01-09 20:38:33 +0000
committerDidier Rémy <Didier.Remy@inria.fr>2002-01-09 20:38:33 +0000
commit96c3bf4e5c68344caaf722976f140f413e9aa449 (patch)
tree7ca5ffaa548c2af4cc9754b9240b8a3d2bddffd0 /emacs/inf-caml.el
parentec928fee86c2017d38f440fdbe7aaf23954cfec0 (diff)
downloadocaml-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.el32
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)