let in implemented

[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 bb89c1d19cd0f69e96b20ed3b1328118b27bc96a..f0ec5cbfdb2d9ca0e3cb24d1e13b2a42e9a9c310 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -37,6 +37,7 @@ open Diff;;
 open Sortedby;;
 open Use;;
 open Select;;
+open Letin;;
 
 let fi_to_string fi =
  match fi with
@@ -84,6 +85,10 @@ let rec execute_ex env =
  |  MQIntersect (l1, l2) ->
      intersect_ex (execute_ex env l1) (execute_ex env l2)
  |  MQLRVar rvar -> [List.assoc rvar env]
+ |  MQLetIn (rvar, alist) ->
+     letin_ex rvar (execute_ex env alist)
+ |  MQLetRef rvar ->
+     letref_ex rvar
 ;;
 
 (* Let's initialize the execute in Select, creating a cyclical recursion *)