From 6dc6f6e97cb85d5b51fbf5d14a9f87b24b2964cd Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Fri, 26 Sep 2003 15:55:54 +0000 Subject: [PATCH] * the regular expressions must have $ otherwise the shortest match will be found first and the annotations will never show up --- helm/http_getter/http_getter.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml index ac8b98305..366c233b4 100644 --- a/helm/http_getter/http_getter.ml +++ b/helm/http_getter/http_getter.ml @@ -152,13 +152,13 @@ let return_ls = in let basepart_RE = Pcre.regexp - "^([^.]*\\.[^.]*)((\\.body)|(\\.proof_tree)|(\\.types))?(\\.ann)?" + "^([^.]*\\.[^.]*)((\\.body)|(\\.proof_tree)|(\\.types))?(\\.ann)?$" in let (types_RE, types_ann_RE, body_RE, body_ann_RE, proof_tree_RE, proof_tree_ann_RE) = - (Pcre.regexp "\\.types", Pcre.regexp "\\.types\\.ann", - Pcre.regexp "\\.body", Pcre.regexp "\\.body.ann", - Pcre.regexp "\\.proof_tree", Pcre.regexp "\\.proof_tree\\.ann") + (Pcre.regexp "\\.types$", Pcre.regexp "\\.types\\.ann$", + Pcre.regexp "\\.body$", Pcre.regexp "\\.body\\.ann$", + Pcre.regexp "\\.proof_tree$", Pcre.regexp "\\.proof_tree\\.ann$") in let (slash_RE, til_slash_RE, no_slashes_RE) = (Pcre.regexp "/", Pcre.regexp "^.*/", Pcre.regexp "^[^/]*$") -- 2.39.2