diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-22 22:46:41 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-04-22 22:46:41 -0300 |
| commit | 29e00769046cbc8cd020b2b7c47448d89f21ab39 (patch) | |
| tree | df6601daa94f7d588708ceca5a34fa02b75d791b /lib/drl | |
| parent | fdc63e730f91a4605ed4ff96a908e1f5e822d1bb (diff) | |
| download | Sakura-29e00769046cbc8cd020b2b7c47448d89f21ab39.tar.gz Sakura-29e00769046cbc8cd020b2b7c47448d89f21ab39.zip | |
Prototype for configuration
Diffstat (limited to '')
| -rw-r--r-- | lib/drl/sublanguage.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/drl/sublanguage.ml b/lib/drl/sublanguage.ml index ce69b56..3496f9c 100644 --- a/lib/drl/sublanguage.ml +++ b/lib/drl/sublanguage.ml @@ -1,11 +1,13 @@ module Make (Storage : Management.Physical.S) = struct module Exec = Executor.Make (Storage) + type configuration = unit type storage = Storage.t type ast = Ast.query type error = Exec.error let name = "drl" + let parse _ = Ok () let parse_sexp sexp = match Parser.of_sexp sexp with |