From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 15:30:53 -0300 Subject: preparation cleanup for RNT integration --- prl_api/sakura_prl_api.ml | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 prl_api/sakura_prl_api.ml (limited to 'prl_api/sakura_prl_api.ml') diff --git a/prl_api/sakura_prl_api.ml b/prl_api/sakura_prl_api.ml deleted file mode 100644 index d1a6fcc..0000000 --- a/prl_api/sakura_prl_api.ml +++ /dev/null @@ -1,26 +0,0 @@ -type value = Obj.t -type tuple = (string * value) list - -type implementation = - { membership_criteria: (tuple -> (bool, string) result) option; - produce: (tuple -> (tuple list, string) result) option } - -(* TODO: Rethink this instead in terms of a value. - We need to store the references as a normal relation - on the multigroup relation catalog. *) -let registry : (string, implementation) Hashtbl.t = Hashtbl.create 32 -let mutex = Mutex.create () -let register symbol impl = Mutex.protect mutex (fun () -> Hashtbl.replace registry symbol impl) -let find symbol = Mutex.protect mutex (fun () -> Hashtbl.find_opt registry symbol) -let symbols () = Mutex.protect mutex (fun () -> Hashtbl.to_seq_keys registry |> List.of_seq) - -let implementation_of_rows ?membership_criteria (rows : tuple list) : implementation = - {membership_criteria; produce= Some (fun _bindings -> Ok rows)} - -let implementation_of_producer ?membership_criteria (produce : tuple -> (tuple list, string) result) - : implementation = - {membership_criteria; produce= Some produce} - -let implementation_of_unit_producer ?membership_criteria - (produce : unit -> (tuple list, string) result) : implementation = - {membership_criteria; produce= Some (fun _bindings -> produce ())} -- cgit v1.2.3