From cf0fffed43d0ca7618cd0013411151e057b7a32a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 18 May 2026 12:35:26 -0300 Subject: RNT interface Co-authored-by: Estevan Castilho --- lib/icl/sublanguage.ml | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) (limited to 'lib/icl/sublanguage.ml') diff --git a/lib/icl/sublanguage.ml b/lib/icl/sublanguage.ml index c415d96..ae2c359 100644 --- a/lib/icl/sublanguage.ml +++ b/lib/icl/sublanguage.ml @@ -1,8 +1,7 @@ -module Make (Storage : Management.Physical.S) = struct - module Exec = Executor.Make (Storage) +module Make (NT : Nt.S) = struct + module Exec = Executor.Make (NT) type configuration = unit - type storage = Storage.t type ast = Ast.statement type error = Exec.error @@ -14,12 +13,10 @@ module Make (Storage : Management.Physical.S) = struct | Ok r -> Ok r | Error (Parser.ParseError s) -> Error (Exec.ParseError s) - let execute storage db ast = - match Exec.execute storage db ast with - | Ok (db, _) -> Ok (Sublanguage_types.Transition db) + let execute ctx ast = + match Exec.execute ctx ast with + | Ok (delta, _msg) -> Ok (Sublanguage_types.Transition delta) | Error e -> Error e let sexp_of_error = Exec.sexp_of_error end - -module Memory = Make (Management.Physical.Memory) -- cgit v1.2.3