basic_rg: reduction was not tail recursive by mistake

[helm.git] / helm / software / lambda-delta / basic_rg / brgEnvironment.ml

diff --git a/helm/software/lambda-delta/basic_rg/brgEnvironment.ml b/helm/software/lambda-delta/basic_rg/brgEnvironment.ml
index 5a4cf3cb6d0875cbda2ea881e68fb4c0160ba0d4..121da88da4d54e955fa480e68aa88ea31048704c 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brgEnvironment.ml
+++ b/helm/software/lambda-delta/basic_rg/brgEnvironment.ml
@@ -25,10 +25,11 @@ let get_age =
 
 (* Interface functions ******************************************************)
 
-let set_entity f (a, uri, b) =
+(* decps *)
+let set_entity (a, uri, b) =
    let age = get_age () in
    let entity = (Y.Apix age :: a), uri, b in
-   H.add env uri entity; f entity
+   H.add env uri entity; entity
 
-let get_entity err f uri =
-   try f (H.find env uri) with Not_found -> err ()
+let get_entity uri =
+   try H.find env uri with Not_found -> [], uri, Y.Void