aboutsummaryrefslogtreecommitdiffstats
path: root/lib/mininix/mininix.ml
blob: b1216199c906a6e87f0309e44457f5f48f611560 (about) (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
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