[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] externals/caml 70a5593 127/197: Undoing last commit by error.
From: |
Stefan Monnier |
Subject: |
[nongnu] externals/caml 70a5593 127/197: Undoing last commit by error. |
Date: |
Sat, 21 Nov 2020 01:19:52 -0500 (EST) |
branch: externals/caml
commit 70a55931cd6cb3ff3b5abd22756871646fa2f38e
Author: Didier Rémy <Didier.Remy@inria.fr>
Commit: Didier Rémy <Didier.Remy@inria.fr>
Undoing last commit by error.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10609
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
caml-types.el | 63 +++++++++++++++++++++--------------------------------------
1 file changed, 22 insertions(+), 41 deletions(-)
diff --git a/caml-types.el b/caml-types.el
index 33bc562..05b1a2c 100644
--- a/caml-types.el
+++ b/caml-types.el
@@ -326,11 +326,10 @@ See `caml-types-location-re' for annotation file format.
(let* ((type-path (caml-types-locate-type-file target-path))
(type-date (nth 5 (file-attributes (file-chase-links type-path))))
(target-date (nth 5 (file-attributes target-file))))
- (unless
- (and caml-types-annotation-tree
- type-date
- caml-types-annotation-date
- (not (caml-types-date< caml-types-annotation-date type-date)))
+ (unless (and caml-types-annotation-tree
+ type-date
+ caml-types-annotation-date
+ (not (caml-types-date< caml-types-annotation-date type-date)))
(if (and type-date target-date (caml-types-date< type-date target-date))
(error (format "`%s' is more recent than `%s'" target-path
type-path)))
(message "Reading annotation file...")
@@ -339,47 +338,30 @@ See `caml-types-location-re' for annotation file format.
(widen)
(goto-char (point-min))
(caml-types-build-tree
- ; (file-name-nondirectory type-path)
- type-path
- ))))
+ (file-name-nondirectory target-path)))))
(setq caml-types-annotation-tree tree
caml-types-annotation-date type-date)
(kill-buffer type-buf)
(message "done"))
)))
-(defun caml-types-annot-sibling-file (sibling)
- (message "?: %S" sibling)
- (let ((sibling-gz (concat sibling ".gz")))
- (if (file-exists-p sibling)
- (if (file-newer-than-file-p sibling sibling-gz)
- sibling sibling-gz)
- (if (file-exists-p sibling-gz) sibling-gz nil)
- )))
-
-
-(defun parent-dir (d) (file-name-directory (directory-file-name d)))
-
(defun caml-types-locate-type-file (target-path)
- (let ((sibling (concat (file-name-sans-extension target-path) ".annot"))
- (found))
- (if (setq found (caml-types-annot-sibling-file sibling))
- found
- (let ((project-dir (file-name-directory sibling))
- type-path type-path-gz)
- (while (not
- (setq found
- (caml-types-annot-sibling-file
- (setq type-path
- (expand-file-name
- (file-relative-name sibling project-dir)
- (expand-file-name "_build" project-dir))))
- ))
- (if (equal project-dir (parent-dir project-dir))
- (error (concat "No annotation file found. "
- "You should compile with option \"-annot\".")))
- (setq project-dir (parent-dir project-dir)))
- found))))
+ (let ((sibling (concat (file-name-sans-extension target-path) ".annot")))
+ (if (file-exists-p sibling)
+ sibling
+ (defun parent-dir (d) (file-name-directory (directory-file-name d)))
+ (let ((project-dir (file-name-directory sibling))
+ type-path)
+ (while (not (file-exists-p
+ (setq type-path
+ (expand-file-name
+ (file-relative-name sibling project-dir)
+ (expand-file-name "_build" project-dir)))))
+ (if (equal project-dir (parent-dir project-dir))
+ (error (concat "No annotation file. "
+ "You should compile with option \"-annot\".")))
+ (setq project-dir (parent-dir project-dir)))
+ type-path))))
(defun caml-types-date< (date1 date2)
(or (< (car date1) (car date2))
@@ -591,8 +573,7 @@ See `caml-types-location-re' for annotation file format.
(t
(error (format "Can't read the annotation file `%s'" name)))
)
- buf)
-)
+ buf))
(defun caml-types-mouse-ignore (event)
(interactive "e")
- [nongnu] externals/caml 66c8274 050/197: run caml directly, (continued)
- [nongnu] externals/caml 66c8274 050/197: run caml directly, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 6b7bd5d 073/197: changement .types -> .annot + format, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml eb43a39 074/197: - compile-command in caml.le, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 5732aaa 077/197: Changes to caml-types.el:, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml e913a93 090/197: compatibilite emacs 20 + fichiers read-only, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml d17e3c1 094/197: caml-types: mouse track + little things, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml eb696b8 098/197: commentaires, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 2c4bb06 100/197: - Fixes in caml-help:, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 1527d9f 112/197: petit problem de doc, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 0e62e65 123/197: fixes bug 0005016--missing quote, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 70a5593 127/197: Undoing last commit by error.,
Stefan Monnier <=
- [nongnu] externals/caml d045fae 132/197: correct fontification for strings and comments, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml d9f8b96 136/197: PR#5403: give better error message when emacs is not found in PATH, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 49b5c47 138/197: More renaming to OCaml, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml d75ad35 139/197: Change "Ocaml" to "OCaml" everywhere, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml a7770e1 141/197: clean up TABs and whitespace, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 16dba2b 150/197: Merge short-paths into a fresh branch of trunk., Stefan Monnier, 2020/11/21
- [nongnu] externals/caml f5ba233 152/197: PR#5954 fix 'defface' use in emacs/caml-help.el (patched by 'zakkak'), Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 22ff4ef 153/197: fix undeclared variable, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml d9bc450 156/197: merge branch 4.02 from release 4.02.0 to release 4.02.1, Stefan Monnier, 2020/11/21
- [nongnu] externals/caml 633a39e 161/197: Update headers for the new license., Stefan Monnier, 2020/11/21