branch: externals/caml
commit 38c4de40eaf0f523bbdb2631b788c00a32ab2ad0
Author: Damien Doligez <damien.doligez-inria.fr>
Commit: Damien Doligez <damien.doligez-inria.fr>
bricoles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5743
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
caml-types.el | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/caml-types.el b/caml-types.el
index b0f1e27..3f3ef4b 100644
--- a/caml-types.el
+++ b/caml-types.el
@@ -194,8 +194,7 @@ See `caml-types-location-re' for annotation file format.
accu)))
(setq stack (cons node stack))))))
(if (null stack)
- (let ((dummy-pos (vector "" 0 0 0)))
- (vector dummy-pos dummy-pos ()))
+ (error "no annotations found for this source file")
(let* ((left-pos (elt (car (last stack)) 0))
(right-pos (elt (car stack) 1)))
(if (null (cdr stack))
@@ -253,7 +252,7 @@ See `caml-types-location-re' for annotation file format.
(nright (elt node 1))
(left ())
(right ())
- (i 3))
+ i)
(cond
((not (caml-types-pos-inside targ-pos node))
(if (not (caml-types-pos<= nleft targ-pos))
@@ -352,7 +351,7 @@ and its type is displayed in the minibuffer, until the move
is released."
(type-buf (caml-types-find-file type-file))
(target-line) (target-bol)
target-pos
- Left Right limits cnum loc mes ty-start ty-end
+ Left Right limits cnum node mes ty-start ty-end
(tree caml-types-annotation-tree)
)
(caml-types-preprocess type-file type-buf)
