microvm.nix can't be processed by nixos-search's flake-info anymore

[raboof]

$ nix run github:nixos/nixos-search#flake-info -- --json flake github:microvm-nix/microvm.nixwarning: ignoring untrusted flake configuration setting 'extra-substituters'.
Pass '--accept-flake-config' to trust it
warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
Pass '--accept-flake-config' to trust it
[2025-12-09T08:39:53Z ERROR command_run] command 'nix eval --json --no-allow-import-from-derivation --no-write-lock-file -f '/nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix' -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/refs/heads/nixpkgs-unstable.tar.gz --override-flake input-flake github:microvm-nix/microvm.nix --argstr flake github:microvm-nix/microvm.nix all' failed: exit status: 1
    stdout:
    
    stderr:
    unpacking 'https://github.com/NixOS/nixpkgs/archive/refs/heads/nixpkgs-unstable.tar.gz' into the Git cache...
    error:
           … while evaluating a branch condition
             at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:221:5:
              220|     # are multiple modules
              221|     if nixosModulesOpts != [ ] then nixosModulesOpts else nixosModuleOpts;
                 |     ^
              222|
    
           … while calling the 'concatLists' builtin
             at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:201:26:
              200|     let
              201|       nixosModulesOpts = builtins.concatLists (
                 |                          ^
              202|         lib.mapAttrsToList (
    
           … while evaluating the option `microvm.firecracker.extraConfig._module.freeformType':
    
           … while evaluating definitions from `/nix/store/mbn72fj0ng0yahrk24dl9zhmp2ahjg2s-source/nixos-modules/microvm/options.nix':
    
           … while evaluating the module argument `pkgs' in "/nix/store/mbn72fj0ng0yahrk24dl9zhmp2ahjg2s-source/nixos-modules/microvm/options.nix":
    
           … noting that argument `pkgs` is not externally provided, so querying `_module.args` instead, requiring `config`
    
           (stack trace truncated; use '--show-trace' to show the full, detailed trace)
    
           error: attribute 'pkgs' missing
           at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:685:13:
              684|             "noting that argument `${name}` is not externally provided, so querying `_module.args` instead, requiring `config`"
              685|             config._module.args.${name}
                 |             ^
              686|           )
    
Error: Getting flake info caused an error: Failed to gather information about github:microvm-nix/microvm.nix

Caused by:
    command 'nix eval --json --no-allow-import-from-derivation --no-write-lock-file -f '/nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix' -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/refs/heads/nixpkgs-unstable.tar.gz --override-flake input-flake github:microvm-nix/microvm.nix --argstr flake github:microvm-nix/microvm.nix all' failed: exit status: 1

This may very well be a problem in flake-info rather than in microvm.nix (possibly NixOS/nixos-search#902, see also NixOS/nixos-search#1115), but flake-info is very low on maintainers, and you asked to be pinged in flakes/manual.toml, so here you go :) - any help much appreciated!

[SuperSandro2000]

We will probably have the same problem in nuschtos/search, so fix worthy.

[SuperSandro2000]

For the next time: it would be helpful to have the full trace with --show-trace.

[raboof]

$ nix eval --json --no-allow-import-from-derivation --no-write-lock-file -f '/nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix' -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/refs/heads/nixpkgs-unstable.tar.gz --override-flake input-flake github:microvm-nix/microvm.nix --argstr flake github:microvm-nix/microvm.nix all --show-trace
error:
       … while evaluating a branch condition
         at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:221:5:
          220|     # are multiple modules
          221|     if nixosModulesOpts != [ ] then nixosModulesOpts else nixosModuleOpts;
             |     ^
          222|

       … while calling the 'concatLists' builtin
         at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:201:26:
          200|     let
          201|       nixosModulesOpts = builtins.concatLists (
             |                          ^
          202|         lib.mapAttrsToList (

       … while calling anonymous lambda
         at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:203:23:
          202|         lib.mapAttrsToList (
          203|           moduleName: module:
             |                       ^
          204|           readNixOSOptions {

       … from call site
         at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:204:11:
          203|           moduleName: module:
          204|           readNixOSOptions {
             |           ^
          205|             inherit module;

       … while calling anonymous lambda
         at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:185:5:
          184|     in
          185|     {
             |     ^
          186|       module,

       … while calling the 'map' builtin
         at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:195:5:
          194|     in
          195|     map (cleanUpOption extraAttrs) (
             |     ^
          196|       lib.filter (x: x.visible && !x.internal && lib.head x.loc != "_module") opts

       … while calling the 'filter' builtin
         at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:196:7:
          195|     map (cleanUpOption extraAttrs) (
          196|       lib.filter (x: x.visible && !x.internal && lib.head x.loc != "_module") opts
             |       ^
          197|     );

       … from call site
         at /nix/store/qs1mwb04ia7jnd3k61fk52w0n9qc20l9-flake-info/assets/commands/flake_info.nix:190:14:
          189|     let
          190|       opts = lib.optionAttrSetToDocList (declarations module);
             |              ^
          191|       extraAttrs = lib.optionalAttrs (modulePath != null) {

       … while calling 'optionAttrSetToDocList''
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/options.nix:571:8:
          570|   optionAttrSetToDocList' =
          571|     _: options:
             |        ^
          572|     concatMap (

       … while calling the 'concatMap' builtin
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/options.nix:572:5:
          571|     _: options:
          572|     concatMap (
             |     ^
          573|       opt:

       … while calling anonymous lambda
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/options.nix:573:7:
          572|     concatMap (
          573|       opt:
             |       ^
          574|       let

       … from call site
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/options.nix:610:24:
          609|       # builtins.trace opt.loc
          610|       [ docOption ] ++ optionals subOptionsVisible subOptions
             |                        ^
          611|     ) (collect isOption options);

       … while calling 'optionals'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/lists.nix:813:21:
          812|   */
          813|   optionals = cond: elems: if cond then elems else [ ];
             |                     ^
          814|

       … while evaluating a branch condition
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/options.nix:605:11:
          604|           in
          605|           if ss != { } then optionAttrSetToDocList' opt.loc ss else [ ];
             |           ^
          606|         subOptionsVisible = if isBool visible then visible else visible == "transparent";

       … from call site
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/options.nix:603:18:
          602|           let
          603|             ss = opt.type.getSubOptions opt.loc;
             |                  ^
          604|           in

       … while calling 'getSubOptions'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/types.nix:1315:13:
         1314|           getSubOptions =
         1315|             prefix:
             |             ^
         1316|             let

       … in the right operand of the update (//) operator
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/types.nix:1328:16:
         1327|             docsEval.options
         1328|             // optionalAttrs (freeformType != null) {
             |                ^
         1329|               # Expose the sub options of the freeform type. Note that the option

       … from call site
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/types.nix:1328:16:
         1327|             docsEval.options
         1328|             // optionalAttrs (freeformType != null) {
             |                ^
         1329|               # Expose the sub options of the freeform type. Note that the option

       … while calling 'optionalAttrs'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/attrsets.nix:1478:25:
         1477|   */
         1478|   optionalAttrs = cond: as: if cond then as else { };
             |                         ^
         1479|

       … while evaluating a branch condition
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/attrsets.nix:1478:29:
         1477|   */
         1478|   optionalAttrs = cond: as: if cond then as else { };
             |                             ^
         1479|

       … while evaluating the attribute '_module'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:362:9:
          361|         config = checked (removeAttrs config [ "_module" ]);
          362|         _module = checked (config._module);
             |         ^
          363|         inherit (doCollect { }) graph;

       … while calling the 'seq' builtin
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:362:19:
          361|         config = checked (removeAttrs config [ "_module" ]);
          362|         _module = checked (config._module);
             |                   ^
          363|         inherit (doCollect { }) graph;

       … while evaluating a branch condition
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:297:9:
          296|       checkUnmatched =
          297|         if config._module.check && config._module.freeformType == null && merged.unmatchedDefns != [ ] then
             |         ^
          298|           let

       … in the left operand of the AND (&&) operator
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:297:72:
          296|       checkUnmatched =
          297|         if config._module.check && config._module.freeformType == null && merged.unmatchedDefns != [ ] then
             |                                                                        ^
          298|           let

       … in the left operand of the AND (&&) operator
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:297:33:
          296|       checkUnmatched =
          297|         if config._module.check && config._module.freeformType == null && merged.unmatchedDefns != [ ] then
             |                                 ^
          298|           let

       … while evaluating a branch condition
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:288:9:
          287|         in
          288|         if declaredConfig._module.freeformType == null then
             |         ^
          289|           declaredConfig

       … from call site
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:288:12:
          287|         in
          288|         if declaredConfig._module.freeformType == null then
             |            ^
          289|           declaredConfig

       … while calling anonymous lambda
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/attrsets.nix:1188:17:
         1187|         mapAttrs (
         1188|           name: value:
             |                 ^
         1189|           if isAttrs value && cond value then recurse (path ++ [ name ]) value else f (path ++ [ name ]) value

       … from call site
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/attrsets.nix:1189:85:
         1188|           name: value:
         1189|           if isAttrs value && cond value then recurse (path ++ [ name ]) value else f (path ++ [ name ]) value
             |                                                                                     ^
         1190|         );

       … while calling anonymous lambda
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:275:71:
          274|           # For definitions that have an associated option
          275|           declaredConfig = mapAttrsRecursiveCond (v: !isOption v) (_: v: v.value) options;
             |                                                                       ^
          276|

       … while evaluating the attribute 'value'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1118:7:
         1117|     // {
         1118|       value = addErrorContext "while evaluating the option `${showOption loc}':" value;
             |       ^
         1119|       inherit (res.defsFinal') highestPrio;

       … while evaluating the option `microvm.firecracker.extraConfig._module.freeformType':

       … while evaluating the attribute 'mergedValue'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1192:5:
         1191|     # Type-check the remaining definitions, and merge them. Or throw if no definitions.
         1192|     mergedValue =
             |     ^
         1193|       if isDefined then

       … while evaluating a branch condition
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1193:7:
         1192|     mergedValue =
         1193|       if isDefined then
             |       ^
         1194|         if type.merge ? v2 then

       … while evaluating the attribute 'values'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1186:9:
         1185|       {
         1186|         values = defsSorted;
             |         ^
         1187|         inherit (defsFiltered) highestPrio;

       … while evaluating a branch condition
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1180:11:
         1179|           # Avoid sorting if we don't have to.
         1180|           if any (def: def.value._type or "" == "order") defsFiltered.values then
             |           ^
         1181|             sortProperties defsFiltered.values

       … while calling the 'any' builtin
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1180:14:
         1179|           # Avoid sorting if we don't have to.
         1180|           if any (def: def.value._type or "" == "order") defsFiltered.values then
             |              ^
         1181|             sortProperties defsFiltered.values

       … while evaluating the attribute 'values'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1360:7:
         1359|     {
         1360|       values = concatMap (def: if getPrio def == highestPrio then [ (strip def) ] else [ ]) defs;
             |       ^
         1361|       inherit highestPrio;

       … while calling the 'concatMap' builtin
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1360:16:
         1359|     {
         1360|       values = concatMap (def: if getPrio def == highestPrio then [ (strip def) ] else [ ]) defs;
             |                ^
         1361|       inherit highestPrio;

       … while calling the 'concatMap' builtin
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1160:26:
         1159|         # Process mkMerge and mkIf properties.
         1160|         defsNormalized = concatMap (
             |                          ^
         1161|           m:

       … while calling anonymous lambda
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1161:11:
         1160|         defsNormalized = concatMap (
         1161|           m:
             |           ^
         1162|           map (

       … while calling the 'map' builtin
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1162:11:
         1161|           m:
         1162|           map (
             |           ^
         1163|             value:

       … while evaluating definitions from `/nix/store/mbn72fj0ng0yahrk24dl9zhmp2ahjg2s-source/nixos-modules/microvm/options.nix':

       … from call site
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1171:80:
         1170|               }
         1171|           ) (addErrorContext "while evaluating definitions from `${m.file}':" (dischargeProperties m.value))
             |                                                                                ^
         1172|         ) defs;

       … while calling 'dischargeProperties'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1311:5:
         1310|   dischargeProperties =
         1311|     def:
             |     ^
         1312|     if def._type or "" == "merge" then

       … while evaluating a branch condition
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:1312:5:
         1311|     def:
         1312|     if def._type or "" == "merge" then
             |     ^
         1313|       concatMap dischargeProperties def.contents

       … while evaluating the attribute 'value'
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:805:21:
          804|             inherit (module) file;
          805|             inherit value;
             |                     ^
          806|           }) module.config

       … while evaluating the attribute 'freeformType'
         at /nix/store/mbn72fj0ng0yahrk24dl9zhmp2ahjg2s-source/nixos-modules/microvm/options.nix:617:9:
          616|       type = types.submodule {
          617|         freeformType = (pkgs.formats.json {}).type;
             |         ^
          618|       };

       … from call site
         at /nix/store/mbn72fj0ng0yahrk24dl9zhmp2ahjg2s-source/nixos-modules/microvm/options.nix:617:25:
          616|       type = types.submodule {
          617|         freeformType = (pkgs.formats.json {}).type;
             |                         ^
          618|       };

       … while calling anonymous lambda
         at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:681:15:
          680|       extraArgs = mapAttrs (
          681|         name: _:
             |               ^
          682|         addErrorContext (context name) (

       … while evaluating the module argument `pkgs' in "/nix/store/mbn72fj0ng0yahrk24dl9zhmp2ahjg2s-source/nixos-modules/microvm/options.nix":

       … noting that argument `pkgs` is not externally provided, so querying `_module.args` instead, requiring `config`

       error: attribute 'pkgs' missing
       at /nix/store/9rf7z9hhnxqvbf5i04labfsxill2zhyl-source/lib/modules.nix:685:13:
          684|             "noting that argument `${name}` is not externally provided, so querying `_module.args` instead, requiring `config`"
          685|             config._module.args.${name}
             |             ^

[SuperSandro2000]

This is the reason:

       … from call site
         at /nix/store/mbn72fj0ng0yahrk24dl9zhmp2ahjg2s-source/nixos-modules/microvm/options.nix:617:25:
          616|       type = types.submodule {
          617|         freeformType = (pkgs.formats.json {}).type;
             |                         ^
          618|       };

but this is equivalent to the usage in nixpkgs, so I am not sure why this can't work here.

[SuperSandro2000]

Should be fixed by #445

[SuperSandro2000]

I've built my own search and what the official search is doing is very inflexible. It is sometimes required to inject some module code to get things working and as far as I can tell there is not option for that. In that case it was easy to fix but if we would be using more writers than I don't see how we can keep using that search without duplicating lots of work on our end.