Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

amelioration des annotations 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2008-07-29 15:49:31 +00:00
parent 7ca1d89250
commit 50da157513
2 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
VERSION
View File

@ -1,4 +1,4 @@
3.11+dev14 Private_abbrevs+natdynlink+lazy_patterns (2008-07-28)
3.11+dev15 Private_abbrevs+natdynlink+lazy_patterns (2008-07-29)
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli

12
emacs/caml-types.el
View File

@ -192,10 +192,8 @@ See `caml-types-location-re' for annotation file format.
(target-line (1+ (count-lines (point-min)
(caml-line-beginning-position))))
(target-bol (caml-line-beginning-position))
(target-cnum (point))
(type-file (concat (file-name-sans-extension (buffer-file-name))
".annot")))
(caml-types-preprocess type-file)
(target-cnum (point)))
(caml-types-preprocess (buffer-file-name))
(setq caml-types-buffer (get-buffer-create caml-types-buffer-name))
(let* ((targ-loc (vector target-file target-line target-bol target-cnum))
(node (caml-types-find-location targ-loc "call" ()
@ -240,10 +238,8 @@ See `caml-types-location-re' for annotation file format.
(target-line (1+ (count-lines (point-min)
(caml-line-beginning-position))))
(target-bol (caml-line-beginning-position))
(target-cnum (point))
(type-file (concat (file-name-sans-extension (buffer-file-name))
".annot")))
(caml-types-preprocess type-file)
(target-cnum (point)))
(caml-types-preprocess (buffer-file-name))
(setq caml-types-buffer (get-buffer-create caml-types-buffer-name))
(let* ((targ-loc (vector target-file target-line target-bol target-cnum))
(node (caml-types-find-location targ-loc "ident" ()