diff options
Diffstat (limited to 'lib/mininix/mininix.ml')
-rw-r--r-- | lib/mininix/mininix.ml | 13 |
1 files changed, 13 insertions, 0 deletions
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 @@ | |||
1 | module Nix2mininix = Nix2mininix | ||
2 | module Mininix2nix = Mininix2nix | ||
3 | module Sexp = Sexp | ||
4 | module Import = Import | ||
5 | |||
6 | let interp_tl ~fuel ~mode ?(imports = []) e = | ||
7 | Run.interp ~fuel ~mode ~env:(Import.make_env imports) e | ||
8 | |||
9 | let apply_prelude = Builtins.apply_prelude | ||
10 | |||
11 | let preprocess input ~filename = | ||
12 | input |> Nix.parse ~filename |> Nix.elaborate |> Nix2mininix.from_nix | ||
13 | |> Builtins.apply_prelude | ||