function
[he] ->
let prefix_uri = curi ^ "/" ^ he
- and name = List.hd (Str.split (Str.regexp "\.") he) in
+ and name = List.hd (Str.split (Str.regexp "\\.") he) in
[ normalize prefix_uri ; name ]
| he::tl ->
let prefix_uri = curi ^ "/" ^ he in
let cicuri_of_uri uri =
let completeuri = string_of_uri uri in
let newcompleteuri =
- (Str.replace_first (Str.regexp "\.types$") ""
- (Str.replace_first (Str.regexp "\.ann$") "" completeuri))
+ (Str.replace_first (Str.regexp "\\.types$") ""
+ (Str.replace_first (Str.regexp "\\.ann$") "" completeuri))
in
if completeuri = newcompleteuri then
uri
let annuri_of_uri uri =
let completeuri = string_of_uri uri in
- if Str.string_match (Str.regexp ".*\.ann$") completeuri 0 then
+ if Str.string_match (Str.regexp ".*\\.ann$") completeuri 0 then
uri
else
let newuri = Array.copy uri in
;;
let uri_is_annuri uri =
- Str.string_match (Str.regexp ".*\.ann$") (string_of_uri uri) 0
+ Str.string_match (Str.regexp ".*\\.ann$") (string_of_uri uri) 0
;;
let bodyuri_of_uri uri =
let struri = string_of_uri uri in
- if Str.string_match (Str.regexp ".*\.con$") (string_of_uri uri) 0 then
+ if Str.string_match (Str.regexp ".*\\.con$") (string_of_uri uri) 0 then
let newuri = Array.copy uri in
newuri.(Array.length uri - 2) <- struri ^ ".body" ;
Some newuri