From 97960adb8426e5270fe16b027e82a2c61674f821 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 27 Apr 2026 23:24:19 -0300
Subject: Foreign call PRL (#67)

---
 lib/prl/sublanguage.ml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 lib/prl/sublanguage.ml

(limited to 'lib/prl/sublanguage.ml')

diff --git a/lib/prl/sublanguage.ml b/lib/prl/sublanguage.ml
new file mode 100644
index 0000000..b23f370
--- /dev/null
+++ b/lib/prl/sublanguage.ml
@@ -0,0 +1,21 @@
+module Make (Storage : Management.Physical.S) = struct
+  module Exec = Executor.Make (Storage)
+
+  type configuration = unit
+  type storage = Storage.t
+  type ast = Ast.statement
+  type error = Exec.error
+
+  let name = "prl"
+  let parse _ = Ok ()
+
+  let parse_sexp sexp =
+    match Parser.of_sexp sexp with
+    | Ok r -> Ok r
+    | Error (Parser.ParseError s) -> Error (Exec.ParseError s)
+
+  let execute = Exec.execute
+  let sexp_of_error = Exec.sexp_of_error
+end
+
+module Memory = Make (Management.Physical.Memory)
-- 
cgit v1.2.3