debian version "-8"

[helm.git] / helm / ocaml / mathql_interpreter / mqint.ml

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 3a0a5fb310b277a4729a36d5da17e30b144c9209..cf453c6f61b7d82b0424160ba119d226cbd8d52f 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -38,6 +38,7 @@ open Sortedby;;
 open Use;;
 open Select;;
 open Letin;;
+open Mathql_semantics;;
 
 let prop_pool = ref None;;
 
@@ -130,6 +131,12 @@ let rec execute_ex env =
        res
  |  MQListLVar lvar ->
      letref_ex lvar
+ |  MQReference l ->
+     let rec build_result = function
+       | [] -> []
+       | s :: tail -> 
+        {uri = s ; attributes = [] ; extra = ""} :: build_result tail
+     in build_result (List.sort compare l)
 ;;
 
 (* Let's initialize the execute in Select, creating a cyclical recursion *)