aboutsummaryrefslogtreecommitdiffstats
path: root/lib/manipulation.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-03-14 11:39:04 -0300
committerGitHub <noreply@github.com>2026-03-14 11:39:04 -0300
commite6661bfa6a3d7dc477d0b7717c80bd536eca2d68 (patch)
tree12510963feeed03221defa690e73edd4135b65e1 /lib/manipulation.ml
parent0ad04e638baa8f283150d3c2809cdb9bf21e2995 (diff)
downloadSakura-e6661bfa6a3d7dc477d0b7717c80bd536eca2d68.tar.gz
Sakura-e6661bfa6a3d7dc477d0b7717c80bd536eca2d68.zip
Branching and naïve merge strategies
* AGPL license * branching and merging * Delete LICENSE in favor of separate PR Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com> * add unmonitored tests and docs --------- Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
Diffstat (limited to 'lib/manipulation.ml')
-rw-r--r--lib/manipulation.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/manipulation.ml b/lib/manipulation.ml
index 2a43b6c..73607fa 100644
--- a/lib/manipulation.ml
+++ b/lib/manipulation.ml
@@ -44,6 +44,8 @@ let build_membership_criteria _schema : (Tuple.t -> bool) =
(** Functor to create manipulation operations with a storage backend *)
module Make (Storage : Management.Physical.S) = struct
type storage = Storage.t
+ type nonrec error = error
+ let of_string_error s = StorageError s
(* Constraint evaluation context *)