diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-27 23:29:57 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-27 23:29:57 -0300 |
| commit | 4fdf3392868c72ff4c33b70d165a177e97f2fece (patch) | |
| tree | 4eebfc260c890ea56d59f874cdfa0c9b1f55cd98 /prl_api/sakura_prl_api.ml | |
| parent | 97960adb8426e5270fe16b027e82a2c61674f821 (diff) | |
| download | Sakura-4fdf3392868c72ff4c33b70d165a177e97f2fece.tar.gz Sakura-4fdf3392868c72ff4c33b70d165a177e97f2fece.zip | |
Format
Diffstat (limited to '')
| -rw-r--r-- | prl_api/sakura_prl_api.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/prl_api/sakura_prl_api.ml b/prl_api/sakura_prl_api.ml index 92fd658..84337fb 100644 --- a/prl_api/sakura_prl_api.ml +++ b/prl_api/sakura_prl_api.ml @@ -15,12 +15,14 @@ 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 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 = +let implementation_of_rows ?membership_criteria (rows : tuple list) : + implementation = { membership_criteria; produce = Some (fun _bindings -> Ok rows) } let implementation_of_producer ?membership_criteria |