aboutsummaryrefslogtreecommitdiffstats
path: root/lib/scl/sublanguage.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/scl/sublanguage.ml')
-rw-r--r--lib/scl/sublanguage.ml13
1 files changed, 6 insertions, 7 deletions
diff --git a/lib/scl/sublanguage.ml b/lib/scl/sublanguage.ml
index 7098ced..b39e720 100644
--- a/lib/scl/sublanguage.ml
+++ b/lib/scl/sublanguage.ml
@@ -1,9 +1,9 @@
module Make (Storage : Management.Physical.S) = struct
- module Exec = Executor.Make(Storage)
+ module Exec = Executor.Make (Storage)
type storage = Storage.t
- type ast = Ast.statement
- type error = Exec.error
+ type ast = Ast.statement
+ type error = Exec.error
let name = "scl"
@@ -16,11 +16,10 @@ module Make (Storage : Management.Physical.S) = struct
Exec.execute storage db ast
|> Result.map (function
| Executor.Batch { cursor_id; rows; has_more } ->
- Sublanguage.Cursor { cursor_id; rows; has_more }
- | Executor.Closed db ->
- Sublanguage.Transition (db, "cursor closed"))
+ Sublanguage.Cursor { cursor_id; rows; has_more }
+ | Executor.Closed db -> Sublanguage.Transition (db, "cursor closed"))
let sexp_of_error = Exec.sexp_of_error
end
-module Memory = Make(Management.Physical.Memory)
+module Memory = Make (Management.Physical.Memory)