Source

mutated_ocaml / emacs / caml-types.el

Diff from to

emacs/caml-types.el

 ;(*                                                                     *)
 ;(***********************************************************************)
 
-;(* $Id: caml-types.el 12695 2012-07-10 17:49:46Z doligez $ *)
+;(* $Id: caml-types.el 12800 2012-07-30 18:59:07Z doligez $ *)
 
 ; An emacs-lisp complement to the "-annot" option of ocamlc and ocamlopt.
 
                            (vector target-file target-line target-bol cnum))
                      (save-excursion
                        (setq node (caml-types-find-location target-pos "type" ()
-							    target-tree))
+                                                            target-tree))
                        (set-buffer caml-types-buffer)
                        (erase-buffer)
                        (cond
-			((null node)
+                        ((null node)
                          (delete-overlay caml-types-expr-ovl)
                          (setq type "*no type information*")
                          (setq limits
                                (caml-types-find-interval
                                 target-buf target-pos target-tree)))
                         (t
-			 (let ((left
-				(caml-types-get-pos target-buf (elt node 0)))
+                         (let ((left
+                                (caml-types-get-pos target-buf (elt node 0)))
                                (right
-				(caml-types-get-pos target-buf (elt node 1))))
+                                (caml-types-get-pos target-buf (elt node 1))))
                          (move-overlay
                           caml-types-expr-ovl left right target-buf)
                          (setq limits
                                                          target-pos node)
                                type (cdr (assoc "type" (elt node 2))))
                          ))
-			)
+                        )
                        (setq mes (format "type: %s" type))
                        (insert type)
                        ))