aboutsummaryrefslogtreecommitdiffstats
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