]> matita.cs.unibo.it Git - helm.git/commitdiff
Bug fixed: there is an invariant that every attributed uri list must be
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 1 Jul 2002 09:13:36 +0000 (09:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 1 Jul 2002 09:13:36 +0000 (09:13 +0000)
ordered on the uri that was not enforced for the new Reference.

helm/ocaml/mathql_interpreter/mqint.ml
helm/ocaml/mathql_interpreter/pattern.ml

index 0de53503ec72edc48f11c0190b9a5ab80a8ac635..5fbfc86c6665df1e34f5588e27895763851004ff 100644 (file)
@@ -138,14 +138,12 @@ let rec execute_ex env =
        res
  |  MQListLVar lvar ->
      letref_ex lvar
- |  MQReference l -> (* FG: *)
+ |  MQReference l ->
      let rec build_result = function
        | [] -> []
        | s :: tail -> 
         {uri = s ; attributes = [] ; extra = ""} :: build_result tail
-     in build_result l
- | MQMinimize l ->     (* FG: sostituire con l'implementazione vera *)
-     execute_ex env l 
+     in build_result (List.sort compare l)
 ;;
 
 (* Let's initialize the execute in Select, creating a cyclical recursion *)
index 39c9f3c3fadb402b92c4f2b7ff987a06b53cc54b..576226008de0a5463c861cd6a076a72ee2723368 100644 (file)
@@ -46,6 +46,7 @@ let pattern_ex (apreamble, apattern, afragid) =
      in
       [["retVal"]] @ List.map (fun l -> [l]) (pgresult_to_string_list res)*)
    let qq = "select uri from registry where uri " ^ (pattern_match (apreamble, apattern, afragid)) ^ " order by registry.uri asc" in
+print_endline qq ; flush stderr ;
    (*let _ = print_endline qq in*)
     let res =
      c#exec (qq)