moved "is_blank_line" from Http_getter_common to Http_getter_misc

diff --git a/helm/http_getter/http_getter_common.ml b/helm/http_getter/http_getter_common.ml
index 636bbe5a712bcf33a42131a7a38f16357f751a3e..ad549330b0c8dd1ade0d54ea3b448c01f21529cd 100644 (file)
--- a/helm/http_getter/http_getter_common.ml
+++ b/helm/http_getter/http_getter_common.ml
@@ -41,11 +41,6 @@ let is_nuprl_uri uri = Pcre.pmatch ~pat:"^nuprl:" uri
 let is_rdf_uri uri = Pcre.pmatch ~pat:"^helm:rdf(.*):(.*)//(.*)" uri
 let is_xsl_uri uri = Pcre.pmatch ~pat:"^\\w+\\.xsl" uri
 
-let is_blank_line =
-  let blank_line_RE = Pcre.regexp "(^#)|(^\\s*$)" in
-  fun line ->
-    Pcre.pmatch ~rex:blank_line_RE line
-
 let rec http_getter_uri_of_string = function
   | uri when is_rdf_uri uri ->
       (match Pcre.split ~pat:"//" uri with

diff --git a/helm/http_getter/http_getter_common.mli b/helm/http_getter/http_getter_common.mli
index 09d45f1824d832404e0440200ad688a94137098c..236644452d8f8fdd66d756c8dfd16978bc17613e 100644 (file)
--- a/helm/http_getter/http_getter_common.mli
+++ b/helm/http_getter/http_getter_common.mli
@@ -36,9 +36,6 @@ val is_nuprl_uri: string -> bool
 val is_rdf_uri: string -> bool
 val is_xsl_uri: string -> bool
 
-  (** true on blanks-only and #-commented lines, false otherwise *)
-val is_blank_line: string -> bool
-
 val http_getter_uri_of_string: string -> http_getter_uri
 
 val patch_xml : string -> string

diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml
index 9ab7082974b5603e342f46b507a9e0b5dc12e1ab..7b70a14b1112ce975cc5bc01223d59e3eb4d27bc 100644 (file)
--- a/helm/http_getter/http_getter_misc.ml
+++ b/helm/http_getter/http_getter_misc.ml
@@ -273,3 +273,9 @@ let remove_line ~fname position =
       remove position ([], lines))
 ;;
 
+let is_blank_line =
+  let blank_line_RE = Pcre.regexp "(^#)|(^\\s*$)" in
+  fun line ->
+    Pcre.pmatch ~rex:blank_line_RE line
+;;
+

diff --git a/helm/http_getter/http_getter_misc.mli b/helm/http_getter/http_getter_misc.mli
index c6e2e72c6e18c873fc48fd3dfb5b82ac7fb56ad4..0551161b9ebe6038e79b222f12380c7b08187603 100644 (file)
--- a/helm/http_getter/http_getter_misc.mli
+++ b/helm/http_getter/http_getter_misc.mli
@@ -80,3 +80,6 @@ val add_line: fname:string -> ?position:int -> string -> unit
   first line of file is line 0) *)
 val remove_line: fname:string -> int -> unit
 
+  (** true on blanks-only and #-commented lines, false otherwise *)
+val is_blank_line: string -> bool
+