From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository

---
 lib/mininix/mininix.ml | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 lib/mininix/mininix.ml

(limited to 'lib/mininix/mininix.ml')

diff --git a/lib/mininix/mininix.ml b/lib/mininix/mininix.ml
new file mode 100644
index 0000000..b121619
--- /dev/null
+++ b/lib/mininix/mininix.ml
@@ -0,0 +1,13 @@
+module Nix2mininix = Nix2mininix
+module Mininix2nix = Mininix2nix
+module Sexp = Sexp
+module Import = Import
+
+let interp_tl ~fuel ~mode ?(imports = []) e =
+  Run.interp ~fuel ~mode ~env:(Import.make_env imports) e
+
+let apply_prelude = Builtins.apply_prelude
+
+let preprocess input ~filename =
+  input |> Nix.parse ~filename |> Nix.elaborate |> Nix2mininix.from_nix
+  |> Builtins.apply_prelude
-- 
cgit v1.2.3