From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 9 Mar 2004 14:59:18 +0000 (+0000)
Subject: Dead code removed.
X-Git-Tag: v0_0_4~28
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=01a159421d87064d2e5397bfc90630a671e7824a;p=helm.git

Dead code removed.
---

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index e5cb733bf..4a5c2e1b5 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -347,23 +347,6 @@ let callback mqi_handle (req: Http_types.request) outchan =
         let term_string = req#param "term" in
         let (context, metasenv) = ([], []) in
         let id_to_uris_raw = req#param "aliases" in
-(*XXX
-        let tokens = Pcre.split ~pat:"\\s" id_to_uris_raw in
-        let rec parse_tokens keys lookup = function (* TODO spostarla fuori *)
-          | [] -> keys, lookup
-          | "alias" :: key :: value :: rest ->
-              let key' = CicTextualParser0.Id key in
-               parse_tokens
-                 (key'::keys)
-                 (fun id ->
-                   if id = key' then
-                     Some
-                      (CicTextualParser0.Uri (MQueryMisc.cic_textual_parser_uri_of_string value))
-                   else lookup id)
-                 rest
-          | _ -> failwith "Can't parse aliases"
-        in
-*)
         let parse_choices choices_raw =
           let choices = Pcre.split ~pat:";" choices_raw in
           List.fold_left
@@ -572,25 +555,6 @@ print_endline ("id_to_uris: " ^ (DisambiguatingParser.EnvironmentP3.to_string id
              (fun line ->
                let new_aliases =
                 DisambiguatingParser.EnvironmentP3.to_string id_to_uris' in
-(*XXX
-                 match id_to_uris' with
-                 | (domain, f) ->
-                     String.concat ", "
-                       (List.map
-                         (fun name ->
-                           sprintf "\'alias %s cic:%s\'"
-                             (match name with
-                                 CicTextualParser0.Id name -> name
-                               | _ -> assert false (*CSC: completare *))
-                             (match f name with
-                             | None -> assert false
-                             | Some (CicTextualParser0.Uri t) ->
-                                 MQueryMisc.string_of_cic_textual_parser_uri
-                                   t
-                             | _ -> assert false (*CSC: completare *)))
-                         domain)
-               in
-*)
                let processed_line =
                  apply_substs
                    [results_RE, theory_of_result results ;