modules/output: check warnings+assertions on build.package

Add a `build.packageUnchecked` option for use instead of the old `check`
evalNixvim argument.
This commit is contained in:
Matt Sturgeon 2024-09-24 07:02:22 +01:00
parent 2ea7009e61
commit 6a1bf6bdc3
No known key found for this signature in database
GPG key ID: 4F91844CED1A8299
9 changed files with 50 additions and 48 deletions

View file

@ -15,7 +15,6 @@
extraSpecialArgs = {
defaultPkgs = pkgs;
};
check = false;
};
};
};

View file

@ -20,32 +20,17 @@ rec {
{
modules ? [ ],
extraSpecialArgs ? { },
# Set to false to disable warnings and assertions
# Intended to aid accessing config.test.derivation
# WARNING: This argument may be removed without notice:
check ? true,
}:
let
result = lib.evalModules {
modules = [ ../modules/top-level ] ++ modules;
specialArgs = specialArgsWith extraSpecialArgs;
};
check ? null, # TODO: Remove stub
}@args:
# TODO: `check` argument removed 2024-09-24
# NOTE: this argument was always marked as experimental
assert lib.assertMsg (!args ? "check")
"`evalNixvim`: passing `check` is no longer supported. Checks are now done when evaluating `config.build.package` and can be avoided by using `config.build.packageUnchecked` instead.";
lib.evalModules {
modules = [ ../modules/top-level ] ++ modules;
specialArgs = specialArgsWith extraSpecialArgs;
};
failedAssertions = getAssertionMessages result.config.assertions;
checked =
if failedAssertions != [ ] then
throw "\nFailed assertions:\n${lib.concatStringsSep "\n" (map (x: "- ${x}") failedAssertions)}"
else
lib.showWarnings result.config.warnings result;
in
if check then checked else result;
# Return the messages for all assertions that failed
getAssertionMessages =
assertions:
lib.pipe assertions [
(lib.filter (x: !x.assertion))
(lib.map (x: x.message))
];
# TODO: Removed 2024-09-24
getAssertionMessages = throw "`modules.getAssertionMessages` has been removed.";
}

View file

@ -66,9 +66,6 @@ let
extraSpecialArgs = {
defaultPkgs = pkgs;
} // extraSpecialArgs;
# Don't check assertions/warnings while evaluating nixvim config
# We'll let the test derivation handle that
check = false;
};
in
result.config.build.test;

View file

@ -73,7 +73,30 @@ in
package = mkOption {
type = types.package;
description = "Wrapped Neovim.";
description = ''
Wrapped Neovim.
> [!NOTE]
> Evaluating this option will also check `assertions` and print any `warnings`.
> If this is not desired, you can use `build.packageUnchecked` instead.
'';
readOnly = true;
defaultText = lib.literalExpression "config.build.packageUnchecked";
apply =
let
assertions = builtins.concatMap (x: lib.optional (!x.assertion) x.message) config.assertions;
in
if assertions != [ ] then
throw "\nFailed assertions:\n${lib.concatMapStringsSep "\n" (msg: "- ${msg}") assertions}"
else
lib.showWarnings config.warnings;
};
packageUnchecked = mkOption {
type = types.package;
description = ''
Wrapped Neovim (without checking warnings or assertions).
'';
readOnly = true;
};
@ -317,7 +340,8 @@ in
in
{
build = {
package = wrappedNeovim;
package = config.build.packageUnchecked;
packageUnchecked = wrappedNeovim;
inherit initFile initSource;
printInitPackage = pkgs.writeShellApplication {

View file

@ -9,7 +9,7 @@ let
cfg = config.test;
inherit (config) warnings;
assertions = lib.nixvim.modules.getAssertionMessages config.assertions;
assertions = builtins.concatMap (x: lib.optional (!x.assertion) x.message) config.assertions;
in
{
options.test = {
@ -70,7 +70,7 @@ in
build.test =
pkgs.runCommandNoCCLocal cfg.name
{
nativeBuildInputs = [ config.build.package ];
nativeBuildInputs = [ config.build.packageUnchecked ];
# Allow inspecting the test's module a little from the repl
# e.g.

View file

@ -33,7 +33,7 @@ in
'';
assertions = [
{
assertion = pluginCount config.build.package config.build.extraFiles "start" == 1;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" == 1;
message = "More than one plugin is defined in packpathDirs, expected one plugin pack.";
}
];
@ -50,7 +50,7 @@ in
];
assertions = [
{
assertion = pluginCount config.build.package config.build.extraFiles "start" >= 2;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" >= 2;
message = "Only one plugin is defined in packpathDirs, expected at least two.";
}
];
@ -77,7 +77,7 @@ in
'';
assertions = [
{
assertion = pluginCount config.build.package config.build.extraFiles "start" == 1;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" == 1;
message = "More than one plugin is defined in packpathDirs.";
}
];
@ -105,7 +105,7 @@ in
'';
assertions = [
{
assertion = pluginCount config.build.package config.build.extraFiles "start" == 1;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" == 1;
message = "More than one plugin is defined in packpathDirs.";
}
];
@ -132,7 +132,7 @@ in
'';
assertions = [
{
assertion = pluginCount config.build.package config.build.extraFiles "start" == 1;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" == 1;
message = "More than one plugin is defined in packpathDirs.";
}
];
@ -186,11 +186,11 @@ in
'';
assertions = [
{
assertion = pluginCount config.build.package config.build.extraFiles "start" == 1;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" == 1;
message = "More than one start plugin is defined in packpathDirs";
}
{
assertion = pluginCount config.build.package config.build.extraFiles "opt" == 2;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "opt" == 2;
message = "Less than two opt plugins are defined in packpathDirs";
}
];
@ -233,7 +233,7 @@ in
'';
assertions = [
{
assertion = pluginCount config.build.package config.build.extraFiles "start" == 1;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" == 1;
message = "More than one start plugin is defined in packpathDirs";
}
];
@ -303,7 +303,7 @@ in
'';
assertions = [
{
assertion = pluginCount config.build.package config.build.extraFiles "start" == 1;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" == 1;
message = "More than one start plugin is defined in packpathDirs";
}
];
@ -369,7 +369,7 @@ in
assertions = [
{
# plugin-pack, nvim-treesitter, nvim-lspconfig, telescope-nvim, nvim-cmp
assertion = pluginCount config.build.package config.build.extraFiles "start" == 5;
assertion = pluginCount config.build.packageUnchecked config.build.extraFiles "start" == 5;
message = "Wrong number of plugins in packpathDirs";
}
];

View file

@ -24,7 +24,6 @@ let
modules = [
./modules/darwin.nix
];
check = false;
};
in
{

View file

@ -31,7 +31,6 @@ let
};
}
];
check = false;
};
in
{

View file

@ -24,7 +24,6 @@ let
modules = [
./modules/nixos.nix
];
check = false;
};
in
{