fix broken tests
This commit is contained in:
parent
ec37e6fd58
commit
cfd91c70ad
3 changed files with 10 additions and 10 deletions
|
|
@ -45,7 +45,7 @@
|
||||||
inherit systems nixpkgs nix-unit;
|
inherit systems nixpkgs nix-unit;
|
||||||
};
|
};
|
||||||
|
|
||||||
bootstrap = import ./nt/primitives/bootstrap;
|
bootstrap = import ./nt/primitives/std;
|
||||||
mix = import ./nt/mix/bootstrap.nix {this = bootstrap;};
|
mix = import ./nt/mix/bootstrap.nix {this = bootstrap;};
|
||||||
in
|
in
|
||||||
newMixture inputs (mixture: {
|
newMixture inputs (mixture: {
|
||||||
|
|
|
||||||
|
|
@ -1,14 +1,18 @@
|
||||||
let
|
let
|
||||||
bootstrap = import ../nt/primitives/bootstrap;
|
bootstrap = import ../nt/primitives/std;
|
||||||
|
|
||||||
|
mix = import ../nt/mix/bootstrap.nix {
|
||||||
|
this = bootstrap;
|
||||||
|
};
|
||||||
|
|
||||||
nt = import ../nt {
|
nt = import ../nt {
|
||||||
mix = import ../nt/mix {
|
inherit mix;
|
||||||
this = bootstrap;
|
|
||||||
};
|
|
||||||
# flake.nix passes `flake = inputs.self`
|
# flake.nix passes `flake = inputs.self`
|
||||||
flake = builtins.getFlake ../.;
|
flake = builtins.getFlake ../.;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
primitives = import ../nt/primitives {inherit mix;};
|
||||||
|
|
||||||
dummyTest = {
|
dummyTest = {
|
||||||
expr = 1;
|
expr = 1;
|
||||||
expected = 1;
|
expected = 1;
|
||||||
|
|
@ -17,7 +21,7 @@ in {
|
||||||
testPass = dummyTest;
|
testPass = dummyTest;
|
||||||
|
|
||||||
testMaybe = let
|
testMaybe = let
|
||||||
maybe-mod = import ./maybe.nix {this = bootstrap;};
|
maybe-mod = import ./maybe.nix {this = primitives;};
|
||||||
|
|
||||||
inherit
|
inherit
|
||||||
(maybe-mod)
|
(maybe-mod)
|
||||||
|
|
|
||||||
|
|
@ -3,10 +3,6 @@
|
||||||
(this)
|
(this)
|
||||||
ntTrapdoorKey
|
ntTrapdoorKey
|
||||||
ntDynamicTrapdoorKey
|
ntDynamicTrapdoorKey
|
||||||
;
|
|
||||||
|
|
||||||
inherit
|
|
||||||
(this.std)
|
|
||||||
enfImpls
|
enfImpls
|
||||||
;
|
;
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue