From e3d3e20dfea253de291d5b31059cd55c0eaabf02 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 11 May 2026 23:10:27 -0300 Subject: Multigroup unified reference for hierarchical access --- lib/drl/sublanguage.ml | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'lib/drl/sublanguage.ml') diff --git a/lib/drl/sublanguage.ml b/lib/drl/sublanguage.ml index 29047c3..f47129f 100644 --- a/lib/drl/sublanguage.ml +++ b/lib/drl/sublanguage.ml @@ -15,12 +15,9 @@ module Make (Storage : Management.Physical.S) = struct | Error (Parser.ParseError s) -> Error (Exec.ParseError s) let execute storage db ast = - match Gate.admit db ast with - | Error msg -> Error (Exec.ParseError msg) - | Ok () -> ( - match Exec.execute storage db ast with - | Ok rel -> Ok (Sublanguage_types.Query rel) - | Error e -> Error e) + match Exec.execute storage db ast with + | Ok rel -> Ok (Sublanguage_types.Query (rel :> Relation.relation)) + | Error e -> Error e let sexp_of_error = Exec.sexp_of_error end -- cgit v1.2.3