[nongnu] externals/caml 38c4de4 082/197: bricoles

[Stefan Monnier]

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)